方案权衡

PropertyOptimistic rollupsZK rollups

~1 week(提款需要留出时间提交欺诈性证明,以便取消有问题的提款)

Very Fast(等待下一次 batch 提交即可。译者注:可以理解为下一个区块就能完成该操作)

Low

High(ZK-SNARKs 是一种非常新颖的技术,而且具有一定数学复杂度)

Easier(通用的 EVM rollups 即将准备上主网了)

Harder(使用 ZK-SNARK 证明「通用的 EVM 执行」要比「简单的计算」难得多,尽管目前有方案 (例如 Cairo) 努力改善这一点)

~40,000 (轻量级的交易:主要更新 state root)

~500,000 (验证 ZK-SNARK 所需计算量较大)

Higher

Lower(如果交易中的数据仅用于验证而更新状态,那么该数据可以省略。而在 Optimistic rollup 中,由于需要通过欺诈性证明进行检查,则不得不提交这些数据)

Lower(尽管需要许多全节点重新执行计算)

Higher(专门针对通用计算的 ZK-SNARK 证明会很昂贵,相比直接执行计算要贵数千倍)