Type-2 ZK-EVM

Architecture

Type-2 ZK-EVMs represent a specific instantiation of zero-knowledge Ethereum Virtual Machines, distinguished by their execution and proving environment separation. This architectural divergence allows for EVM-equivalence without necessitating the complete on-chain execution of every computation, enhancing scalability. Consequently, these systems leverage off-chain computation for transaction processing, generating succinct validity proofs subsequently verified on the Ethereum mainnet. The design prioritizes compatibility with existing Ethereum tooling and smart contracts, facilitating a smoother transition for developers and minimizing fragmentation within the ecosystem.