分享百科

OP Stack

该视频的核心内容是关于如何利用 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 的复杂性,并为希望尝试这种方法的开发者提供了宝贵的见解和指导。
6
0
0
9小时前
**大纲** 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
938
0
0
2024-03-15 10:31
登链社区