Ethereum's (ETH) virtuele machine werd in 2015 ontworpen om smart contracts uit te voeren – niet om cryptografische bewijzen te produceren. Zero‑knowledge‑bewijzen zijn juist bedacht om berekeningen goedkoop en privé te verifiëren, zonder enig besef van wat een opcode is.
Jarenlang leken die twee werelden fundamenteel onverenigbaar.
Tot engineers ontdekten hoe ze ze konden samenvoegen. Het resultaat is een van de technisch meest veeleisende stukjes infrastructuur in de hele cryptosector.
ZkEVM – voluit zero‑knowledge Ethereum Virtual Machine – is de poging om Ethereum‑compatibele smart contracts te draaien en vervolgens met ZK‑bewijzen te bewijzen dat ze correct zijn uitgevoerd, zónder dat ontwikkelaars één regel code hoeven te herschrijven.
In theorie klinkt dat simpel. In de praktijk vergde het het oplossen van problemen waar de hele sector een half decennium op vastliep.
TL;DR
- Een ZkEVM voert Ethereum‑compatibele smart contracts uit en genereert een zero‑knowledge‑bewijs dat de uitvoering correct was. Daardoor kunnen transacties snel en goedkoop worden afgewikkeld op Ethereum‑mainnet.
- Hoe moeilijker een ZkEVM is om te bouwen, hoe beter de compatibiliteit met bestaande Ethereum‑tools. Die trade‑off staat centraal in vrijwel elke ontwerpkeuze.
- Gebruikers profiteren van de veiligheidsgaranties van Ethereum zonder de gasprijzen van mainnet te betalen, terwijl ontwikkelaars bestaande Solidity‑contracts vrijwel ongewijzigd kunnen uitrollen.
Wat zero‑knowledge‑bewijzen nu echt doen
Voor je naar de EVM‑kant kijkt, moet helder zijn wat een zero‑knowledge‑bewijs wel en niet is. Een ZK‑bewijs is een cryptografische methode waarmee de ene partij, de “prover”, een andere partij, de “verifier”, kan overtuigen dat een stelling klopt, zonder de onderliggende data prijs te geven waar die stelling op rust.
Het klassieke voorbeeld is aantonen dat je een wachtwoord kent zonder het wachtwoord zelf te versturen. In de blockchainpraktijk is de stelling vrijwel altijd computationeel: “Ik heb dit programma op deze input gedraaid, dit was de output, en ik heb dat correct gedaan.”
De verifier – in dit geval een Ethereum‑smartcontract op Layer 1 – controleert het bewijs in milliseconden, in plaats van elke transactie zelf opnieuw uit te voeren.
Zero‑knowledge‑bewijzen maken het mogelijk dat een Layer 2‑netwerk duizenden transacties bundelt, daar één compact bewijs voor genereert dat ze allemaal geldig waren, en enkel dat bewijs naar Ethereum post. De kosten per gebruiker dalen daarmee drastisch.
Twee bewijssystemen domineren het huidige ZkEVM‑landschap. SNARKs (Succinct Non‑interactive ARguments of Knowledge) leveren kleine bewijzen die razendsnel verifiëren, maar vragen om een trusted setup‑ceremonie. STARKs (Scalable Transparent ARguments of Knowledge) hebben geen trusted setup nodig en zijn bestand tegen kwantumaanvallen, maar hun bewijzen zijn groter. De meeste ZkEVM‑teams kiezen voorlopig voor SNARK‑gebaseerde systemen, omdat de verificatiekosten op Ethereum‑mainnet een harde randvoorwaarde zijn.
Lees ook: Trump Media schrapt Cronos‑treasurydeal van $6,42 mrd met Crypto.com
Waarom de EVM zo lastig te bewijzen is
De Ethereum Virtual Machine is een stack‑gebaseerde uitvoeringsomgeving met meer dan 140 opcodes, een gasverrekeningssysteem, een complexe geheugenstructuur en talloze randgevallen die in tien jaar praktijkgebruik zijn ontstaan. Elke opcode – van een simpele ADD tot cryptografische precompiles zoals ECRECOVER – moet kunnen worden omgezet in een rekenkundige restrictie waar een ZK‑bewijssysteem mee kan werken.
Het probleem is dat ZK‑bewijssystemen een heel smalle wiskundige taal spreken. Ze werken van nature over eindige velden en polynoomvergelijkingen. De EVM is ontworpen zonder daar ook maar enige rekening mee te houden. Opcodes zoals KECCAK256, de hashfunctie van Ethereum, zijn vrijwel maximaal onvriendelijk voor ZK‑circuits, omdat ze bit‑operaties bevatten die resulteren in enorme, dure constraint‑sets.
Die mismatch leverde wat onderzoekers het “EVM‑incompatibiliteitsprobleem” zijn gaan noemen. Je kon een ZK‑rollup bouwen die snel en goedkoop was, maar die alleen maatwerkcode draaide, speciaal geschreven voor ZK‑vriendelijke omgevingen. Of je probeerde de volledige EVM te ondersteunen, maar dan werden de bewijskosten zó hoog en traag dat het schaalvoordeel wegviel. De kernuitdaging van ZkEVM is precies het onderuithalen van die trade‑off.
Een ZK‑bewijs genereren voor één enkele KECCAK256‑hash kan miljoenen rekenkundige constraints vereisen. Een typisch Ethereum‑blok bevat duizenden hashes. Daarom duurde ZkEVM‑proofgeneratie in vroege implementaties uren, en is er vandaag nog steeds gespecialiseerde hardware voor nodig.
Lees ook: Arthur Hayes verwacht Bitcoin‑rally als Fed Japans Treasury‑pot van $1,373 biljoen openzet
De vier typen ZkEVM – en wat ze betekenen
Niet elke ZkEVM is hetzelfde. Ethereum‑onderzoeker Vitalik Buterin introduceerde in 2022 een inmiddels veelgebruikte taxonomie met vier typen, gebaseerd op de mate waarin een implementatie compatibel is met de bestaande Ethereum‑stack. Die indeling is de snelste manier om elk ZkEVM‑project te beoordelen.
Type 1 is volledig Ethereum‑equivalent. Het bewijst exact dezelfde statetransitie, blokstructuur, hashfuncties, alles, zonder aanpassingen. Bestaande Ethereum‑clients kunnen zo’n ZkEVM direct syncen en alle tooling blijft één op één bruikbaar. De prijs: proofgeneratie is extreem traag en duur. Er draait nog geen enkele productie‑ZkEVM op Type 1‑niveau, al werken sommige teams daar naartoe.
Type 2 is EVM‑equivalent. Interne datastructuren kunnen veranderen – bijvoorbeeld KECCAK vervangen door een ZK‑vriendelijkere hash in de state trie – maar EVM‑bytecode blijft volledig compatibel. Smart contracts gedragen zich identiek. Voor ontwikkelaars verandert er niets zichtbaar. Proofgeneratie is sneller dan bij Type 1, maar blijft zwaar. Scroll en de vroege versies van Polygon zkEVM mikken op dit segment.
Type 3 introduceert extra wijzigingen die een klein aantal randgevallen breken, zoals bepaalde precompiles. Vrijwel alle bestaande contracts blijven werken, maar proofgeneratie wordt merkbaar goedkoper. De meeste commerciële ZkEVM’s die in 2023–2024 live gingen, bevonden zich ergens tussen Type 2 en Type 3 in hun eerste releases.
Type 4 compileert Solidity‑ of Vyper‑broncode naar een ZK‑vriendelijke, eigen virtuele machine, in plaats van direct EVM‑bytecode te bewijzen. Dat is de snelste en goedkoopste optie, maar kan subtiele gedragsverschillen opleveren en bepaalde low‑level EVM‑trucs onmogelijk maken. zkSync Era volgt deze aanpak met een eigen LLVM‑gebaseerde compiler.
Voor bouwers is die taxonomie cruciaal. Een project dat een doorgeprüfd DeFi‑protocol van Ethereum‑mainnet wil migreren, zal eerder voor Type 2 of Type 3 kiezen om functionele gelijkheid te garanderen. Een greenfield‑project kan bewust voor Type 4 gaan in ruil voor lagere bewijskosten en snellere finaliteit.
Lees ook: Anthropic legt 191 megawatt Texaanse stroom vast van Bitcoin‑miner
Hoe een ZkEVM een transactie daadwerkelijk verwerkt
Een transactie stap voor stap volgen maakt de architectuur tastbaar. Wanneer een gebruiker een transactie naar een ZkEVM‑netwerk stuurt, verloopt het proces in grote lijnen zo.
Eerst komt de transactie bij een sequencer, een node die transacties ordent en bundelt. De sequencer voert de transacties uit, werkt de Layer 2‑staat bij en geeft de gebruiker een directe “soft confirmation”. Op dat moment toont de wallet al een aangepast saldo, maar cryptografische finaliteit op Ethereum is er nog niet.
Vervolgens gaat de batch transacties naar een prover, gespecialiseerde software (of hardware) die het ZK‑algoritme draait. De prover neemt de toestand vóór uitvoering, alle transacties en de toestand ná uitvoering, en genereert een validiteitsbewijs dat bevestigt dat de statetransitie correct is berekend. Deze stap is zeer rekenintensief en duurt van enkele seconden tot minuten, afhankelijk van het systeem.
Daarna worden het bewijs en een kleine hoeveelheid gecomprimeerde transactiedata gepost naar een Ethereum‑smartcontract: het verifier‑contract.
Dat contract controleert het bewijs in één on‑chain call, die een vaste hoeveelheid gas kost – ongeacht het aantal transacties in de batch. Zodra de verificatie slaagt, wordt de Layer 2‑state root op Ethereum gefinaliseerd en is de transactie net zo veilig als elke mainnet‑transactie.
Lees ook: XRP‑ETF duikt op in cryptofondsmelding van $111.000 bij National Bank of Canada
Modulaire ZkEVM en cross‑chain‑interoperabiliteit
Het oorspronkelijke ZkEVM‑ontwerp ging uit van één settlement‑laag: Ethereum. Alles wat werd bewezen, werd ook op Ethereum‑mainnet afgerekend. Een nieuwer ontwerp, modulaire ZkEVM, ontkoppelt de executielaag, de bewijslayer en de settlementlaag, zodat die onafhankelijk te combineren zijn.
Daar komen projecten als Prom in beeld.
Prom profileert zich als een modulaire ZkEVM‑Layer 2 die interoperabiliteit biedt tussen zowel EVM‑ als niet‑EVM‑ketens. In plaats van alleen op Ethereum te bewijzen en af te wikkelen, stuurt het tegelijkertijd bewijzen naar meerdere chains. Zo ontstaat een wiskundige brug tussen ecosystemen die eerder géén trustless verbinding kenden.
Die modulaire aanpak is belangrijk omdat ze afrekent met de veronderstelling dat Ethereum de enige zinvolle settlement‑laag is.
Een ZkEVM‑bewijs is uiteindelijk puur wiskunde. Als Chain A en Chain B allebei een verifier‑contract hebben dat die wiskunde kan controleren, kan één enkel bewijs een statetransitie op beide chains tegelijk finaliseren. Zo worden ZK‑bewijzen niet alleen een schaaloplossing, maar een universeel interoperabiliteits‑primitief.
Modulaire ZkEVM‑architecturen koppelen uitvoering los van settlement. Daardoor kan hetzelfde validiteitsbewijs op Ethereum, op een niet‑EVM‑keten, of op beide tegelijk worden geverifieerd. Het resultaat is een gedeelde cryptografische waarheid over anderszins incompatibele ecosystemen heen.
Lees ook: TRON verwerkte $2,1 biljoen aan USDT, maar DeFi‑liquiditeit kromp 1,9%
ZkEVM versus Optimistic Rollups: een directe vergelijking
De vergelijking tussen ZkEVM en optimistic rollups duikt voortdurend op, en niet zonder reden: beide proberen hetzelfde schaalbaarheidsprobleem op te lossen, maar vanuit tegengestelde ontwerpfilosofieën.
Optimistic rollups gaan er standaard van uit dat transacties geldig zijn en controleren die pas als iemand binnen een zogeheten dispute window (meestal zeven dagen) een fraudebewijs indient. Dat maakt ze goedkoper om te draaien en eenvoudiger te bouwen, maar zorgt er ook voor dat opnames naar Ethereum mainnet een week duren, tenzij je een liquiditeitsbrug gebruikt. Arbitrum en Optimism zijn momenteel de dominante optimistic-rollupnetwerken.
ZkEVM-rollups nemen juist niets op voorhand aan. Elke batch is in principe ongeldig totdat een cryptografisch bewijs het tegendeel aantoont. Dat levert meer rekenlast op aan de ‘prover’-kant, maar maakt het mogelijk om opnames binnen enkele uren op Ethereum af te wikkelen, zonder afhankelijk te zijn van eerlijke watchers die fraude detecteren.
Voor gebruikers komen de praktische verschillen grotendeels hierop neer:
- Opnamesnelheid: ZkEVM is hier de duidelijke winnaar: finaliteit op basis van bewijzen wordt in uren bereikt, tegenover zeven dagen voor native opnames bij optimistic rollups.
- Transactiekosten: Optimistic rollups zijn momenteel in veel gevallen goedkoper, omdat het genereren van ZK-bewijzen extra kosten met zich meebrengt. Dat verschil slinkt wel, naarmate hardware en algoritmes voor proving verbeteren.
- Securitymodel: ZkEVM biedt cryptografische validiteitsgaranties. Optimistic rollups leunen op economische prikkels via fraud proofs – robuust, maar niet wiskundig equivalent aan strikte validiteitsbewijzen.
- EVM-compatibiliteit: Moderne ZkEVM’s (Type 2/3) hebben de achterstand grotendeels ingehaald en ondersteunen inmiddels vrijwel alle bestaande Ethereum-tools. Daarmee verdwijnt een belangrijk historisch voordeel van optimistic rollups.
- Liveness-risico: ZkEVM-systemen kunnen stilvallen als de prover faalt. Optimistic rollups blijven transacties verwerken zolang de sequencer actief blijft.
Geen van beide benaderingen is in alle scenario’s superieur. Toepassingen met groot volume die extreem lage kosten prioriteren en de lange opnameperiode kunnen verdragen, neigen naar optimistic rollups. Toepassingen die snelle finaliteit, betrouwbare cross-chain settlement of harde wiskundige correctheidsbewijzen nodig hebben, komen al snel uit bij ZkEVM.
Ook interessant: Koers CoreWeave schiet 11% omhoog nu Q2-omzet door AI-boom verdubbelt
Wie nu al echt profiteert van ZkEVM
ZkEVM is geen verre toekomstmuziek. Meerdere netwerken draaien al live, met substantieel kapitaal vergrendeld en echte gebruikers die transactiekosten betalen. Toch is het zinvol scherp te hebben wie in de huidige fase het meest profiteert van welke laag in de stack.
DeFi-protocollen die van Ethereum mainnet migreren, profiteren van vrijwel identieke uitvoeringssemantiek (Type 2/3) en aanzienlijk lagere gaskosten. Een protocol dat retailgebruikers van het platform duwde met $30 gas per swap op mainnet, kan op een ZkEVM sub-centtransacties aanbieden zonder de smart contracts te herschrijven.
Bruggen en cross-chainapplicaties profiteren van modulaire ZkEVM-architecturen die bewijzen naar meerdere ketens sturen. In plaats van te vertrouwen op een multisigbrug – historisch gezien de meest gehackte categorie in crypto – kunnen gebruikers leunen op een wiskundig bewijs dat on-chain wordt gevalideerd.
Enterprises en financiële instellingen die permissioned of semi-permissioned toepassingen bouwen, krijgen een bewezen executieomgeving met cryptografische auditeerbaarheid. Elke staatsovergang is formeel aantoonbaar correct, wat direct relevant is voor compliance, risicobeheer en verslaglegging.
Developers die vandaag een nieuw project starten, moeten de afruil tussen Type 4 en Type 2 goed begrijpen voor ze een netwerk kiezen. Schrijf je nieuwe Solidity-code en wil je maximale proving-snelheid en zo laag mogelijke fees, dan ligt een Type 4-netwerk voor de hand. Migreer je een bestaand protocol en kun je geen gedragsverschillen riskeren, dan is een Type 2- of Type 3-netwerk de veiligere keuze.
Voor doorsnee gebruikers voelt een ZkEVM in de praktijk als een snelle, goedkope, Ethereum-compatibele chain waar hun bestaande wallets werken en hun bestaande tokens eenvoudig naartoe kunnen worden gebridged. De onderliggende cryptografische complexiteit blijft onzichtbaar – precies hoe goede infrastructuur zou moeten aanvoelen.
Ook interessant: Monad tikt record van $868 mln TVL aan, maar vraag naar MON blijft mager
Conclusie
ZkEVM geldt als een van de lastigste convergentievraagstukken in de toegepaste cryptografie: een virtuele machine zonder ingebouwde wiskundige structuur zó herontwerpen dat hij zich laat vertalen naar zero-knowledge-bewijzen.
De teams die dit hebben opgelost, hebben jaren besteed aan het temmen van incompatibele hashfuncties, exploderende constraints en prover-hardware die nog niet bestond toen de onderliggende academische papers verschenen.
De ontwikkeling gaat razendsnel door. De tijd die nodig is om bewijzen te genereren blijft dalen. Gedecentraliseerde prover-netwerken gaan live. Volledige Ethereum-equivalentie op Type 1-niveau blijft het einddoel, en meerdere teams naderen dat punt zichtbaar.
Voor iedereen die bouwt op of investeert in het Ethereum-ecosysteem, is een werkelijk begrip van hoe ZkEVM werkt – voorbij de marketingtermen – de basis onder elke strategische keuze die volgt.
Lees verder: Nvidia’s AI-investeringsgolf van $500 mrd zet crypto-computetokens in de schijnwerpers
