为什么说第二代Optimistic Rollup是Layer2的未来？
原文：《Foresight Ventures: 第二代 Optimistic Rollup》
撰文：msfew@Foresight Ventures
最近 zkEVM Rollup 以及整个 ZK 生态的热度确实非常高 (Devcon Bogota 基本是 ZK + MEV + 其他 ), 以至于大多数以太坊研究者或多或少忽视了 Optimistic Rollup 的发展, 以及在第二代中这些有趣的设计细节。
为什么还需要看 Optimistic Rollup?
a) OP 还是 ZK？
尽管 Vitalik 早在几年前就认定了 zkEVM Rollup 是未来, 同时各家 zkEVM (Scroll, zkSync, Hermez, Consensys) 也如雨后春笋一般冒出来, 但 Optimistic Rollup 仍是目前 Rollup 生态的绝对主力, 拥有 80% Layer2 的市场占有率以及前十 Layer2 方案的半壁江山。
zkEVM Rollup 的终局性扩容方案的存在，会让 Optimistic Rollup 完全被淘汰吗？
Optimistic Rollup 和 zkEVM Rollup 并非水火不容的存在, 而是在长期内 ( 甚至永久性的时间内 ) 会是互补的方案。
对于 App-rollup 来说, Optimistic 机制在开发与部署上仍然是最简洁易用的方案。
b) OP 和 ZK 未成熟
Optimistic Rollup 的开发进度领先 zkEVM Rollup 两年左右。但我们 Optimistic Rollup 的标杆 Arbitrum 与 Optimism 都没有在主网完全上线开放的正式版 Fraud Proof。
据 Vitalik 所说, 以太坊基金会 PSE 的 zkEVM 电路有 34469 行代码。这庞大的代码量需要非常漫长的开发和持续的测试来进行打磨。我们在几年内都无法完全依赖 ZK 系统所带来的安全性。
c) OP + ZK
早在半年以前，Optimism 的 Kelvin 就开始在推特上频繁地讨论 Optimism 结合 zkVM 的可行性。
他说 Optimism 的 Bedrock 不会只是 Optimistic Rollup 的客户端, 而是 Rollup 客户端。为了完全保证 Rollup 的整体安全性, 客户端 ( 或许和 Arbitrum 最近的收购有关系?) 与证明的多样性 (Validity Proof 与 Fraud Proof) 才是 Rollup 真正的未来。
Vitalik 则完善了 Kelvin 的方案, 认为可以通过 (OP + ZK) + Governance 的 2 + 1 组合来实现可靠的 Rollup。
在 zkEVM 完全稳定和成熟前, 工作流程如下:
发布区块
等待 24 小时
a) 如果期间没有欺诈挑战, 发布 ZKP, 完全 Finalize 区块。b) 如果有挑战, 则引入 Governance 通过 2 of 3 的模型来裁定最终结果。
在 zkEVM 稳定与成熟后:
发布区块
定期发布 ZKP。
a) 如果 ZKP 在指定期间正常发布, 则依其为准。b) 如果 ZKP 并未在期间正常发布 (Prover failure 或有 bug), 则先引入 Optimistic 机制, 直到 ZK 机制恢复。
这两种方案都需要 Optimistic 机制的存在, 从而保证整个 Rollup 系统的 liveness 和 safety。
因此 Optimistic 机制的发展仍然是 Rollup 宇宙版图中的重头戏。