在 OP-Stack 上构建 EVM 等效 ZK Rollup 的挑战

该视频的核心内容是关于如何利用 Optimism (OP) Stack 来构建一个零知识证明 Rollup (ZK Rollup)，并分享了在这个过程中遇到的各种挑战。视频的主要观点是，OP Stack 是一个很好的起点，但要成功构建 ZK Rollup，需要进行大量的修改和研究。

视频中提出的关键论据和信息包括：

• OP Stack 的优势： OP Stack 提供了一个优秀的框架，包括 sequencer, batcher, 智能合约, bridge 和 L2 geth，可以作为构建 Rollup 的起点。
• OP Stack 的挑战：
  • Sequencer 的特权： Sequencer 可以注入交易，这与 ZK Rollup 的零信任原则相悖，需要修改电路以验证交易的有效性。
  • 服务集成： Batcher 和数据可用性 (DA) 层与 ZK 电路没有直接联系，需要进行适配。
  • 智能合约的模块化： 智能合约（如 Bridge）的模块化程度不够，修改起来比较困难。例如，Optimistic Rollup 的提款需要等待七天，而 ZK Rollup 不需要，需要修改 Bridge 合约。
  • Geth 的修改： 需要修改 Geth 以支持 ZK Rollup 的特性，但 OP Stack 中的 Geth 同时用于 L1 通信和 L2 状态管理，这使得升级变得复杂。
  • Deposit 交易： Deposit 交易在 L1 上支付，但在 L2 上没有直接支付，需要修改电路以处理这种情况。
  • 系统交易： 系统交易频繁地将 L1 的信息写入 L2 的智能合约，增加了运营成本，需要考虑替代设计。
• ZK 电路的挑战：
  • 缺少预编译： 现有的 ZK 电路可能缺少预编译，需要自行实现。
  • 数据一致性： 需要确保多个 ZK 电路使用相同输入，以保证数据一致性。
• 其他挑战：
  • 基础设施： 需要搭建基础设施来协调区块链、证明生成和状态提议。
  • 测试： ZK 电路的测试非常耗时，需要采用高级测试技术。
  • 文档： OP Stack 的文档可能存在过时或缺失的情况。
  • Web 2.0 组件： 需要开发 Web 2.0 组件，如用户界面和区块浏览器。
  • 运营： 需要部署和维护各种服务，以确保链的稳定运行。

总而言之，该视频强调了利用 OP Stack 构建 ZK Rollup 的复杂性，并为希望尝试这种方法的开发者提供了宝贵的见解和指导。