Arbitrum 借助 ZK 證明將 L1 提款時間從 7 天縮短至數小時

Arbitrum 正在將零知識證明整合進其結算層，將 L1 提款時間從七天縮短至數小時。

Arbitrum 宣布在將零知識證明整合進 BoLD 結算協議方面取得進展，將 L1 提款時間從七天縮短至數小時。

該公告由 Offchain Labs 研究員 Daniel Lumi 發布，Offchain Labs 是 Arbitrum 生態系背後的核心開發團隊。

此次更新詳述了六項技術里程碑。網路區塊現在可透過 Succinct 開發的 zkVM——SP1——以 ZK 方式進行證明，執行與目前樂觀證明器相同的狀態轉換函數。在擴展後的方案下，只要提交有效的 ZK 證明並獲得新的快速確認委員會（Fast Confirmation Committee）背書，即可確認一項斷言，無須等待完整的挑戰期。BoLD 的爭議遊戲仍作為後備層保持運作——若無 ZK 證明送達，鏈將按照與現行完全相同的機制結算。ZK 證明、認證與詐欺證明在單一機制下協同運作。

Offchain Labs 將向 Arbitrum DAO 提交一項議案，在新方案下升級 Arbitrum One。此舉是 2026 年初公布的路線圖的一部分，旨在將該平台打造為可程式化經濟中金融產品的參考基礎設施。

ZK 覆蓋範圍延伸至 Stylus 合約

證明器現在涵蓋 Stylus 合約，這項功能擴展了 EVM，支援 Rust、C/C++、Move 及其他可編譯為 WASM 的語言。Arbitrum 自詡為首個讓 EVM 與 WASM 合約均可透過 ZK 執行的生產級技術堆疊。

網路驗證器已重構為以 Rust 撰寫的獨立服務，移除了先前包覆其上的 Go 層。這使得標準驗證與證明生成可共用單一介面。與此同時，ZK 程式碼正從實驗分支遷移至 Arbitrum Nitro 主程式碼庫。

多證明架構代表了樂觀卷軸（optimistic rollup）向以太坊結算方式的結構性轉變。Arbitrum 不再僅依賴具七天爭議期的詐欺證明，而是在其上疊加 ZK 證明，為用戶提供更快的最終確認路徑，同時保留 BoLD 挑戰遊戲既有的安全保證。

後續步驟與競爭壓力

後續步驟包括透過基於 Reth 的執行降低成本和延遲、證明 L1 訊息收件匣以確保端對端可驗證性，以及在節點中將 ZK 結算配置設定為原生選項。

此次升級使 Arbitrum 在提款效率上相較以太坊上其他仍依賴七天挑戰期的樂觀卷軸具備顯著優勢。Optimism 與 Base 等協議可能面臨加速自身證明技術路線圖的壓力。就 ARB 代幣持有者而言，此技術里程碑強化了 Arbitrum 作為機構級基礎設施的說服力——隨著可程式化經濟擴展，尤其是金融產品日益需要近乎即時的結算最終性。

本文僅供參考，不構成投資建議。