Zircuit: Challenges of Building an EVM Equivalent ZK Rollup on the OP-Stack | Jan Gorzny - Zircuit

Wed, Oct 2, 2024, 12:00 AM

In this talk, we’ll explore the challenges of bringing zero-knowledge proofs as a finality mechanism to the OP Stack. This entirely removes the need for fraud proofs as blocks are equipped with validity proofs. Unfortunately, the OP stack currently changes some EVM semantics and that changes how the circuits for a block prover would need to be constructed. As an example, the deposit transactions introduced by the OP stack don’t have valid signatures -- so the circuits from the PSE for validating blocks that include them don’t work out of the box. These OP stack changes, along with other design decisions of the stack, add challenges to building an EVM equivalent ZK rollup using the stack. We explore these challenges and explain how we overcame them in Zircuit.