Define recursive EIP-8025 execution proof guest - #5534

Draft

frisitano wants to merge 18 commits into

ethereum:masterfrom

frisitano:frisitano/recursive-proofs-eip8025

Commits on Aug 11, 2026

specs: define recursive execution proof guest
frisitano
committed
2b43c7d

Commits on Aug 12, 2026

Merge branch 'master' into frisitano/recursive-proofs-eip8025
frisitano
authored
8dc1727
specs: execute EIP-8025 gossip validation
frisitano
committed
9d9aa4c
specs: separate execution proof gossip and processing
frisitano
committed
178290d
specs: authenticate recursive execution proof inputs
frisitano
committed
277d11c
specs: keep proof type support in gossip
frisitano
committed
9388c88
specs: simplify chain config root naming
frisitano
committed
0b74a65
specs: simplify execution checkpoint naming
frisitano
committed
dbbcb0f
specs: delegate chain config binding to stateless guest
frisitano
committed
61796dd
specs: colocate guest public input
frisitano
committed
56abf67
specs: derive execution bid gindex from schema
frisitano
committed
939e250
specs: use configured chain root for proof processing
frisitano
committed
1613477
specs: group execution proofs by block root
frisitano
committed
2008790

Commits on Aug 14, 2026

specs: define recursive EIP-8025 execution proofs
frisitano
committed
2a05c0b

Commits on Aug 17, 2026

specs: add EIP-8025 feature profiles
frisitano
committed
3eac2da
specs: simplify EIP-8025 proof engine
frisitano
committed
1477816

Commits on Aug 19, 2026