zkEVM

A zero-knowledge proving system capable of proving correct execution of EVM bytecode, allowing existing Ethereum contracts to run on a ZK rollup.