web3wagmi
← All standards

EIP-8025 Optional Execution Proofs

DraftCorecreated 2025-09-17requires EIP-4844, EIP-6110, EIP-7002, EIP-7251, EIP-7688, EIP-7732, EIP-7928, EIP-8282

Introducing optional execution proofs on the consensus layer

Authors: Kevaundray Wedderburn (@kevaundray), Justin Drake (@JustinDrake), Ignacio Hagopian (@jsign), Han (@han0110), Francesco Risitano (@frisitano), Cody Gunton (@codygunton)

Depends on (8)

Proposals this one names in its requires field.

EIP-4844Shard Blob TransactionsEIP-6110Supply validator deposits on chainEIP-7002Execution layer triggerable withdrawalsEIP-7251Increase the MAX_EFFECTIVE_BALANCEEIP-7688Forward compatible consensus data structuresEIP-7732Enshrined Proposer-Builder SeparationEIP-7928Block-Level Access ListsEIP-8282Builder Execution Requests

What the specification covers

AbstractMotivationSpecificationTerminologySpecification referencesConsensus LayerProof types and containersProof engine interfaceBeacon-chain state transitionProof gossipReq/resp domainDiscoveryProver lifecycleExecution LayerStateless input and outputGuest validationHost-side input constructionSSZ encodingRationalePath to low-resource validationBuild operational experienceBackwards CompatibilityTest CasesReference ImplementationSecurity ConsiderationsCopyright

This proposal declares no Solidity interface, so there is nothing to compute. It may be a core protocol change, a meta proposal, or written in prose only.

Compare with

Parsed from the canonical specification · discussion