从 zkVM 到开放证明市场:RISC Zero 与 Boundless 解析(6) / BTC123 | 区块链信息行情第一站

从 zkVM 到开放证明市场:RISC Zero 与 Boundless 解析(6)

08-26 , 11:00 分享新闻

在 Steel 2.0 中,开发者可利用三大能力扩展合约设计空间:

  • 事件驱动逻辑:直接以 Event logs 为输入,避免依赖中心化 indexer;

  • 历史状态查询:访问自 Dencun 升级以来任意区块的存储槽或账户余额;

  • 跨区块计算:执行跨多个区块的运算(如移动平均、累积指标),并以单个证明提交链上。

这一设计显著降低了成本,Steel 的出现,使得原本受限于 EVM 的应用(如高频计算、状态回溯或跨区块逻辑)得以落地,并逐步成为连接链下计算与链上验证的关键桥梁。

5.3 Boundless for Rollups:ZK 驱动的 Rollup 加速方案

Boundless for Rollups 通过去中心化证明网络,为 OP Stack 等二层链提供更快、更安全的结算路径。其核心优势体现在:

  • 加速终结性:将 7 天的结算时间缩短约 3 小时(Hybrid 模式)或 <1 小时(Validity 模式);

  • 更强安全性:通过 ZK Fraud Proof 与 Validity Proof 渐进式升级,提供密码学级安全

  • 去中心化演进:依托分布式 Prover 网络与低抵押需求,快速迈向 Stage 2 去中心化;

  • 原生可扩展性:在高吞吐链上保持稳定性能与可预测成本。

OP Kailua:为 OP 链提供 ZK 升级路径

作为 Boundless for Rollups 的核心方案,OP Kailua 由 RISC Zero 推出,专为基于 Optimism 的 Rollup 设计,使团队能够在 性能与安全性 上超越传统 OP 架构。

Kailua 提供两种模式,支持渐进式升级:

  • Hybrid 模式(ZK Fraud Proof):用 ZK Fraud Proof 替代多轮交互式 Fault Proof,大幅降低争议解决复杂度和成本。证明费用由作恶方承担,最终性缩短至约 3 小时。

  • Validity 模式(ZK Validity Proof):直接转型为 ZK Rollup,利用零知识有效性证明彻底消除争议,实现 <1 小时最终性,并提供最高级别的安全性。

Kailua 支持 OP 链从乐观 → 混合 → ZK Rollup 的平滑升级,符合 Stage 2 去中心化要求,降低了升级门槛并提升高吞吐场景的经济性。在保持现有应用与工具链连续性的同时,OP 生态可逐步获得快速最终性、更低质押成本和更强安全性。Eclipse 已借助 Kailua 实现 ZK Fraud Proof,加速升级;BOB 则完成向 ZK Rollup 的转型。

5.4 The Signal:跨链互操作的 ZK 信号层

定位与机制

The Signal 是 Boundless 推出的核心应用 —— 一个开源 ZK 共识客户端。它将以太坊信标链的最终性事件压缩为单个零知识证明,任何链或合约都能直接验证该证明,从而实现无需多签或预言机的信任最小化跨链交互。其价值在于赋予以太坊最终状态「全球可读性」,为跨链流动性与逻辑交互奠定基础,并显著降低冗余计算和 Gas 成本。