Rollup是一种实现以太坊计算扩容的技术，其核心思想是将交易执行外包给Rollup，并将交易和执行后的状态存储在以太坊合约内。根据技术路线的不同，演变出了两种类型的Rollup：
- 乐观 Rollup：这种类型认为提交到以太坊的Rollup交易和对应的状态都是正确的，但存在7天的挑战期，任何人都可以在此期间发现不正确的交易对应状态并提出挑战。
- 零知识 Rollup：为Rollup交易和状态提供有效性证明，时间取决于有效性证明提交到以太坊并通过验证的时间。
零知识 Rollup和乐观 Rollup最大的区别在于达成finality的时间。接下来我们将以一个简单的交易确认流程来了解Polygon zkEVM的工作原理，分为三个步骤：
1. Sequencer将多个用户交易打包成Batch并提交到L1的合约上； 2. Prover为每笔交易生成有效性证明，并将多个交易的有效性证明聚合成一个有效性证明； 3. Aggregator将聚合多个交易的有效性证明提交到L1的合约中。
