Rollup不是简单把交易搬到另一台服务器,而是把执行、数据发布和结算责任拆分,使主链可以以批次方式保障二层状态。

它默认排序器提交的状态是正确的,并留出挑战窗口。如果监控者发现错误,可提交故障证明,由主链重新判定有争议的执行。
安全性依赖交易数据可获取、至少有一个诚实参与者能在窗口内挑战,以及故障证明系统正确。
它为一批交易生成简短的密码学有效性证明,主链只需验证证明,就能确认新状态符合约定计算。它无需等待欺诈挑战才获得协议层结算,但证明电路、生成器和升级流程本身需要严格审核。
Optimistic方案的原生提款需要等待挑战窗口结束,快速提款通常由流动性提供者垫付;ZK方案在证明被主链验证后即可结算,实际速度仍受批次频率和证明生成时间影响。
不能只看TPS和平均费用。还应检查交易数据发布位置、强制包含与强制退出机制、排序器停机时的表现、证明是否完整上线,以及升级密钥和延时执行。
Optimistic用“可挑战的默认正确”结算,ZK用“先证明再接受”结算。两者都可分摊主链成本,真正的比较应围绕安全假设、去中心化阶段和退出能力。