Implementing EIP-8025 Optional Execution Proofs in Grandine

As Ethereum’s gas limit rises, execution validation becomes increasingly expensive: every validator still depends on an execution client that re-executes each payload. EIP-8025 explores a different path—optional execution proofs that let consensus clients verify execution cryptographically.

Using our Grandine implementation as a case study, we’ll show what it takes to integrate execution proofs into a real consensus client: SSZ representation and payload binding, safe gossip of multi-megabyte proofs, and in-process proof verification. We’ll also cover the compatibility issues that arise as EIP-8025 evolves across clients and proving systems.

We’ll close with results from a private devnet, showing genuine SP1 proof verification through Grandine’s processing pipeline, payload-mismatch rejection, and a tampering check.

Speakers: Charles Reese, Keshav Sharma

Track: [CLS] - EPF