Zcash 已完成其 Ironwood 網路升級，以經過形式驗證的替代方案取代了易受攻擊的 Orchard 屏蔽池，旨在防止無法檢測的偽造，同時開始將屏蔽資金遷移到新池中。
摘要
- Zcash 已啟動 Ironwood 升級，並以新的形式驗證屏蔽池取代 Orchard。
- Ironwood 增加了新的供應保障，而 Orchard 現在僅支援資金提款。
- 研究人員完成了一項機器檢查證明，確認 Ironwood 在其設計假設下無法創建無法檢測的偽造 ZEC。
- 已有超過 40,000 ZEC 轉移到 Ironwood，而約 360 萬 ZEC 仍留在 Orchard 中。
根據 Project Tachyon 和 Zcash 開發團隊的說法，Ironwood 於週二透過 NU6.3 網路升級在區塊高度 3,428,143 按計劃啟動，引入了一個新的屏蔽池，開發者表示，在 Orchard 引發擔憂後，這恢復了人們對 Zcash 供應完整性的信心。
此次啟動是在研究人員披露一個理論上可能導致偽造 ZEC 在未被公開檢測的情況下被創建的漏洞後，多個 Zcash 組織歷經數月工作的成果。
雖然 Ironwood 現已啟動，但 Orchard 已進入僅退出階段。用戶仍可自行從舊屏蔽池中提取資金，但它不再接受新的屏蔽活動。來自 Zcash 遷移追蹤器的數據顯示，約有 40,207 ZEC 已轉移到 Ironwood，而近 360 萬 ZEC 仍留在 Orchard 中等待遷移。
根據 crypto.news 價格頁面，ZEC (ZEC) 在升級後短暫下跌約 9% 至約 460 美元，隨後回升至約 475 美元。該代幣在 Orchard 漏洞公開後已經歷了大幅波動，從去年 9 月的約 45 美元跌至一半以上，後來反彈至年底的近 700 美元。
Ironwood 新增了一個新的會計邊界
在研究人員發現所謂的 Orchard「無限」漏洞後，新的屏蔽池取代了 Orchard。根據 Shielded Labs 的說法，研究員 Taylor Hornby 於 5 月底在 Orchard 的零知識電路中發現了該漏洞。開發者表示，該問題理論上可能允許攻擊者在未立即檢測的情況下鑄造偽造 ZEC，但他們也表示沒有發現該漏洞曾被利用的證據。
6 月初的緊急升級暫時禁用了 Orchard，隨後開發者透過 NU6.2 硬分叉部署了修正後的電路代碼。即使在修補漏洞後，開發者表示 Zcash 的隱私模型阻止任何人確鑿證明從未發生過隱藏的通貨膨脹，這促使他們開發替代屏蔽池，而不是僅依賴修補後的 Orchard 實現。
Ironwood 引入了一個獨立的會計系統，擁有自己的備註承諾樹、無效集合和鏈價值池，允許節點獨立追蹤新的屏蔽池。根據該項目的技術文檔，此次升級還安裝了一個稱為旋轉門的公共會計檢查點，允許資金離開 Orchard，同時防止超出舊池合法進入價值的更多價值退出。
開發者表示，該機制旨在將任何假設的偽造幣困在 Orchard 內，同時允許獨立驗證 Zcash 的流通供應量繼續遵守網路 2100 萬 ZEC 的發行上限。
形式驗證強化了 Ironwood 的安全模型
伴隨網路啟動，Project Tachyon 宣布研究人員完成了一個機器檢查的數學證明，涵蓋 Ironwood 的餘額完整性，提供額外保證，新的屏蔽池無法在其聲明的密碼學假設下創造超出公開進入價值的價值。
根據 Project Tachyon，該證明以 Lean 程式語言撰寫，包含超過 2,700 個定理，由三個研究人員和密碼學家團隊花費一個多月開發。
研究人員表示，他們的工作正式驗證了餘額完整性所需的組件，包括 Ironwood 的零知識證明系統、電路規則和帳本層級的會計。他們也澄清，該驗證不延伸至 Ironwood 獨立的隱私保證。
Zcash 共同創辦人 Sean Bowe 評論這項工作時表示，跨團隊的努力消除了新 Ironwood 協議中所有無法偵測的偽造漏洞來源。
新的屏蔽池還整合了 ZIP 2005 量子可恢復筆記，允許在量子計算的進展最終削弱當前密碼學保護時，提供未來的恢復機制。根據 ZIP 規範，該功能並未使當前的 Zcash 交易具備量子安全性，因為仍需要在未來設計並啟動一個單獨的恢復協議。
生態系統團隊協調推出
Ironwood 由 Shielded Labs、Zcash 開放開發實驗室 (ZODL)、Project Tachyon、Valar Group 和 Zcash 基金會合作開發。
由 Zcash 創辦人 Zooko Wilcox 共同創立的 Shielded Labs 最初提議取代 Orchard，以在漏洞公開後恢復可驗證的供應會計。
與此同時，ZODL 執行董事 Josh Swihart 在 X 上表示，他的組織的工程師在 Orchard 替換工作中貢獻了 Zcash 協議和錢包儲存庫中 82% 的合併變更。Swihart 補充說，Orchard 在五天內被修補，開發人員在大約 60 天內完成了替換過程。
NU6.3 升級還完成了網路另一項長期規劃的過渡。根據 Zcash 基金會，較舊的 zcashd 節點軟體不再支援新的共識規則，使得 Zebra 成為啟動後必需的節點實作。
在 Ironwood 到達網路之前，Shielded Labs 執行董事 Jason McGee 曾警告，交易所、錢包提供商和礦池同時準備從 zcashd 遷移到新的 Z3 軟體堆疊，同時也為 Ironwood 升級。McGee 表示，一些基礎設施運營商需要額外時間，但最終沒有決定推遲網路升級。
隨著 Ironwood 現已上線，Orchard 遷移正在進行中，焦點已轉向在網路逐漸在新會計模型下淘汰舊池的同時，通過旋轉門移動剩餘的屏蔽資金。
