EIP-8440 stelt recursieve bewijzen voor voor Ethereum-executiesynchronisatie

De discussie op Ethereum Magicians verwoordt het doel ronduit: het standaardiseren van execution chain proofs, zodat synchronisatie van de executielaag in constante tijd kan verlopen.

Dat richt zich op het werkelijk dure onderdeel van synchronisatie vanaf een weak subjectivity checkpoint. Volgens de discussie op Ethereum Magicians zou EIP-8440 de herverwerking van ongeveer 1,1 × 10^5 payloads en 21 GB aan payloaddata vervangen door één enkele verificatie. Bij circa 110.000 payloads en 21 GB (waarbij GB staat voor 10^9 bytes) komt dat neer op gemiddeld ongeveer 191 KB aan payloaddata per payload.

De structuur is recursief. Elk bewijs verifieert het bewijs dat de vorige volledige payload dekt, en bewijst vervolgens één extra payload. Zo ontstaat een keten van bewijzen, in plaats van dat een verifier de volledige executiegeschiedenis vanaf het checkpoint opnieuw moet doorlopen.

De publieke input bevat vier commitments: de origin block root, de head block root, de chain ID en het stateless input schema. Alleen de twee block roots worden verspreid via gossip. Opeenvolgende bewijzen worden aan elkaar gekoppeld via de consensusstatus van Ethereum, waarmee de reeks executiebewijzen wordt verbonden aan het record op de consensuslaag.

Het mechanisme van het voorstel verifieert een recursieve keten van bewijzen waarvan de eindpunten vastliggen in de publieke input; het alternatief dat in de achtergrondinformatie wordt beschreven, is het opnieuw uitvoeren van de payloads zelf. Voor light clients en cross-chain-verificatie is het praktische gevolg een kleinere verificatietaak die gekoppeld is aan vastgelegde roots, in plaats van verwerking van de volledige payloadgeschiedenis.

De implementatie verwijst naar bestaande Ethereum-interfaces. De proof guest hergebruikt de EIP-7732 payload envelope handler met de execution engine, terwijl EIP-8440 voortbouwt op EIP-8025. De specificatie voor de consensuslaag wordt bijgehouden in ethereum/consensus-specs#5725, wat implementers van clients en protocollen een afzonderlijk specificatiedoel geeft naast de EIP-tekst.

De pull request werd op 9 oktober gemarkeerd als klaar voor review en als draft. Daarin staan goedkeuringen van “suckyourmomonoktagon” en “Deejae69”, met verdere goedkeuringen op 10 oktober.

De praktische impact, mocht de draft ooit verder gaan, ligt bij software die de executiegeschiedenis van Ethereum moet verifiëren zonder elke payload opnieuw te verwerken: light clients, cross-chain-verificatiesystemen en implementaties die de specificatie van de consensuslaag volgen. Volgens de discussie op Ethereum Magicians betekent het voordeel dat ongeveer 110.000 payloads en 21 GB aan payloaddata samensmelten tot één verificatie.