Arbitrum拟引入ZK证明，将以太坊结算时间压缩至数小时

ChainCatcher 消息，Arbitrum 开发团队表示，正在将零知识（ZK）证明引入 Arbitrum 平台，以实现多证明结算模型。

团队称，通过 ZK 证明，Arbitrum 区块向以太坊 L1 的结算时间有望从数天缩短至数小时。这一调整面向提升用户、跨链桥与协议的资本效率，同时借助多证明机制维持安全性。

相关能力将覆盖 Arbitrum One 及基于 Arbitrum 平台的专用链，Offchain 后续将向 DAO 提交升级提案。

当前开发进展

按照团队披露的内容，目前已可在 SP1 zkVM 中运行与乐观执行相同的状态转换函数，并对真实主网区块生成 ZK 证明。

在合约支持方面，Stylus 的 WASM 合约已可与 Solidity 合约一并被证明。团队还推出了独立 Rust 验证器，使 ZK 证明成为与标准验证并列的一等模式。

多证明结算架构

Arbitrum 团队表示，BoLD 结算协议已支持接受 ZK 证明，并由快速确认委员会背书。原有争议游戏仍作为回退路径，形成由 ZK 证明、证明委员会与欺诈证明协同工作的多证明架构。

团队还称，正持续压降证明成本，并将相关代码逐步并入 Nitro 主生产路径。

下一步重点

后续工作将集中在进一步优化证明、转向基于 Reth 的执行、完成 L1 消息收件箱证明，以及把 ZK 结算能力接入节点配置，供各链按需启用。