氮氣

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 結算能力接入節點配置，供各鏈按需啟用。