This talk presents my EPF project on building Erigon's foundations for EIP-7807 SSZ execution blocks, covering execution-data mapping, progressive SSZ Merkleization, and block-root computation. Attendees will understand the design and validation approach, implementation challenges, and the path toward field proofs and verifiable execution-data access.

Presentation on our EPF-7 project on Grandine Lean client. After presentation, the audience will be aware of the work me and Sameer took on during the cohort to update Grandine lean client to the latest specs for devnet 5.