De virtuele machine van Ethereum (ETH) werd in 2015 ontworpen om smart contracts uit te voeren — niet om cryptografische bewijzen te produceren. Zero‑knowledge‑bewijzen zijn juist ontwikkeld 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 versmelten. Het resultaat is een van de technisch meest veeleisende infrastructuurlagen in de hele cryptosector.
ZkEVM — voluit zero‑knowledge Ethereum Virtual Machine — is de poging om Ethereum‑compatibele smart contracts te draaien én daarna met ZK‑bewijzen aan te tonen dat de uitvoering correct was, zonder dat ontwikkelaars één regel code hoeven aan te passen.
Op papier klinkt dat eenvoudig. In de praktijk betekende het het oplossen van vraagstukken waar de hele sector zich een half decennium op stukbeet.
TL;DR
- Een ZkEVM voert Ethereum‑compatibele smart contracts uit en genereert een zero‑knowledge‑bewijs dat de uitvoering correct was. Daarmee kunnen transacties snel en goedkoop worden afgerekend op Ethereum‑mainnet.
- Hoe moeilijker een ZkEVM technisch is om te bouwen, hoe hoger de compatibiliteit met bestaande Ethereum‑tools. Die afruil bepaalt vrijwel elke ontwerpkeuze in dit domein.
- Gebruikers profiteren van de veiligheidsgaranties van Ethereum zonder mainnet‑gasprijzen te betalen, terwijl ontwikkelaars bestaande Solidity‑contracten met weinig tot geen aanpassingen kunnen uitrollen.
Wat zero‑knowledge‑bewijzen écht doen
Voor we naar de EVM‑kant kijken, is het belangrijk helder te hebben wat een zero‑knowledge‑bewijs wel en niet is. Een ZK‑bewijs is een cryptografische methode waarmee één partij, de prover, een andere partij, de verifier, kan overtuigen dat een stelling klopt — zonder de onderliggende data te onthullen.
De klassieker: aantonen dat je het wachtwoord kent, zonder het wachtwoord zelf prijs te geven. In blockchain‑context 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 opnieuw uit te voeren.
Zero‑knowledge‑bewijzen maken het mogelijk dat een Layer‑2‑netwerk duizenden transacties bundelt, daar één compact bewijs voor genereert, en alleen dat bewijs op Ethereum plaatst. De kosten per gebruiker dalen daardoor drastisch.
In de huidige ZkEVM‑wereld domineren twee bewijssystemen. SNARKs (Succinct Non‑interactive ARguments of Knowledge) leveren extreem kleine bewijzen die snel te verifiëren zijn, maar vereisen een trusted setup‑ceremonie. STARKs (Scalable Transparent ARguments of Knowledge) hebben geen trusted setup nodig en zijn beter bestand tegen quantumaanvallen, maar de bewijzen zijn groter. De meeste ZkEVM‑teams kiezen voorlopig voor SNARK‑gebaseerde systemen, omdat de verificatiekosten op Ethereum‑mainnet een keiharde randvoorwaarde vormen.
Lees ook: Trump Media Scraps $6.42B Cronos Treasury Deal With Crypto.com
Waarom de EVM zo lastig te bewijzen is
De Ethereum Virtual Machine is een stack‑gebaseerde uitvoeringsomgeving met ruim 140 opcodes, een gasadministratie, complexe geheugenstructuren en talloze edge‑cases die in bijna tien jaar productie zijn ontstaan. Elke opcode — van een simpele ADD tot cryptografische precompiles zoals ECRECOVER — moet terug te brengen zijn tot een wiskundige restrictie, zodat een ZK‑systeem erover kan redeneren.
Het probleem: ZK‑bewijzen spreken een extreem beperkte wiskundige taal. Ze werken in de basis over eindige velden en polynoomvergelijkingen. De EVM is zonder enig oog voor dat model ontworpen. Opcodes zoals KECCAK256 (Ethereum’s hashfunctie) zijn bijna maximaal ZK‑onvriendelijk, omdat ze bit‑operaties gebruiken die in ZK‑circuits uitmonden in gigantische, dure constraint‑sets.
Dat spanningsveld werd door onderzoekers al snel het “EVM‑incompatibiliteitsprobleem” genoemd. Je kon óf een ZK‑rollup bouwen die razendsnel en goedkoop was, maar alleen maatwerkcode draaide in een ZK‑vriendelijke omgeving. Óf je kon proberen de volledige EVM te ondersteunen, met als gevolg dat het genereren van bewijzen zó duur en traag werd dat het schaalvoordeel verdampte. De kern van de ZkEVM‑uitdaging is het verkleinen van precies die kloof.
Voor één enkele KECCAK256‑hash kan een ZK‑bewijs miljoenen rekenkundige constraints vereisen. Een doorsnee Ethereum‑blok bevat duizenden hashes. Daarom duurde ZkEVM‑proofgeneratie in de eerste implementaties uren en is er nog steeds gespecialiseerde hardware nodig.
Lees ook: Arthur Hayes Sees Bitcoin Rally If Fed Opens Japan’s $1.373 Trillion Treasury Pool
De vier typen ZkEVM en wat ze betekenen
Niet elke ZkEVM is hetzelfde. Ethereum‑onderzoeker Vitalik Buterin introduceerde in 2022 een inmiddels veelgebruikte indeling met vier typen, afhankelijk van de mate van compatibiliteit met de bestaande Ethereum‑stack. Wie een ZkEVM‑project wil beoordelen, is met deze typologie snel op weg.
Type 1 is volledig Ethereum‑equivalent. Het bewijst exact dezelfde state‑transitie, blokstructuur, hashfuncties — alles — zonder enige aanpassing. Bestaande Ethereum‑clients kunnen zo’n systeem direct synchroniseren en alle tooling werkt out‑of‑the‑box. De keerzijde: het genereren van bewijzen is extreem traag en kostbaar. Er draait vandaag geen productie‑ZkEVM op Type‑1‑niveau, al werken diverse teams ernaar toe.
Type 2 is EVM‑equivalent. Hier worden interne datastructuren aangepast — bijvoorbeeld KECCAK vervangen door een ZK‑vriendelijkere hash in de state‑trie — maar de EVM‑bytecode blijft volledig compatibel. Smart contracts gedragen zich identiek; ontwikkelaars merken geen verschil. Bewijsgeneratie is sneller dan bij Type 1, maar nog steeds zwaar. Scroll en vroege versies van Polygon zkEVM mikken op deze categorie.
Type 3 gaat een stap verder en wijzigt extra onderdelen, waardoor een beperkt aantal edge‑cases breekt, zoals bepaalde precompiles. Vrijwel alle bestaande contracts blijven echter gewoon werken. De kosten van proofs dalen hier merkbaar. De meeste commerciële ZkEVM’s die in 2023‑2024 live gingen, bewogen zich bij hun lancering ergens tussen Type 2 en Type 3.
Type 4 compileert Solidity‑ of Vyper‑broncode naar een ZK‑vriendelijke, eigen virtuele machine, in plaats van EVM‑bytecode direct te bewijzen. Dat is de snelste en goedkoopste optie, maar kan subtiele gedragsverschillen introduceren, en sommige laag‑niveau EVM‑trucs werken niet meer. zkSync Era volgt deze route met een eigen LLVM‑gebaseerde compiler.
Voor bouwers is die indeling essentieel. Wie een beprotocoleerd DeFi‑protocol één‑op‑één wil verhuizen van Ethereum‑mainnet, zal eerder voor Type 2 of Type 3 kiezen om functioneel identiek gedrag te garanderen. Nieuwe projecten zonder legacy‑code accepteren mogelijk graag de beperkingen van Type 4 in ruil voor lagere kosten en snellere finaliteit.
Lees ook: Anthropic Locks Up 191 Megawatts Of Texas Power From A Bitcoin Miner
Hoe een ZkEVM een transactie daadwerkelijk verwerkt
Een end‑to‑end‑voorbeeld van één transactie maakt de architectuur tastbaar. Wanneer een gebruiker een transactie naar een ZkEVM‑netwerk stuurt, verloopt het proces ongeveer zo:
Eerst bereikt de transactie een sequencer, een node die verantwoordelijk is voor de volgorde en bundeling van transacties. De sequencer voert de transacties uit, werkt de Layer‑2‑status bij en geeft de gebruiker een directe “zachte bevestiging”. De wallet van de gebruiker toont nu een aangepast saldo, maar de transactie is cryptografisch nog niet definitief op Ethereum.
Vervolgens gaat de hele 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 zogeheten validity proof: een bewijs dat de state‑transitie correct is berekend. Deze stap is rekenintensief en duurt, afhankelijk van het systeem, van enkele seconden tot minuten.
Daarna worden het bewijs en een kleine hoeveelheid gecomprimeerde transactiedata naar een Ethereum‑smartcontract gestuurd: het verifier‑contract.
Dat contract controleert het bewijs in één on‑chain call, tegen vaste gaskosten, ongeacht het aantal transacties in de batch. Zodra het bewijs is goedgekeurd, wordt de Layer‑2‑state‑root op Ethereum gefinaliseerd en is de transactie net zo veilig als elke andere mainnet‑transactie.
Lees ook: XRP ETF Appears In National Bank Of Canada’s $111K Crypto Fund Disclosure
Modulaire ZkEVM en cross‑chain interoperabiliteit
De eerste generatie ZkEVM’s ging uit van één settlement‑laag: Ethereum. Alles werd bewezen en afgerekend op Ethereum‑mainnet. Een nieuwere architectuur — modulaire ZkEVM — ontkoppelt de executielaag, de bewijslagen en de settlement‑laag, zodat die onafhankelijk kunnen worden gecombineerd.
Daar komt een project als Prom in beeld.
Prom profileert zich als een modulaire ZkEVM‑Layer‑2 die interoperabiliteit mogelijk maakt tussen zowel EVM‑ als niet‑EVM‑ketens. In plaats van uitsluitend op Ethereum te bewijzen en te settelen, dient Prom bewijzen gelijktijdig in bij meerdere ketens. Daarmee ontstaat een wiskundige brug tussen ecosystemen die tot nu toe geen trustless verbinding kenden.
Die modulaire benadering is relevant omdat ze afstapt van het idee dat alleen Ethereum een geldige settlement‑laag is.
Uiteindelijk is een ZkEVM‑bewijs puur wiskunde. Als zowel Chain A als Chain B een verifier‑contract hebben dat die wiskunde kan controleren, kan één enkel bewijs dezelfde state‑transitie op beide ketens tegelijk finaliseren. Zo verschuiven ZK‑bewijzen van louter schaaloplossing naar een universeel interoperabiliteits‑primaat.
Modulaire ZkEVM‑architecturen koppelen executie los van settlement. Datzelfde validity‑bewijs kan dan op Ethereum, een niet‑EVM‑keten, of beide worden geverifieerd, waardoor een gedeelde cryptografische waarheid ontstaat over anderszins incompatibele ecosystemen.
Lees ook: TRON Cleared $2.1 Trillion In USDT, But Its DeFi Pool Shrank 1,9%
ZkEVM versus Optimistic Rollups, naast elkaar
De vergelijking tussen ZkEVM en optimistic rollups duikt voortdurend op, en niet voor niets: beide pakken hetzelfde schaalbaarheidsprobleem aan, maar vanuit een tegengestelde filosofie.
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 fraud proof indient. Dat maakt deze oplossing goedkoper in gebruik en eenvoudiger te bouwen, maar het betekent wel dat opnames naar de Ethereum‑mainnet een week duren, tenzij gebruikers een liquiditeitsbrug gebruiken. Arbitrum en Optimism zijn vandaag de dominante optimistic‑rollupnetwerken.
ZkEVM‑rollups draaien die logica om: niets wordt aangenomen. Elke batch is in principe ongeldig totdat een cryptografisch bewijs het tegendeel aantoont. Dat zorgt voor meer rekenlast aan de bewijskant, maar opnames kunnen binnen enkele uren op Ethereum worden afgerekend, in plaats van na dagen, en het systeem leunt niet op “honest watchers” die fraude moeten detecteren.
Voor gebruikers ziet het praktische verschil er grofweg zo uit:
- Opnamesnelheid: ZkEVM is hier de duidelijke winnaar. Finaliteit op basis van bewijzen kost uren, versus zeven dagen voor native opnames bij optimistic rollups.
- Transactiekosten: Optimistic rollups zijn in veel gevallen momenteel goedkoper, omdat het genereren van ZK‑bewijzen extra kosten met zich meebrengt. Dat gat wordt kleiner naarmate hardware en algoritmes voor proving verbeteren.
- Beveiligingsmodel: ZkEVM biedt cryptografische validiteitsgaranties. Optimistic rollups vertrouwen op economische prikkels via fraud proofs – sterk, maar niet wiskundig equivalent.
- EVM‑compatibiliteit: Moderne ZkEVM’s (Type 2/3) hebben de achterstand vrijwel ingehaald en ondersteunen inmiddels nagenoeg alle bestaande Ethereum‑tools. Daarmee verdwijnt een van de belangrijkste historische voordelen van optimistic rollups.
- Liveness‑risico: ZkEVM‑systemen kunnen stilvallen als de prover faalt. Optimistic rollups blijven transacties verwerken zolang de sequencer online is.
Geen van beide benaderingen is per definitie superieur. Toepassingen met hoge volumes die primair op zo laag mogelijke kosten sturen en het weeklange opnamevenster kunnen accepteren, neigen naar optimistic rollups. Applicaties die snelle finaliteit, ketenoverschrijdende afwikkeling of wiskundig bewijs van correctheid vereisen, komen al snel bij ZkEVM uit.
Ook interessant: CoreWeave Aandeel Schiet 11% Omhoog Nu Q2‑Omzet Verdubbelt Door AI‑Hausse
Wie nu al echt profiteert van ZkEVM
ZkEVM is geen verre, theoretische toekomsttechnologie. Meerdere netwerken draaien live, met reëel kapitaal dat is vastgezet en echte gebruikers die transactiekosten betalen. Toch is het relevant om te zien wie in de huidige fase het meest profiteert van welke laag in de stack.
DeFi‑protocollen die migreren vanaf de Ethereum‑mainnet profiteren van vrijwel identieke executiesemantiek (Type 2/3) en fors lagere gaskosten. Een protocol dat retailgebruikers op mainnet de markt uitprijsde met $30 per swap aan gas, kan op een ZkEVM transacties tegen fracties van een cent aanbieden, zonder de onderliggende smart contracts te herschrijven.
Bruggen en cross‑chain‑applicaties halen voordeel uit modulaire ZkEVM‑architecturen die bewijzen op meerdere chains kunnen posten. In plaats van te vertrouwen op een multisigbrug – historisch gezien de meest gehackte categorie binnen crypto – kunnen gebruikers leunen op een wiskundig bewijs dat on‑chain wordt geverifieerd.
Enterprises en financiële instellingen die permissioned of semi‑permissioned applicaties bouwen, krijgen een beproefde executieomgeving met cryptografische audit trails. Elke state transition is aantoonbaar correct, wat essentieel is voor compliance, risicobeheer en verslaggeving.
Developers die vandaag een nieuw project starten, moeten de afruil tussen Type 4 en Type 2 goed begrijpen voordat ze een netwerk kiezen. Wie nieuwe Solidity‑code schrijft en maximale proving‑snelheid en minimale fees zoekt, komt mogelijk beter uit bij een Type 4‑netwerk. Wie een bestaand protocol migreert en zich geen gedragsafwijkingen kan permitteren, kiest veiliger voor Type 2 of Type 3.
Voor doorsnee gebruikers manifesteert ZkEVM zich vooral als een goedkope, snelle, Ethereum‑compatibele chain waarop bestaande wallets gewoon werken en bestaande tokens eenvoudig zijn te bridgen. De cryptografische machinerie onder de motorkap blijft onzichtbaar – precies hoe goede infrastructuur zou moeten aanvoelen.
Ook interessant: Monad Haalt Record van $868M TVL, Maar Vraag Naar MON Blijft Mager
Conclusie
ZkEVM is een van de lastigste convergentievraagstukken in de toegepaste cryptografie: een virtuele machine zonder ingebouwde wiskundige structuur dwingen om te opereren binnen het strakke kader van zero‑knowledge‑bewijzen.
De teams die dit hebben opgelost, hebben jaren besteed aan het worstelen met incompatibele hashfuncties, exploderende constraints en prover‑hardware die simpelweg niet bestond toen de onderliggende academische papers werden geschreven.
De ontwikkeling gaat nog steeds razendsnel. De tijd die nodig is om bewijzen te genereren, blijft dalen. Gedecentraliseerde prover‑netwerken komen online. Type 1‑equivalentie – volledige één‑op‑één‑gelijkheid met Ethereum – blijft het einddoel waar meerdere teams aantoonbaar naartoe werken.
Voor iedereen die bouwt op of investeert in het Ethereum‑ecosysteem, is een fundamenteel begrip van hoe ZkEVM daadwerkelijk werkt – voorbij de marketingclaims – de basis voor elke strategische beslissing die volgt.
Lees verder: Nvidia’s AI‑Financieringsgolf van $500 Mrd Zet Crypto Compute‑Tokens In de Schijnwerpers
