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 finality on Layer 1 once a proof is verified, without the 7-day fraud-proof window of optimistic rollups, though the delay depends on how often proofs are posted, at the cost of higher computational complexity in proof generation.