Die virtuelle Maschine von Ethereum (ETH) 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 datensparsam zu verifizieren, ohne auch nur zu „wissen“, was ein Opcode ist.
Lange Zeit galten beide Welten als grundsätzlich unvereinbar.
Dann gelang Ingenieuren eine Art Fusion – entstanden ist eines der technisch anspruchsvollsten Infrastruktursysteme 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 ZK-Proofs zu beweisen, dass jede Instruktion korrekt abgearbeitet wurde – ohne dass Entwickler ihren bestehenden Code anpassen müssen.
Auf dem Papier klingt das simpel. In der Praxis bedeutete es, Probleme zu lösen, an denen sich die Branche ein halbes Jahrzehnt die Zähne ausgebissen hat.
TL;DR
- Eine ZkEVM führt Ethereum-kompatible Smart Contracts aus und erzeugt einen Zero-Knowledge-Proof für deren korrekte Ausführung. So lassen sich Transaktionen schnell und günstig auf der Ethereum-Mainchain final abwickeln.
- Je näher eine ZkEVM an der bestehenden Ethereum-Toolchain bleibt, desto aufwendiger ist sie zu bauen – dieser Zielkonflikt bestimmt praktisch jede Designentscheidung.
- Nutzer profitieren von Ethereums Sicherheitsniveau, ohne Mainnet-Gaspreise zahlen zu müssen. Entwickler können bestehende Solidity-Verträge weitgehend unverändert deployen.
Was Zero-Knowledge-Proofs tatsächlich leisten
Bevor man die EVM-Seite versteht, braucht man ein klares Bild davon, was ein Zero-Knowledge-Proof ist – und was nicht. Ein ZK-Proof ist ein kryptografisches Verfahren, mit dem eine Partei (der Prover) einer anderen (dem Verifier) beweist, dass eine Aussage wahr ist, ohne die zugrundeliegenden Daten offenzulegen.
Das Standardbeispiel: Man weist nach, dass man ein Passwort kennt, ohne es zu verraten. In Blockchain-Systemen ist die Aussage fast immer rechnerischer Natur: „Ich habe dieses Programm mit diesen Eingaben ausgeführt, dieses Ergebnis erhalten – und die Berechnung korrekt durchgeführt.“
Der Verifier – im Rollup-Kontext meist ein Ethereum-Smart-Contract auf Layer 1 – prüft den Beweis in Millisekunden, statt alle Transaktionen selbst erneut abzuspulen.
Zero-Knowledge-Proofs ermöglichen es einem Layer-2-Netzwerk, Tausende Transaktionen zu bündeln, einen einzigen kompakten Beweis für deren Gültigkeit zu erstellen und nur diesen Beweis auf Ethereum zu veröffentlichen. Das drückt die Kosten pro Nutzer drastisch.
In der ZkEVM-Landschaft dominieren zwei Beweissysteme. SNARKs (Succinct Non-interactive ARguments of Knowledge) erzeugen extrem kleine Proofs, die sich schnell verifizieren lassen, erfordern aber ein „Trusted Setup“. STARKs (Scalable Transparent ARguments of Knowledge) kommen ohne vertrauenswürdige Initialzeremonie aus und gelten als quantenresistent, produzieren dafür deutlich größere Beweise. Die meisten ZkEVM-Teams setzen derzeit auf SNARK-basierte Systeme, weil die Verifizierungskosten auf der Ethereum-Mainchain ein harter Engpass sind.
Auch interessant: Trump Media Scraps $6.42B Cronos Treasury Deal With Crypto.com
Warum sich die EVM so schwer beweisen lässt
Die Ethereum Virtual Machine ist eine stackbasierte Ausführungsumgebung mit mehr als 140 Opcodes, einem feingranularen Gas-System, komplexem Speichermodell und zahlreichen Sonderfällen aus zehn Jahren Produktionseinsatz. Jeder einzelne Opcode – vom simplen ADD bis hin zu kryptografischen Precompiles wie ECRECOVER – muss sich in eine arithmetische Nebenbedingung übersetzen lassen, damit ein ZK-System darüber „nachdenken“ kann.
Das Problem: ZK-Proof-Systeme sprechen eine extrem enge mathematische Sprache. Sie arbeiten nativ über endlichen Körpern und Polynomgleichungen. Die EVM wurde ohne jeden Blick auf diese Anforderungen entworfen. Opcodes wie KECCAK256, Ethereums Hashfunktion, sind nahezu maximal ZK-unfreundlich, weil sie bitweise Operationen enthalten, die sich nur über riesige, teure Constraint-Systeme abbilden lassen.
Aus dieser Diskrepanz entstand das sogenannte „EVM-Inkompatibilitätsproblem“. Man konnte zwar ZK-Rollups bauen, die schnell und günstig waren – dafür mussten die Programme aber eigens für ZK-freundliche Umgebungen geschrieben werden. Wollte man dagegen die volle EVM unterstützen, explodierten die Beweiskosten und -zeiten, sodass der Skalierungsvorteil verpuffte. Die Ingenieursleistung hinter ZkEVM besteht darin, genau diesen Zielkonflikt einzudampfen.
Allein für den ZK-Beweis eines einzigen KECCAK256-Hashes können Millionen arithmetischer Constraints erforderlich sein. Ein typischer Ethereum-Block enthält Tausende solcher Hashes – deshalb brauchten frühe ZkEVM-Implementierungen Stunden für die Beweiserzeugung und setzen bis heute auf spezialisierte Hardware.
Auch interessant: Arthur Hayes Sees Bitcoin Rally If Fed Opens Japan’s $1.373 Trillion Treasury Pool
Die vier ZkEVM-Typen – und was sie bedeuten
ZkEVM ist nicht gleich ZkEVM. Ethereum-Mitgründer Vitalik Buterin hat 2022 eine mittlerweile vielzitierte Klassifikation vorgestellt, die Implementierungen in vier Typen einteilt – je nachdem, wie kompatibel sie mit dem bestehenden Ethereum-Stack sind. Wer ein ZkEVM-Projekt einordnen will, kommt an dieser Taxonomie kaum vorbei.
Typ 1 ist vollständig Ethereum-äquivalent. Er beweist die exakte Ethereum-State-Transition, Blockstruktur, Hashfunktionen – alles – ohne jede Modifikation. Bestehende Ethereum-Clients können solche Systeme nativ synchronisieren, sämtliche Tools funktionieren unverändert. Der Preis: Beweiserzeugung wird extrem langsam und teuer. Kein produktives ZkEVM-Rollup operiert heute auf Typ-1-Niveau, einige Teams arbeiten aber darauf hin.
Typ 2 ist EVM-äquivalent. Interne Datenstrukturen dürfen sich ändern – etwa die Ersetzung von KECCAK durch eine ZK-freundlichere Hashfunktion im State-Trie – doch die EVM-Bytecode-Kompatibilität bleibt vollständig erhalten. Smart Contracts verhalten sich identisch, Entwickler bemerken den Unterschied nicht. Die Beweiserzeugung ist schneller als bei Typ 1, bleibt aber aufwendig. Scroll und frühe Versionen von Polygon zkEVM zielen auf diesen Bereich.
Typ 3 nimmt zusätzliche Anpassungen vor, die einige wenige Edge-Case-Features brechen, etwa bestimmte Precompiles. Nahezu alle bestehenden Contracts laufen dennoch weiter. Die Beweiskosten sinken spürbar. Die meisten kommerziell gestarteten ZkEVMs der Jahre 2023–2024 bewegten sich in ihren ersten Releases zwischen Typ 2 und Typ 3.
Typ 4 setzt nicht beim EVM-Bytecode an, sondern kompiliert Solidity- oder Vyper-Quellcode in eine ZK-freundliche, eigene virtuelle Maschine. Das ist am schnellsten und günstigsten, kann aber subtile Verhaltensunterschiede erzeugen; manche Low-Level-EVM-Tricks funktionieren nicht mehr. zkSync Era verfolgt diesen Ansatz mit einem eigenen LLVM-basierten Compiler.
Für Builder ist diese Einteilung entscheidend. Wer ein etabliertes DeFi-Protokoll von der Ethereum-Mainchain migrieren will, wird eher Typ 2 oder Typ 3 wählen, um Verhaltensgleichheit sicherzustellen. Neue Projekte hingegen können sich bewusst für Typ 4 entscheiden, wenn geringere Beweiskosten und schnellere Finalität im Vordergrund stehen.
Also lesen: Anthropic Locks Up 191 Megawatts Of Texas Power From A Bitcoin Miner
Wie eine ZkEVM eine Transaktion tatsächlich abwickelt
Ein kompletter Durchlauf einer Transaktion macht die Architektur greifbar. Reicht ein Nutzer eine Transaktion bei einem ZkEVM-Netzwerk ein, läuft vereinfacht Folgendes ab:
Zunächst erreicht die Transaktion den Sequencer – einen Knoten, 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 sofortige „Soft Confirmation“. Im Wallet ist die Saldenänderung sichtbar, kryptografisch auf Ethereum final ist sie zu diesem Zeitpunkt aber noch nicht.
Anschließend wandert der Batch zum Prover, einer spezialisierten Software (oder Hardware), die den ZK-Algorithmus ausführt. Der Prover nimmt den Zustand vor der Ausführung, alle Transaktionen sowie den resultierenden Zustand und generiert einen Gültigkeitsbeweis, dass der State-Übergang korrekt berechnet wurde. Dieser Schritt ist rechenintensiv und benötigt – je nach System – Sekunden bis Minuten.
Im dritten Schritt werden der Proof und eine stark komprimierte Transaktionsrepräsentation an einen Ethereum-Smart-Contract übergeben – den Verifier-Contract.
Dieser Contract prüft den Beweis in einem einzigen On-Chain-Call. Die Gas-Kosten bleiben dabei weitgehend fix – unabhängig davon, wie viele Transaktionen im Batch stecken. Ist der Proof gültig, wird die neue Layer-2-State-Root auf Ethereum finalisiert und gilt als genauso sicher wie jede andere Mainnet-Transaktion.
Auch interessant: XRP ETF Appears In National Bank Of Canada’s $111K Crypto Fund Disclosure
Modulare ZkEVMs und kettenübergreifende Interoperabilität
Klassische ZkEVM-Designs unterstellen eine einzige Settlement-Ebene: Ethereum. Alles wird auf Ethereum bewiesen und dort final abgerechnet. Eine neuere Architektur – die modulare ZkEVM – entkoppelt dagegen Ausführungsschicht, Beweisschicht und Settlement-Schicht, sodass sich jede Ebene separat kombinieren lässt.
Hier kommt etwa Prom ins Spiel.
Prom versteht sich als modulare ZkEVM-Layer-2, die Interoperabilität zwischen EVM- und Nicht-EVM-Chains ermöglichen will. Anstatt Ausführung nur gegenüber Ethereum zu beweisen und dort zu verwalten, übermittelt das Protokoll seine Proofs gleichzeitig an mehrere Chains – und spannt so eine mathematisch abgesicherte Brücke zwischen Ökosystemen, die bisher keine vertrauenslose Verbindung hatten.
Der modulare Ansatz ist deshalb relevant, weil er die Prämisse aufhebt, dass Ethereum die einzig sinnvolle Settlement-Ebene sei.
Ein ZkEVM-Proof ist am Ende „nur“ Mathematik. Wenn sowohl Chain A als auch Chain B einen Verifier-Contract besitzen, der diese Mathematik prüfen kann, kann ein einziger Beweis denselben State-Übergang auf beiden Chains gleichzeitig finalisieren. So werden ZK-Proofs von einem reinen Skalierungswerkzeug zu einem universellen Interoperabilitätsbaustein.
Modulare ZkEVM-Architekturen lösen die Kopplung von Ausführung und Settlement auf. 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 eigentlich inkompatiblen Ökosystemen.
Auch interessant: TRON Cleared $2.1 Trillion In USDT, But Its DeFi Pool Shrank 1,9 %
ZkEVM versus Optimistic Rollups im Direktvergleich
Der Vergleich zwischen ZkEVM- und Optimistic-Rollups taucht ständig auf – zu Recht, denn beide adressieren dasselbe Problem mit diametral entgegengesetzten Ansätzen.
Optimistic Rollups gehen standardmäßig davon aus, dass Transaktionen gültig sind, und überprüfen sie nur dann on-chain, wenn innerhalb eines fest definierten Disput-Fensters (typischerweise sieben Tage) ein Fraud-Proof eingereicht wird. Das macht sie günstiger im Betrieb und einfacher in der Entwicklung, führt aber dazu, dass Auszahlungen zurück auf das Ethereum-Mainnet rund eine Woche dauern – es sei denn, man nutzt eine Liquiditäts-Bridge. Arbitrum und Optimism dominieren heute das Feld der Optimistic-Rollup-Netzwerke.
ZkEVM-Rollups hingegen treffen keine Annahmen. Jede Batch gilt zunächst als ungültig, bis ein kryptografischer Beweis das Gegenteil zeigt. Das erhöht die Rechenlast auf der Prover-Seite, ermöglicht aber Abhebungen zum Ethereum-Mainnet innerhalb von Stunden statt Tagen – ganz ohne das Vertrauen in “ehrliche Beobachter”, die Betrug melden müssen.
Aus Nutzersicht lassen sich die Unterschiede im Kern so zusammenfassen:
- Auszahlungsgeschwindigkeit: Klare Vorteile für ZkEVM – beweisbasierte Finalität in Stunden statt sieben Tagen bei nativen Optimistic-Rollup-Auszahlungen.
- Transaktionskosten: Optimistic Rollups sind derzeit in vielen Fällen günstiger, weil die Generierung von ZK-Beweisen zusätzliche Kosten verursacht. Diese Lücke schließt sich jedoch, da Hardware und Algorithmen zur Beweiserstellung schnell effizienter werden.
- Sicherheitsmodell: ZkEVM bietet kryptografische Gültigkeitsgarantien. Optimistic Rollups setzen auf ökonomische Sicherheit über Fraud-Proofs – robust, aber nicht mathematisch gleichwertig.
- EVM-Kompatibilität: Moderne ZkEVMs (Type 2/3) haben stark aufgeholt und unterstützen mittlerweile nahezu das gesamte Ethereum-Tooling. Ein früher wesentlicher Vorteil von Optimistic Rollups schmilzt damit ab.
- Liveness-Risiko: ZkEVM-Systeme können ins Stocken geraten, wenn der Prover ausfällt. Optimistic Rollups laufen weiter, solange der Sequencer aktiv bleibt.
Eine pauschale Überlegenheit gibt es nicht. Hochvolumige Anwendungen, die primär auf niedrigste Kosten setzen und die einwöchige Auszahlungsverzögerung verkraften, tendieren zu Optimistic Rollups. Anwendungen mit Bedarf an schneller Finalität, kettenübergreifender Abwicklung oder formalem Korrektheitsnachweis orientieren sich eher an ZkEVM.
Auch interessant: CoreWeave-Aktie schießt um 11 % hoch, Q2-Umsatz verdoppelt sich dank KI-Boom
Wer heute tatsächlich von ZkEVM profitiert
ZkEVM ist längst keine Zukunftsvision mehr. Mehrere Netzwerke laufen produktiv, mit realen Werten und echten Nutzern, die Gebühren zahlen. Dennoch lohnt sich der Blick darauf, wer in der aktuellen Ausbaustufe am meisten profitiert.
DeFi-Protokolle, die von Ethereum-Mainnet migrieren, profitieren von nahezu identischen Ausführungssemantiken (Type 2/3) bei massiv reduzierten Gaskosten. Ein Protokoll, das auf dem Mainnet Kleinanleger mit Gasgebühren von 30 US‑Dollar pro Swap faktisch ausgeschlossen hat, kann auf einem ZkEVM dieselben Smart Contracts ohne Rewrite nutzen – bei Transaktionskosten im Sub-Cent-Bereich.
Bridges und Cross-Chain-Anwendungen profitieren von modularen ZkEVM-Architekturen, die Beweise auf mehreren Chains veröffentlichen. Anstatt einer Multisig-Bridge zu vertrauen – historisch gesehen die am häufigsten gehackte Kategorie im Kryptomarkt – können Nutzer sich auf mathematisch verifizierte On-Chain-Beweise stützen.
Unternehmen und institutionelle Akteure, die erlaubnisbasierte oder teil-erlaubnisbasierte Lösungen bauen, erhalten eine bewährte Ausführungsumgebung mit kryptografischer Nachvollziehbarkeit. Jeder Zustandswechsel ist formal beweisbar korrekt – ein entscheidender Punkt für Compliance, Revision und Rechnungslegung.
Entwickler, die heute neu starten, sollten den Trade-off zwischen Type 4 und Type 2 sehr genau verstehen, bevor sie sich für ein Netzwerk entscheiden. Wer frischen Solidity-Code schreibt und maximale Beweiserzeugungsgeschwindigkeit sowie niedrigste Gebühren priorisiert, ist mit einem Type‑4-Netzwerk oft besser bedient. Wer ein bestehendes Protokoll migriert und keinerlei Verhaltensabweichungen riskieren kann, sollte eher auf Type 2 oder Type 3 setzen.
Für Endnutzer präsentiert sich ZkEVM im Alltag schlicht als schnelle, günstige, Ethereum-kompatible Chain, auf der ihre gewohnten Wallets funktionieren und ihre bestehenden Tokens problemlos gebridged werden können. Die komplexe Kryptografie im Unterbau bleibt unsichtbar – genau so, wie gute Infrastruktur funktionieren soll.
Auch interessant: Monad erreicht TVL-Rekord von 868 Mio. US‑Dollar – Nachfrage nach MON bleibt verhalten
Fazit
ZkEVM ist derzeit eines der anspruchsvollsten Konvergenzprobleme in der angewandten Kryptografie: Eine virtuelle Maschine ohne inhärente mathematische Struktur muss so “gezwungen” werden, dass sie in der Sprache von Zero-Knowledge-Proofs spricht.
Die Teams hinter den führenden Implementierungen haben Jahre damit verbracht, inkompatible Hashfunktionen, explodierende Constraints und Prover-Hardware in den Griff zu bekommen, die zum Zeitpunkt der theoretischen Grundlagenarbeiten praktisch noch gar nicht existierte.
Der Bereich entwickelt sich rasant weiter. Beweiserzeugungszeiten sinken kontinuierlich. Dezentral organisierte Prover-Netzwerke gehen an den Start. Und Type‑1‑ZkEVMs mit vollständiger Ethereum-Gleichwertigkeit bleiben ein aktives Ziel, dem sich mehrere Teams sichtbar annähern.
Für alle, die im Ethereum-Ökosystem bauen oder investieren, ist ein belastbares Verständnis, wie ZkEVM tatsächlich funktioniert – jenseits der Marketingfloskeln – zur Grundvoraussetzung für fundierte Entscheidungen geworden.
Weiterlesen: Nvidias 500-Milliarden-US‑Dollar-AI-Finanzierung rückt Crypto-Compute-Token in den Fokus
