zkEVM

A zero-knowledge Ethereum Virtual Machine. Executes EVM-compatible smart contracts and produces cryptographic proofs of correctness. Powers ZK rollups like zkSync and Scroll. The cryptographic proofs allow near-instant finality on Layer 1 without the 7-day fraud-proof window of optimistic rollups, at the cost of higher computational complexity in proof generation.