EIP-8025 Optional Execution Proofs in the Grandine Client

This talk looks at EIP-8025, which explores optional execution proofs that would let consensus clients verify execution cryptographically. The description notes that as Ethereum's gas limit rises, execution validation becomes more expensive, since every validator still depends on an execution client that re-executes each payload. Using the Grandine implementation as a case study, the speakers cover what integrating execution proofs into a real consensus client involves: SSZ representation and payload binding, safe gossip of multi-megabyte proofs, and in-process proof verification. They also address compatibility issues that arise as EIP-8025 evolves across clients and proving systems. The talk closes with results from a private devnet, showing genuine SP1 proof verification through Grandine's processing pipeline, payload-mismatch rejection, and a tampering check. Speakers are Charles Reese and Keshav Sharma, in the [CLS] - EPF track at Devcon.