Glossary
zkEVM
Une machine virtuelle à divulgation nulle qui exécute le bytecode Ethereum et produit une preuve de validité, laissant un ZK rollup exécuter des contrats EVM et prouver chaque transition d'état.
Une zkEVM est une machine virtuelle qui exécute l'exécution EVM d'Ethereum à l'intérieur d'un circuit à divulgation nulle, émettant une preuve succincte qu'un lot de transactions a été exécuté correctement. Cela permet à un ZK rollup d'hériter de l'outillage d'Ethereum — contrats Solidity, wallets et infrastructure — tout en réglant sur la L1 avec des preuves de validité plutôt qu'une fenêtre de contestation optimiste.
Les zkEVM sont classées selon leur fidélité à Ethereum. Le Type 1 est pleinement équivalent au consensus, le Type 2 correspond à l'EVM mais modifie l'état interne, et les Types 3 et 4 échangent une part d'équivalence contre un proving plus rapide et moins coûteux. Les conceptions les plus fidèles sont le défi d'ingénierie le plus ardu, mais évitent de subtiles incompatibilités de contrats.