Arbitrum(ARB)正在推動一項升級,計畫在結算架構中導入零知識證明(ZK),藉此縮短資產從Layer2出金至以太幣(ETH)主網(L1)所需的等待時間。
Arbitrum開發團隊表示,目前正針對Arbitrum One與基於Arbitrum打造的專屬鏈(Arbitrum Orbit chain),開發一套結合ZK證明的多重證明結算模型。若要將此功能導入Arbitrum One,開發公司Offchain Labs需先向DAO提交升級提案,經社群審議通過後才能正式上線。
此次升級的核心,是在既有樂觀式Rollup(Optimistic Rollup)的詐欺證明(fraud proof)機制之外,並行導入ZK證明。Arbitrum團隊說明,一旦ZK證明正式上線,區塊在以太幣主網完成最終結算所需的時間,有望從目前的數天縮短至數小時。
樂觀式Rollup的設計,是在資產從Layer2轉移至Layer1時設置一段「挑戰期」,讓網路有足夠時間驗證是否存在錯誤的狀態轉換。這套機制雖然保障了安全性,卻也讓用戶、跨鏈橋與相關協議必須承受資金被長時間鎖定的問題。
開發團隊透露,已在SP1 zkVM上執行與現行樂觀式運算相同的狀態轉換函數,並針對實際主網區塊生成ZK證明。以Stylus撰寫的WASM合約,也與Solidity合約一同被納入證明範圍。
驗證器架構同樣同步調整。開發團隊推出獨立的Rust驗證器,讓ZK證明可與既有標準驗證方式並行運作。相關ZK程式碼將分階段整合進Nitro的主要生產路徑。
用於資產結算的BoLD協議也完成調整,以支援ZK證明。根據新設計,快速確認委員會(fast confirmation committee)將負責保證ZK證明的有效性,既有的爭議遊戲(dispute game)機制則保留作為備用途徑。換言之,Arbitrum規劃的方向,是讓ZK證明、證明委員會與詐欺證明三者並行運作。
對一般用戶而言,最直接的影響是出金時間。無論是交易所、個人錢包或DeFi用戶,只要涉及將資產從Arbitrum轉移至以太幣主網,結算延遲都可能連帶推高成本並影響資金流動性。若ZK結算機制真正落地,這段等待時間預期將明顯縮短。
不過,相關功能目前仍在開發階段,尚未正式上線。Arbitrum團隊指出,接下來的工作項目包括降低證明成本、將執行環境轉換為以Reth為基礎的架構、完成L1訊息收件匣(inbox)的證明流程,以及讓節點營運者能在設定中自行選擇是否啟用ZK結算。
留言 0