Arbitrum 推进 ZK 结算，L1 提款有望从数天缩短至数小时

ChainCatcher 消息，Arbitrum 开发团队表示，正在将零知识（ZK）证明引入 Arbitrum 平台，以实现多证明结算模型。通过 ZK 证明，Arbitrum 区块向以太坊 L1 的结算时间有望从数天缩短至数小时，在提升用户、跨链桥与协议资本效率的同时，借助多证明机制维持安全性。相关能力面向 Arbitrum One 及基于 Arbitrum 平台的专用链，Offchain 后续将向 DAO 提交升级提案。

目前进展包括：可在 SP1 zkVM 中运行与乐观执行相同的状态转换函数，对真实主网区块生成 ZK 证明；Stylus 的 WASM 合约可与 Solidity 合约一并被证明；团队推出独立 Rust 验证器，使 ZK 证明成为与标准验证并列的一等模式；BoLD 结算协议已支持接受 ZK 证明并由快速确认委员会背书，原有争议游戏仍作为回退路径，形成 ZK 证明、证明委员会与欺诈证明协同的多证明架构。

团队称正持续压降证明成本，并将相关代码逐步并入 Nitro 主生产路径。下一步重点包括进一步优化证明与转向基于 Reth 的执行、完成 L1 消息收件箱证明，以及把 ZK 结算能力接入节点配置，供各链按需启用。