Introduction
There have been a number of approaches to designing ZK-Rollups. Examples include:
- Starkware using the validity proof optimized language Cairo
- zkSync designing their rollup to be EVM-compatible at the language level
- Scroll and Hermez designing their rollups to integrate the EVM at the bytecode level
This report seeks to provide a better understanding of the significance of the EVM integration into a ZK-Rollup and a general overview of various ZK-Rollup models.
What is the EVM and why is it important?
The Ethereum Foundation: “The EVM is what defines the rules for computing a new valid state from block to block.” It enables permissionless participation and the execution of code in a...