Zcash 已完成其 Ironwood 網路升級，用一個經過形式化驗證的替代方案取代了其易受攻擊的 Orchard 屏蔽池，該方案旨在防止無法偵測的偽造，同時開始將屏蔽資金遷移到新的池中。

根據 Project Tachyon 和 Zcash 開發團隊的說法，Ironwood 在週二的區塊高度 3,428,143 透過 NU6.3 網路升級如期啟用，引入了一個新的屏蔽池，開發人員表示，在圍繞 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 引入了一個獨立的會計系統，擁有自己的註記承諾樹、空值集和鏈價值池，允許節點獨立追蹤新的屏蔽池。根據該專案的技術文件，此次升級還安裝了一個稱為「閘門」(turnstile) 的公共會計檢查點，允許資金離開 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 基金會共同合作開發的。

Shielded Labs 由 Zcash 創辦人 Zooko Wilcox 共同創立，最初提議替換 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 遷移正在進行中，重點已轉移到透過閘門移動剩餘的屏蔽資金，同時網路在新會計模型下逐步淘汰舊池。