Glossary
zkEVM
Eine Zero-Knowledge-Virtual-Machine, die Ethereum-Bytecode ausführt und einen Validitätsbeweis erzeugt, sodass ein ZK-Rollup bestehende EVM-Contracts ausführt und jeden Zustandsübergang beweist.
Eine zkEVM ist eine Virtual Machine, die die EVM-Ausführung von Ethereum in einer Zero-Knowledge-Schaltung ausführt und einen kompakten Beweis liefert, dass ein Batch von Transaktionen korrekt ausgeführt wurde. So erbt ein ZK-Rollup das Ethereum-Toolchain — Solidity-Contracts, Wallets und Infrastruktur — während es mit Validitätsbeweisen statt eines optimistischen Challenge-Fensters auf der L1 abrechnet.
zkEVMs werden danach eingestuft, wie genau sie Ethereum nachbilden. Typ 1 ist vollständig konsens-äquivalent, Typ 2 entspricht der EVM, ändert aber interne State-Details, und die Typen 3 und 4 tauschen etwas Äquivalenz gegen schnelleres, günstigeres Proving. Designs mit höherer Treue sind das schwierigere Problem, vermeiden aber subtile Contract-Inkompatibilitäten.