Rollup是将交易在二层批量执行后提交结果至以太坊主网的扩容技术；ZK-Rollup用零知识证明验证有效性，OP-Rollup依赖7天欺诈证明挑战机制；前者数据压缩率高、即时终局，后者需上传完整交易数据、终局延迟。
注册入口：
APP下载：
欧易OKX
注册入口：
APP下载：
火币：
注册入口：
APP下载：
一、Rollup的基本定义与作用机制
Rollup是一种将大量链上交易压缩打包后在二层执行，再将结果和必要数据提交至以太坊主网的扩容技术。它不改变L1安全性，仅转移计算与状态存储压力。
1、交易在L2链上批量执行，生成状态根与交易数据摘要；
2、压缩后的数据连同状态根被发布到以太坊主网；
3、主网合约负责存储数据并验证其有效性或可挑战性。
二、ZK-Rollup的核心验证逻辑
ZK-Rollup依赖零知识证明（zk-SNARKs或STARKs）在提交前完成全部交易有效性验证，确保每批次状态变更数学上可证为真，无需信任排序器。
1、L2节点对一批交易执行计算，构建Merkle状态树；
2、生成对应的状态跃迁零知识证明；
3、将压缩状态根与zk证明一同发布至L1合约；
4、L1合约仅需验证证明有效性，无需重放交易。
三、OP-Rollup的欺诈证明机制
OP-Rollup默认接受L2提交的数据为正确，设置7天挑战窗口期，仅当有验证者提交有效欺诈证明时才回滚错误状态，否则自动确认。
1、排序器将交易批次与状态根提交至L1，同时质押保证金；
2、任何观察者可在挑战期内调用L1合约发起欺诈验证；
3、验证过程触发L1上部分或全部交易重放；
4、若证明成功，错误方质押金被罚没，状态回退。
四、数据可用性处理差异
OP-Rollup必须将完整交易数据（含签名）上传至L1，以支撑潜在的欺诈验证；ZK-Rollup可大幅压缩数据，仅保留状态根与证明，降低DA成本。
1、OP方案上传原始交易列表，体积大、L1存储开销高；
2、ZK方案剔除签名等冗余字段，仅上传最终账户余额与合约状态差值；
3、StarkNet采用STARK证明，数据压缩率高于zkSync使用的SNARK；
4、EIP-4844实施后，两者DA费用差距进一步收窄。
五、安全模型与最终确定性对比
ZK-Rollup具备即时最终确定性，证明通过即不可逆；OP-Rollup依赖挑战期结束，提款需等待至少7天，期间资金处于冻结状态。
1、zkSync通常在10分钟内完成L1确认；
2、Arbitrum Nitro将挑战期缩短至约1天，但仍未消除延迟；
3、Optimism使用单轮欺诈证明，验证耗时短但Gas消耗高；
4、ZK方案继承L1全部安全假设，无额外信任依赖。
