Ethereums (ETH) Virtual Machine wurde 2015 entwickelt, um Smart Contracts auszuführen – nicht, um kryptografische Beweise zu erzeugen. Zero-Knowledge-Proofs wiederum wurden geschaffen, um Rechenprozesse günstig und privat zu verifizieren, ohne überhaupt zu wissen, was ein Opcode ist.
Lange Zeit schienen beide Welten unvereinbar.
Dann gelang Ingenieuren eine Art Fusion – und heraus kam eine der technisch anspruchsvollsten Infrastrukturen im gesamten Kryptomarkt.
ZkEVM – kurz für Zero-Knowledge Ethereum Virtual Machine – ist der Versuch, Ethereum-kompatible Smart Contracts auszuführen und anschließend mit Zero-Knowledge-Proofs nachzuweisen, dass ihre Ausführung korrekt war – ohne dass Entwickler auch nur eine Zeile Code umschreiben müssen.
Theoretisch klingt das simpel. In der Praxis bedeutete es, Probleme zu lösen, an denen die Branche über ein halbes Jahrzehnt gescheitert war.
TL;DR
- Eine ZkEVM führt Ethereum-kompatible Smart Contracts aus und erzeugt einen Zero-Knowledge-Proof, dass die Ausführung korrekt war – so lassen sich Transaktionen schnell und günstig auf dem Ethereum-Mainnet final abwickeln.
- Je schwerer eine ZkEVM zu bauen ist, desto höher ihre Kompatibilität mit bestehendem Ethereum-Tooling – genau dieser Trade-off steht im Zentrum aller Designentscheidungen.
- Nutzer profitieren von Ethereums Sicherheitsgarantien, ohne Mainnet-Gaspreise zu zahlen. Entwickler können bestehende Solidity-Verträge mit minimalen Anpassungen deployen.
Was Zero-Knowledge-Proofs tatsächlich leisten
Bevor man die EVM-Seite versteht, muss klar sein, was ein Zero-Knowledge-Proof ist – und was nicht. Ein ZK-Proof ist ein kryptografisches Verfahren, mit dem eine Partei, der Prover, einer anderen Partei, dem Verifier, beweisen kann, dass eine Aussage wahr ist, ohne die zugrundeliegenden Daten preiszugeben.
Das klassische Beispiel: Man beweist, dass man ein Passwort kennt, ohne das Passwort selbst zu übermitteln. In Blockchain-Systemen ist die zu beweisende Aussage fast immer rechnerischer Natur: „Ich habe dieses Programm mit diesem Input ausgeführt, dieses Output erhalten – und alles korrekt berechnet.“
Der Verifier – im ZkEVM-Kontext typischerweise ein Ethereum-Smart-Contract auf Layer 1 – prüft den Beweis in Millisekunden, anstatt jede einzelne Transaktion erneut auszuführen.
Zero-Knowledge-Proofs ermöglichen es einem Layer-2-Netzwerk, Tausende Transaktionen zu bündeln, einen einzigen kompakten Beweis zu erzeugen, der ihre Gültigkeit bestätigt, und nur diesen Beweis auf Ethereum zu veröffentlichen. Die Kosten pro Nutzer sinken drastisch.
In der aktuellen ZkEVM-Landschaft dominieren zwei Beweissysteme. SNARKs (Succinct Non-interactive ARguments of Knowledge) erzeugen sehr kleine, schnell überprüfbare Beweise, erfordern aber ein „Trusted Setup“. STARKs (Scalable Transparent ARguments of Knowledge) kommen ohne Trusted Setup aus und gelten als quantenresistent, produzieren dafür aber größere Beweise. Die meisten ZkEVM-Teams setzen derzeit auf SNARK-basierte Systeme, weil die Verifizierungskosten auf dem Ethereum-Mainnet ein harter Engpass sind.
Auch lesenswert: Trump Media streicht 6,42-Mrd.-$-Cronos-Treasury-Deal mit Crypto.com
Warum sich die EVM so schwer beweisen lässt
Die Ethereum Virtual Machine ist eine stackbasierte Ausführungsumgebung mit über 140 Opcodes, einem Gas-Abrechnungssystem, komplexen Speicherstrukturen und zahllosen Sonderfällen aus fast einem Jahrzehnt Praxisbetrieb. Jeder einzelne Opcode – von einem simplen ADD bis zu kryptografischen Precompiles wie ECRECOVER – muss sich in ein arithmetisches Constraintsystem übersetzen lassen, damit ein ZK-Beweissystem darüber „nachdenken“ kann.
Das Problem: ZK-Systeme sprechen eine extrem schmale mathematische Sprache. Sie arbeiten nativ über endlichen Körpern und mit Polynomgleichungen. Die EVM wurde ohne jede Rücksicht darauf entworfen. Opcodes wie KECCAK256 (die Ethereum-Hashfunktion) sind nahezu maximal ZK-unfreundlich, weil sie bitweise Operationen enthalten, die in ZK-Schaltkreisen riesige, teure Constraint-Sets erzeugen.
Dieser Missmatch führte zu dem, was Forscher als „EVM-Inkompatibilitätsproblem“ bezeichneten. Man konnte zwar einen schnellen, günstigen ZK-Rollup bauen – der lief dann aber nur mit speziell für ZK-Umgebungen geschriebenen Programmen. Oder man versuchte, die komplette EVM zu unterstützen, doch die Beweiserzeugung wurde so langsam und kostspielig, dass der Skalierungseffekt praktisch verpuffte. Die Ingenieursaufgabe von ZkEVM besteht darin, genau diesen Zielkonflikt aufzulösen.
Für einen einzigen KECCAK256-Hash können Millionen arithmetischer Constraints nötig sein. Ein typischer Ethereum-Block enthält Tausende solcher Hashes – deshalb dauerte die ZkEVM-Beweiserzeugung in frühen Implementierungen Stunden und erfordert bis heute spezialisierte Hardware.
Auch lesenswert: Arthur Hayes sieht Bitcoin-Rallye, falls die Fed Japans 1,373-Billionen-$-Treasury-Pool öffnet
Die vier ZkEVM-Typen – und was sie bedeuten
ZkEVM ist nicht gleich ZkEVM. Ethereum-Mitgründer Vitalik Buterin hat 2022 eine inzwischen weit zitierte Taxonomie vorgelegt, die Implementierungen in vier Typen einteilt – danach, wie exakt sie mit dem bestehenden Ethereum-Stack kompatibel sind. Wer ZkEVM-Projekte bewerten will, kommt an dieser Einordnung kaum vorbei.
Typ 1 ist vollständig Ethereum-äquivalent. Er bildet den exakten Ethereum-State-Transition-Prozess, die Blockstruktur, Hashfunktionen – alles – ohne Änderungen ab. Bestehende Ethereum-Clients können den Zustand nativ nachvollziehen, jedes Tool funktioniert sofort. Die Kehrseite: Die Beweiserzeugung ist extrem langsam und teuer. Es gibt derzeit keine produktive ZkEVM auf Typ‑1-Niveau, einige Teams arbeiten aber darauf hin.
Typ 2 ist EVM-äquivalent. Interne Datenstrukturen werden angepasst – etwa wird KECCAK im State Trie durch eine ZK-freundlichere Hashfunktion ersetzt –, die vollständige EVM-Bytecodekompatibilität bleibt aber erhalten. Smart Contracts verhalten sich identisch, Entwickler bemerken nichts. Die Beweise sind schneller erzeugt als bei Typ 1, aber immer noch ressourcenintensiv. Scroll und frühe Versionen der Polygon zkEVM bewegen sich in diesem Spektrum.
Typ 3 geht einen Schritt weiter und nimmt zusätzliche Änderungen vor, die einige wenige Edge-Case-Features brechen, etwa bestimmte Precompiles. Fast alle bestehenden Verträge laufen dennoch unverändert. Die Kosten für die Beweiserzeugung sinken spürbar. Die meisten ZkEVMs, die 2023–2024 kommerziell live gingen, lagen bei ihren ersten Releases irgendwo zwischen Typ 2 und Typ 3.
Typ 4 kompiliert Solidity- oder Vyper-Quellcode in eine ZK-freundliche, eigene virtuelle Maschine, anstatt EVM-Bytecode direkt zu beweisen. Das ist die schnellste und günstigste Variante, kann aber subtile Verhaltensunterschiede erzeugen; bestimmte Low-Level-EVM-Tricks funktionieren nicht. zkSync Era setzt mit einem eigenen LLVM-basierten Compiler auf diesen Ansatz.
Für Builder ist die Taxonomie entscheidend. Wer ein battle-getestetes DeFi-Protokoll vom Ethereum-Mainnet migriert, braucht in der Regel Typ 2 oder 3, um Verhaltensparität sicherzustellen. Neue Projekte können sich bewusst für Typ 4 entscheiden, um geringere Proof-Kosten und schnellere Finalität zu erreichen.
Auch lesenswert: Anthropic sichert sich 191 Megawatt Strom in Texas von einem Bitcoin-Miner
Wie eine ZkEVM eine Transaktion tatsächlich abwickelt
Am klarsten wird die Architektur, wenn man eine einzelne Transaktion von Anfang bis Ende durchspielt. Reicht ein Nutzer eine Transaktion bei einem ZkEVM-Netzwerk ein, läuft der Prozess typischerweise so ab:
Zuerst erreicht die Transaktion den Sequencer – einen Node, der Transaktionen sortiert und zu Batches bündelt. Der Sequencer führt die Transaktionen aus, aktualisiert den Layer‑2‑State und gibt dem Nutzer eine unmittelbare „Soft-Bestätigung“. Im Wallet ist die neue Balance bereits sichtbar, die Transaktion ist auf Ethereum aber noch nicht kryptografisch final.
Danach geht der Batch an den Prover – spezialisierte Software oder Hardware, die den ZK-Algorithmus ausführt. Der Prover nimmt den Zustand vor der Ausführung, alle Transaktionen und den resultierenden Zustand und erzeugt einen Gültigkeitsbeweis dafür, dass der State-Transition-Prozess korrekt berechnet wurde. Dieser Schritt ist rechenintensiv und dauert, je nach System, von Sekunden bis zu mehreren Minuten.
Anschließend werden der Beweis und eine komprimierte Form der Transaktionsdaten an einen Ethereum-Smart-Contract, den Verifier-Contract, übermittelt.
Dieser Contract prüft den Beweis in einem einzigen On-Chain-Call – die Gaskosten sind dabei nahezu fix, unabhängig davon, wie viele Transaktionen im Batch stecken. Sobald der Beweis akzeptiert ist, gilt die Layer‑2‑State-Root auf Ethereum als final und ist so sicher wie jede andere Mainnet-Transaktion.
Auch lesenswert: XRP-ETF taucht im 111.000-$-Krypto-Fondsreport der National Bank of Canada auf
Modulare ZkEVM und Cross-Chain-Interoperabilität
Das ursprüngliche ZkEVM-Design ging von einer einzigen Settlement-Schicht aus: Ethereum. Alles, was bewiesen wird, wird auch auf dem Ethereum-Mainnet finalisiert. Eine neuere Architektur, die „modulare ZkEVM“, trennt hingegen Ausführungsschicht, Beweisschicht und Settlement-Schicht – die Komponenten lassen sich frei kombinieren.
Hier kommen Projekte wie Prom ins Spiel.
Prom versteht sich als modulare ZkEVM-Layer‑2, die Interoperabilität zwischen EVM- und Nicht‑EVM‑Chains ermöglicht. Anstatt Ausführung nur gegenüber Ethereum zu beweisen und dort zu finalisieren, sendet Prom seine Proofs gleichzeitig an mehrere Chains und schafft so eine mathemisch gesicherte Brücke zwischen Ökosystemen, die bislang keine vertrauensminimierte Verbindung hatten.
Der modulare Ansatz ist deshalb relevant, weil er die implizite Annahme aufbricht, dass Ethereum die einzige legitime Settlement-Ebene sein müsse.
Ein ZkEVM-Proof ist letztlich reine Mathematik. Wenn Chain A und Chain B jeweils einen Verifier-Contract besitzen, der diese Mathematik prüfen kann, kann ein einziger Beweis denselben State-Transition-Prozess auf beiden Chains gleichzeitig finalisieren. Auf diese Weise werden ZK-Proofs von einem reinen Skalierungsinstrument zu einem universellen Interoperabilitätsbaustein.
Modulare ZkEVM-Architekturen entkoppeln Ausführung und Settlement. Ein und derselbe Validity-Proof kann auf Ethereum, auf einer Nicht‑EVM‑Chain oder auf beiden verifiziert werden – und schafft damit eine gemeinsame kryptografische Wahrheitsschicht über ansonsten inkompatiblen Ökosystemen.
Auch lesenswert: TRON wickelte 2,1 Billionen $ in USDT ab – doch sein DeFi-Pool schrumpfte 1,9 %
ZkEVM versus Optimistic Rollups im Direktvergleich
Der Vergleich zwischen ZkEVM und Optimistic Rollups taucht ständig auf – aus gutem Grund: Beide adressieren dasselbe Skalierungsproblem, verfolgen aber diametral entgegengesetzte Ansätze.
Optimistic Rollups unterstellen Transaktionen zunächst als gültig und prüfen sie nur dann im Detail, wenn innerhalb eines definierten Zeitfensters (typischerweise sieben Tage) ein Fraud-Proof-Einspruch erfolgt. Das macht den Betrieb günstiger und die Implementierung einfacher, führt aber dazu, dass Auszahlungen zurück auf das Ethereum-Mainnet ohne Liquiditätsbrücke rund eine Woche dauern. Arbitrum und Optimism dominieren heute das Segment der Optimistic-Rollup-Netzwerke.
ZkEVM-Rollups gehen den umgekehrten Weg: Sie vertrauen nichts. Jeder Batch gilt als ungültig, bis ein kryptografischer Beweis das Gegenteil zeigt. Das erhöht den Rechenaufwand auf der Prover-Seite, erlaubt aber Auszahlungen auf Ethereum binnen Stunden statt Tagen – ohne auf ehrliche Beobachter angewiesen zu sein, die Betrug melden.
Für Nutzer lassen sich die praktischen Unterschiede wie folgt herunterbrechen:
- Auszahlungsgeschwindigkeit: Klare Vorteile für ZkEVM – beweisbasierte Finalität in Stunden gegenüber sieben Tagen bei nativen Optimistic-Rollup-Withdrawals.
- Transaktionskosten: Optimistic Rollups sind derzeit in vielen Fällen noch günstiger, da die Generierung der Zero-Knowledge-Beweise Zusatzkosten verursacht. Diese Lücke schließt sich jedoch, je besser Hardware und Beweis-Algorithmen werden.
- Sicherheitsmodell: ZkEVM bietet kryptografisch abgesicherte Gültigkeitsgarantien. Optimistic Rollups setzen auf ökonomische Sicherheit über Fraud Proofs – robust, aber nicht mathematisch gleichwertig.
- EVM-Kompatibilität: Moderne ZkEVMs (Typ 2/3) haben stark aufgeholt und unterstützen inzwischen nahezu das komplette Ethereum-Tooling. Ein einst zentraler Vorteil der Optimistic Rollups ist damit weitgehend nivelliert.
- Liveness-Risiko: ZkEVM-Systeme können zum Stillstand kommen, wenn der Prover ausfällt. Optimistic Rollups laufen weiter, solange der Sequencer online ist.
Kein Ansatz ist allen überlegen. Hochfrequent genutzte Anwendungen, die vor allem auf minimale Kosten achten und den längeren Auszahlungszeitraum verkraften, tendieren zu Optimistic Rollups. Anwendungen, die schnelle Finalität, sauberes Cross-Chain-Settlement oder mathematisch beweisbare Korrektheit benötigen, sind mit ZkEVM besser bedient.
Auch interessant: CoreWeave-Aktie springt um 11 %, Q2-Umsatz verdoppelt sich dank KI-Boom
Wer heute tatsächlich von ZkEVM profitiert
ZkEVM ist keine ferne Zukunftstechnologie. Mehrere Netzwerke sind live, verwalten reale Vermögenswerte und verzeichnen zahlende Nutzer. Dennoch lohnt sich der Blick darauf, welche Akteure in der Wertschöpfungskette aktuell am stärksten profitieren.
DeFi-Protokolle, die vom Ethereum-Mainnet migrieren, profitieren von nahezu identischen Ausführungseigenschaften (Typ 2/3) bei deutlich niedrigeren Gas-Kosten. Ein Protokoll, das Kleinanleger auf dem Mainnet mit 30 US-Dollar Gas-Gebühr pro Swap faktisch ausschließt, kann auf einem ZkEVM-Custom-Rollup Transaktionen im Sub-Cent-Bereich anbieten – ohne seine Smart Contracts neu aufsetzen zu müssen.
Brücken und Cross-Chain-Anwendungen nutzen modulare ZkEVM-Architekturen, die Beweise auf mehrere Chains ausrollen. Anstelle einer Multisig-Bridge – historisch die am häufigsten gehackte Kategorie im Kryptomarkt – tritt ein mathematischer Beweis, der on-chain verifiziert wird.
Unternehmen und Institutionen, die permissioned oder semi-permissioned Lösungen entwickeln, erhalten eine etablierte Ausführungsumgebung mit kryptografischer Nachvollziehbarkeit. Jeder Zustandsübergang ist beweisbar korrekt – ein entscheidender Punkt für Compliance, Revision und Rechnungslegung.
Entwickler, die heute neu starten, sollten den Trade-off zwischen Typ 4 und Typ 2 verstehen, bevor sie ein Netzwerk wählen. Wer frischen Solidity-Code schreibt und maximale Beweisgeschwindigkeit sowie minimalste Gebühren anstrebt, ist möglicherweise mit einem Typ-4-Netzwerk besser beraten. Wer ein bestehendes Protokoll migriert und sich keine Verhaltensabweichungen leisten kann, fährt mit einem Typ-2- oder Typ-3-Netzwerk sicherer.
Für Endnutzer präsentiert sich ZkEVM im Wesentlichen als günstige, schnelle, Ethereum-kompatible Chain: Die bestehenden Wallets funktionieren, bekannte Tokens lassen sich einfach bridgen. Die komplexe Kryptografie im Untergrund bleibt unsichtbar – genau so, wie gute Infrastruktur wahrgenommen werden sollte.
Auch interessant: Monad erreicht Rekord-TVL von 868 Mio. US-Dollar, Nachfrage nach MON bleibt jedoch verhalten
Fazit
ZkEVM ist eines der schwierigsten Konvergenzprobleme der angewandten Kryptografie – eine virtuelle Maschine ohne inhärente mathematische Struktur so umzubauen, dass sie in der Sprache von Zero-Knowledge-Beweisen „denkt“.
Die Teams, die das gelöst haben, kämpften sich über Jahre durch Inkompatibilitäten bei Hashfunktionen, explodierende Constraints und Prover-Hardware, die teils noch gar nicht existierte, als die Grundlagenpapiere veröffentlicht wurden.
Das Feld entwickelt sich rasant weiter. Beweiszeiten schrumpfen. Dezentralisierte Prover-Netzwerke gehen live. Vollständige Ethereum-Äquivalenz vom Typ 1 bleibt ein erklärtes Ziel, dem mehrere Teams inzwischen deutlich näherkommen.
Für alle, die auf Ethereum aufbauen oder in das Ökosystem investieren, ist ein echtes Verständnis der Funktionsweise von ZkEVM – jenseits der Marketing-Buzzwords – die Basis jeder strategischen Entscheidung.
Weiterlesen: Nvidias 500-Milliarden-Dollar-AI-Finanzierungsschub rückt Crypto-Compute-Token in den Fokus
