Ethereum Foundation zet in op "bewijsbare beveiliging" voor zkEVM's: Strenge mijlpalen voor 2026
De Ethereum Foundation heeft deze week een duidelijke routekaart geschetst voor zkEVM-ontwikkelaars. Na jaren van focus op snelheid en realtime bewijzen, verschuift de prioriteit nu naar bewijsbare beveiliging.
In een bericht van 18 december stelt de Foundation dat prestatieknelpunten grotendeels zijn opgelost, maar dat beveiliging de grootste bottleneck blijft voor een echte Layer 1 zkEVM op mainnet.
Het probleem: veel (vooral STARK-gebaseerde) zkEVM's leunen nog op onbewezen aannames om hun beveiligingsclaims te onderbouwen. Recent onderzoek heeft enkele van die aannames in twijfel getrokken.
Een integriteitsfout zou catastrofaal zijn – een vervalst bewijs kan een aanvaller toelaten om munten te creëren, de staat te herschrijven of fondsen te stelen. Doel: 128-bits bewijsbare beveiliging als eindstreep, met een gefaseerde aanpak.
De mijlpalen voor 2026
- Eind februari 2026
Alle deelnemende zkEVM-teams moeten hun bewijssysteem en circuits integreren met soundcalc – een nieuwe tool van de Foundation die beveiliging objektief schat op basis van cryptografische grenzen en parameters. Dit standaardiseert vergelijkingen tussen teams. - Eind mei 2026 (rond Glamsterdam)
Minimaal 100-bits bewijsbare beveiliging (via soundcalc). Bewijsgrootte max 600 KiB. Compacte beschrijving van de recursiearchitectuur + integriteitsschets. - Minimaal 100-bits bewijsbare beveiliging (via soundcalc).
- Bewijsgrootte max 600 KiB.
- Compacte beschrijving van de recursiearchitectuur + integriteitsschets.
- Eind 2026 ("H-ster" mijlpaal) 128-bits bewijsbare beveiliging. Bewijsgrootte max 300 KiB. Formeel beveiligingsargument voor correctheid van recursie.
- 128-bits bewijsbare beveiliging.
- Bewijsgrootte max 300 KiB.
- Formeel beveiligingsargument voor correctheid van recursie.
Waarom deze focus nu?
- Trade-off beveiliging vs. grootte: Sterkere beveiliging maakt bewijzen vaak groter, terwijl ze klein genoeg moeten blijven voor betrouwbare verspreiding over Ethereum's p2p-netwerk.
- Recursie als pijnpunt: zkEVM's combineren talloze circuits met custom recursie-ontwerpen. Het documenteren en bewijzen van correctheid hiervan is cruciaal.
De Foundation benadrukt dat dit geen vertraging is, maar een noodzakelijke stap om zkEVM's mainnet-ready te maken zonder risico's.
Wat betekent dit voor Ethereum?
Deze routekaart toont volwassenheid: van "snel mogelijk maken" naar "veilig op mainnet draaien". zkEVM's zijn key voor schaalbaarheid en privacy, maar alleen als ze waterdicht zijn. 2026 wordt een cruciaal jaar voor Layer 2- en zk-technologie op Ethereum.
Voor houders en ontwikkelaars: geduld loont. De Foundation kiest bewust voor beveiliging boven snelheid – een teken dat Ethereum zich positioneert voor duurzame, institutionele adoptie. De komende mijlpalen zijn duidelijk meetbaar en zullen de voortgang goed zichtbaar maken.
