Introduction
ZK-Rollups aim to increase Ethereum's scalability by processing transactions off-chain and then verifying them in batches on-chain using Zero-Knowledge Proofs (ZKPs). A key goal over the past years has been to develop zkEVMs, a ZK-Rollup that is equivalent/compatible with the Ethereum Virtual Machine (EVM).
ZkEVMs exist on a spectrum. On the one end, there are Type 1 byte-compatible zkEVMs that have fewer obstacles for Ethereum native developers but come with longer verification times. On the other end of the spectrum, there are Type 4 language-compatible zkEVMs that are more efficient in proving but require more changes in the development process. Slower proof generation time means that while the end user may see their...