Ethereum-onderzoeker ladislaus.eth publiceerde vorige week een uitleg over hoe Ethereum van plan is over te stappen van het opnieuw uitvoeren van elke transactie naar het verifiëren van zero-knowledge proofs.
Het bericht omschrijft het als een "stille maar fundamentele transformatie," en deze omschrijving is accuraat. Niet omdat het werk geheim is, maar omdat de implicaties door de hele architectuur van Ethereum golven op manieren die niet duidelijk zullen zijn totdat de stukjes op hun plaats vallen.
Dit is niet Ethereum dat "ZK toevoegt" als functie. Ethereum ontwikkelt een prototype van een alternatief validatiepad waarbij sommige validators blokken kunnen attesteren door compacte uitvoeringsbewijzen te verifiëren in plaats van elke transactie opnieuw uit te voeren.
Als het werkt, verschuift de rol van Ethereum's layer-1 van "afwikkeling en databeschikbaarheid voor rollups" naar "high-throughput uitvoering waarvan de verificatie goedkoop genoeg blijft voor thuisvalidators."
EIP-8025, getiteld "Optional Execution Proofs," werd gepubliceerd in conceptvorm en specificeert de mechanismen.
Uitvoeringsbewijzen worden gedeeld via het peer-to-peer netwerk van de consensuslaag via een speciaal topic. Validators kunnen in twee nieuwe modi werken: proof-generating of stateless validation.
Het voorstel stelt expliciet dat het "geen hardfork vereist" en achterwaarts compatibel blijft, terwijl nodes nog steeds kunnen heruitvoeren zoals ze vandaag doen.
Het zkEVM-team van de Ethereum Foundation publiceerde op 26 januari een concreet stappenplan voor 2026, met daarin zes subthema's: standaardisatie van execution witness en gastprogramma, standaardisatie van zkVM-gast API, integratie van consensuslaag, prover-infrastructuur, benchmarking en metrieken, en beveiliging met formele verificatie.
De eerste L1-zkEVM breakout call is gepland voor 11 februari om 15:00 UTC.
De end-to-end pipeline werkt als volgt: een execution-layer client produceert een ExecutionWitness, een zelfstandig pakket met alle gegevens die nodig zijn om een blok te valideren zonder de volledige staat te behouden.
Een gestandaardiseerd gastprogramma verwerkt die witness en valideert de staatstransitie. Een zkVM voert dit programma uit, en een prover genereert een bewijs van correcte uitvoering. De consensus layer client verifieert vervolgens dat bewijs in plaats van de execution layer client te vragen om opnieuw uit te voeren.
De belangrijkste afhankelijkheid is ePBS (Enshrined Proposer-Builder Separation), die is gericht op de aankomende Glamsterdam hardfork. Zonder ePBS is het proving window ongeveer één tot twee seconden, wat te krap is voor real-time proving. Met ePBS die block pipelining biedt, wordt het window uitgebreid naar zes tot negen seconden.
Grafiek toont dat ePBS Ethereum's proving window uitbreidt van 1-2 seconden naar 6-9 seconden, waardoor real-time proof generatie haalbaar wordt vergeleken met de huidige gemiddelde proving tijd van zeven seconden die 12 GPU's vereist.
De decentralisatie-afweging
Als optionele proofs en witness-formaten volwassen worden, kunnen meer thuisvalidators deelnemen zonder de volledige execution layer staat bij te houden.
Het verhogen van gaslimieten wordt politiek en economisch eenvoudiger omdat validatiekosten loskoppelen van uitvoeringscomplexiteit. Verificatiewerk schaalt niet langer lineair met on-chain activiteit.
Proving brengt echter zijn eigen risico op centralisatie met zich mee. Een Ethereum Research-bericht van 2 februari meldt dat het bewijzen van een volledig Ethereum-blok momenteel ongeveer 12 GPU's vereist en gemiddeld 7 seconden duurt.
De auteur signaleert zorgen over centralisatie en merkt op dat limieten moeilijk te voorspellen blijven. Als proving GPU-intensief blijft en zich concentreert in builder- of prover-netwerken, kan Ethereum "iedereen voert opnieuw uit" inruilen voor "weinigen bewijzen, velen verifiëren."
Het ontwerp is erop gericht dit aan te pakken door clientdiversiteit op de proving-laag te introduceren. De werkveronderstelling van EIP-8025 is een drempel van drie van de vijf, wat betekent dat een attester de uitvoering van een blok als geldig accepteert zodra het drie van de vijf onafhankelijke bewijzen van verschillende execution-layer clientimplementaties heeft geverifieerd.
Dit behoudt clientdiversiteit op protocolniveau maar lost het hardwaretoegangsprobleem niet op.
De eerlijkste omschrijving is dat Ethereum het decentralisatieslagveld verschuift. De beperking van vandaag is "kun je je een execution layer client veroorloven?" Die van morgen zou kunnen zijn "heb je toegang tot GPU-clusters of prover-netwerken?"
De inzet is dat proofverificatie gemakkelijker te commoditiseren is dan state storage en heruitvoering, maar de hardwarevraag blijft open.
Ethereum's roadmap, voor het laatst bijgewerkt op 5 februari, vermeldt "Statelessness" als een belangrijk upgradethema: blokken verifiëren zonder grote staat op te slaan.
Optionele uitvoeringsbewijzen en witnesses zijn het concrete mechanisme dat stateless validatie praktisch maakt. Een stateless node vereist alleen een consensus client en verifieert proofs tijdens payload processing.
Synchronisatie reduceert tot het downloaden van proofs voor recente blokken sinds het laatste finalization checkpoint.
Dit is belangrijk voor gaslimieten. Vandaag maakt elke verhoging van de gaslimiet het moeilijker om een node te draaien. Als validators proofs kunnen verifiëren in plaats van opnieuw uit te voeren, schaalt de verificatiekost niet langer met de gaslimiet. Uitvoeringscomplexiteit en validatiekost koppelen los.
De benchmarking- en repricing-workstream in het 2026-stappenplan richt zich expliciet op metrieken die verbruikt gas koppelen aan proving cycles en proving time.
Als die metrieken stabiliseren, krijgt Ethereum een hefboom die het nog niet had: de mogelijkheid om doorvoer te verhogen zonder de kosten van het draaien van een validator evenredig te verhogen.
Een recent bericht van Vitalik Buterin stelt dat layer-2 blockchains zich verder moeten onderscheiden dan alleen schaalbaarheid en koppelt expliciet de waarde van een "native rollup precompile" aan de noodzaak voor enshrined zkEVM proofs die Ethereum al nodig heeft om layer-1 te schalen.
De logica is eenvoudig: als alle validators uitvoeringsbewijzen verifiëren, kunnen dezelfde bewijzen ook worden gebruikt door een EXECUTE precompile voor native rollups. Layer-1 proving-infrastructuur wordt gedeelde infrastructuur.
Dit verschuift de waardepropositie van layer-2. Als layer-1 kan schalen naar hoge doorvoer terwijl verificatiekosten laag blijven, kunnen rollups zichzelf niet rechtvaardigen op basis van "Ethereum kan de belasting niet aan."
De nieuwe differentiatie-assen zijn gespecialiseerde virtuele machines, ultra-lage latentie, preconfirmations en composability-modellen zoals rollups die leunen op fast-proving designs.
Het scenario waarin layer-2's relevant blijven, is er een waarin rollen worden verdeeld tussen specialisatie en interoperabiliteit.
Layer-1 wordt de high-throughput, low-verification-cost uitvoerings- en afwikkelingslaag. Layer-2's worden feature labs, latency optimizers en composability bridges.
Dit vereist echter dat layer-2-teams nieuwe waardeproposities formuleren en dat Ethereum de proof-verification roadmap realiseert.
Er zijn drie potentiële scenario's in de toekomst.
Het eerste scenario bestaat uit proof-first validatie die gemeengoed wordt. Als optionele proofs en witness-formaten volwassen worden en clientimplementaties stabiliseren rond gestandaardiseerde interfaces, kunnen meer thuisvalidators deelnemen zonder de volledige execution layer staat te draaien.
Gaslimieten stijgen omdat de validatiekost niet langer aansluit bij uitvoeringscomplexiteit. Dit pad hangt af van de ExecutionWitness en guest program standardization workstream die convergeert naar overdraagbare formaten.
Scenario twee is waar prover-centralisatie het nieuwe knelpunt wordt. Als proving GPU-intensief blijft en geconcentreerd in builder- of prover-netwerken, dan verschuift Ethereum het decentralisatieslagveld van validators' hardware naar prover-marktstructuur.
Het protocol functioneert nog steeds, aangezien één eerlijke prover ergens de chain levend houdt, maar het beveiligingsmodel verandert.
Het derde scenario is dat layer-1 proofverificatie gedeelde infrastructuur wordt. Als consensuslaag-integratie verhardt en ePBS het uitgebreide proving window levert, dan kantelt de waardepropositie van Layer 2's naar gespecialiseerde VM's, ultra-lage latentie en nieuwe composability-modellen in plaats van alleen "Ethereum schalen."
Dit pad vereist dat ePBS volgens schema voor Glamsterdam wordt uitgebracht.
| Scenario | Wat waar moet zijn (technische voorwaarden) | Wat breekt / hoofdrisico | Wat verbetert (decentralisatie, gaslimieten, synchronisatietijd) | L1 rol resultaat (uitvoeringsdoorvoer vs verificatiekost) | L2 implicatie (nieuwe differentiatie-as) | "What to watch" signaal |
|---|---|---|---|---|---|---|
| Proof-first validatie wordt gemeengoed | Execution Witness + gastprogrammastandaarden convergeren; zkVM/gast API standaardiseert; CL proofverificatiepad is stabiel; proofs propageren betrouwbaar op P2P; acceptabele multi-proof drempelsemantiek (bijv. 3-van-5) | Proofbeschikbaarheid / latentie wordt een nieuwe afhankelijkheid; verificatiebugs worden consensus-gevoelig als/wanneer erop wordt vertrouwd; mismatch tussen clients/provers | Thuisvalidators kunnen attesteren zonder EL-staat; synchronisatietijd daalt (proofs sinds finalization checkpoint); gaslimietverhogingen worden gemakkelijker omdat verificatiekost loskoppelt van uitvoeringscomplexiteit | L1 verschuift naar higher-throughput uitvoering met constant-achtige verificatiekost voor veel validators | L2's moeten zichzelf rechtvaardigen verder dan "L1 kan niet schalen": gespecialiseerde VM's, app-specifieke uitvoering, aangepaste fee-modellen, privacy, etc. | Spec/testvector hardening; witness/gast overdraagbaarheid tussen clients; stabiele proof gossip + foutafhandeling; benchmark curves (gas → proving cycles/time) |
| Prover-centralisatie wordt het knelpunt | Proofgeneratie blijft GPU-intensief; proving-markt consolideert (builders / prover-netwerken); beperkte "garage-scale" proving; liveness is afhankelijk van een kleine set geavanceerde provers | "Weinigen bewijzen, velen verifiëren" concentreert macht; censuur / MEV-dynamieken intensiveren; prover-uitval creëert liveness/finality stress; geografische / regelgevende concentratierisico | Validators kunnen nog steeds goedkoop verifiëren, maar gedecentraliseerd verschuift: gemakkelijker attesteren, moeilijker bewijzen; enige gaslimiet-ruimte, maar beperkt door prover-economie | L1 wordt execution scalable in theorie, maar praktisch begrensd door prover-capaciteit en marktstructuur | L2's kunnen leunen op based / pre-confirmed designs, alternatieve proving-systemen, of latentiegaranties—mogelijk toenemende afhankelijkheid van bevoorrechte actoren | Proving cost trends (hardwarevereisten, tijd per blok); prover diversity metrics; prikkels voor gedistribueerd proving; failure-mode drills (wat gebeurt er als proofs ontbreken?) |
| L1 proofverificatie wordt gedeelde infrastructuur | CL-integratie "verhardt"; proofs worden breed geproduceerd / geconsumeerd; ePBS wordt uitgebracht en biedt een werkbaar proving window; interfaces staan hergebruik toe (bijv. EXECUTE-stijl precompile / native rollup hooks) | Cross-domain koppelingsrisico: als L1 proving infra onder druk staat, kunnen rollup verificatiepaden ook lijden; complexiteit / attack surface breidt uit | Gedeelde infra vermindert gedupliceerde proving-inspanning; verbetert interoperabiliteit; voorspelbaardere verificatiekosten; duidelijker pad naar hogere L1-doorvoer zonder validators uit te prijzen | L1 evolueert naar een proof-verified execution + settlement layer die ook rollups native kan verifiëren | L2's draaien naar latency (preconfs), gespecialiseerde uitvoeringsomgevingen, en composable models (bijv. fast-proving / synchronous-achtige designs) in plaats van alleen "scale" | ePBS / Glamsterdam vooruitgang; end-to-end pipeline demo's (witness → proof → CL verify); benchmarks + mogelijke gas repricing; uitrol van minimum viable proof distribution semantics en monitoring |
Consensus-specs integratievolwassenheid zal aangeven of "optionele proofs" overgaan van voornamelijk TODO's naar geharde testvectoren.
Het standaardiseren van de ExecutionWitness en het gastprogramma is de hoeksteen voor stateless validation overdraagbaarheid tussen clients. Benchmarks die verbruikt gas koppelen aan proving cycles en proving time zullen bepalen of gas repricing voor ZK-vriendelijkheid haalbaar is.
ePBS en Glamsterdam vooruitgang zal aangeven of het zes-tot-negen-seconden proving window realiteit wordt. Breakout call outputs zullen onthullen of de werkgroepen convergeren op interfaces en minimum viable proof distribution semantics.
Ethereum schakelt niet binnenkort over op proof-based validatie. EIP-8025 stelt expliciet dat het "nog geen upgrades erop kan baseren," en de optionele framing is opzettelijk. Het resultaat is dat dit een testbaar pad is in plaats van een op handen zijnde activering.
Toch betekent het feit dat de Ethereum Foundation een 2026 implementatie-roadmap heeft uitgebracht, een breakout call met projecteigenaren heeft gepland en een EIP met concrete peer-to-peer gossip-mechanismen heeft opgesteld dat dit werk is verschoven van onderzoekshaalbaarheid naar een leveringsprogramma.
De transformatie is stil omdat het geen dramatische token economics-veranderingen of gebruikersfuncties omvat. Maar het is fundamenteel omdat het de relatie tussen uitvoeringscomplexiteit en validatiekost herschrijft.
Als Ethereum de twee kan ontkoppelen, zal layer-1 niet langer het knelpunt zijn dat alles interessants naar layer-2 dwingt.
En als layer-1 proofverificatie gedeelde infrastructuur wordt, moet het hele layer-2 ecosysteem een moeilijkere vraag beantwoorden: wat bouw je dat layer-1 niet kan?
Het bericht Ethereum wil thuisvalidators proofs laten verifiëren maar een 12 GPU-realiteit roept een nieuwe dreiging op verscheen eerst op CryptoSlate.


