zkEVM

A zero-knowledge EVM — a virtual machine that executes Ethereum-compatible smart contracts inside a ZK proof system. The classification has 'Types': Type 1 (fully Ethereum-equivalent), Type 2 (EVM-operation-equivalent), Type 3 (mostly equivalent), Type 4 (Solidity-equivalent). Production zkEVMs include zkSync Era (Type 4), Polygon zkEVM (Type 2), Scroll (Type 2), Linea (Type 2), Taiko (Type 1).