OP Stack

在 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 的复杂性，并为希望尝试这种方法的开发者提供了宝贵的见解和指导。

【第62期】Dive Deep into OP Stack Fault Proof

**大纲** 1. 故障证明的总体设计 2. Bisec Dispute Game 核心原理 3.故障证明模拟器Cannon+OP Program 3. 故障证明争议交互组件OP Challenger 4. 探索 Multi-sec 和 ZK 故障证明 **主讲人** Po - EthStorage ZK Researcher [网站：ethstorage](https://ethstorage.io/) >分享时间：2024-03-13