ZkEVM Cracks Code on Zero-Knowledge Proofs for Smart Contracts

The long-standing challenge of running Ethereum's smart contracts with zero-knowledge proofs has finally been addressed by engineers who have developed ZkEVM, a virtual machine that executes Ethereum-compatible smart contracts and generates a zero-knowledge proof that the execution was correct.

This achievement is significant because it enables fast and cheap transaction settlement on the Ethereum mainnet without requiring developers to rewrite a single line of code. The tradeoff between building a ZkEVM that is easy to build but incompatible with existing tooling, or one that is compatible but hard to build, has been collapsed.

The development of ZkEVM is based on the concept of zero-knowledge proofs, which allow one party to convince another party that a statement is true without revealing any underlying data. In this case, the statement being proved is computational: 'I ran this program on this input and got this output, and I did it correctly.'

The proof generation process involves complex arithmetic constraints, particularly for opcodes like KECCAK256, which involve bitwise operations that are unfriendly to ZK circuits. The EVM incompatibility problem was a significant challenge that stumped the entire industry for half a decade.