Zcash 開發者在區塊高度 3,428,143 啟動 Ironwood 升級，作為 NU6.3 網路升級的一部分，將 Orchard 隱私池替換為一個經形式化驗證的替代方案。此替換源於研究員 Taylor Hornby 在 5 月下旬發現 Orchard 的「無限」漏洞，該漏洞在理論上有造成無法被偵測到的偽造 ZEC 生成風險。Zcash 核心隱私機制之一中的這項漏洞，促使開發者所描述的「戰時模式」開發衝刺，以部署完整替換方案，而非僅做修補。
Hornby 在 5 月下旬發現 Orchard 無限漏洞
Taylor Hornby，Shielded Labs 的研究員，在 5 月下旬發現 Orchard 的無限漏洞。該缺陷深藏於 Orchard 的零知識電路內，理論上可能在不留下任何公開可偵測痕跡的情況下，鑄造偽造的 ZEC。沒有跡象顯示此漏洞曾被利用。當相關資訊成為公開消息後，ZEC 的價值下跌超過一半。
在 6 月初部署的緊急修補措施暫時停用 Orchard。修正後的電路在五天內，透過 NU6.2 硬分叉送達。開發者表示：在舊隱私池中是否曾發生隱藏通膨，在數學上不可能能夠確定地加以證明，因此完整替換是恢復可驗證供給完整性的唯一途徑。
Shielded Labs 共同創辦人 Zooko Wilcox 起初提出要直接整體替換 Orchard。接下來是約 60 天的協同開發，涵蓋 Shielded Labs、Zcash Open Development Lab（ZODL）、Project Tachyon、Valar Group，以及 Zcash Foundation。ZODL 執行董事 Josh Swihart 表示：在替換工作期間，其組織的工程師貢獻了 Zcash 協定與錢包倉庫合併變更中的 82%。
Ironwood 引入獨立會計系統與可量子恢復的筆記
Ironwood 引入一套完全獨立的會計系統，並附有其自身的筆記承諾樹（note commitment tree）、nullifier set，以及鏈價值池（chain value pool）。此結構允許任何節點能夠在不受先前任何內容影響的前提下，獨立追蹤新的隱私池。
升級安裝了專案所描述的公開會計檢查點（轉閘，turnstile）。資金可以透過這個轉閘從 Orchard 流出，但該機制在數學上可防止流出的價值超過先前隱私池中合法流入的量。在漏洞時窗之前或期間於 Orchard 內鑄造的任何假想偽造幣，都會被永久困在那裡，無法污染 Ironwood 的供給會計。
新的隱私池整合了 ZIP 2005 可量子恢復的筆記。該功能並不會讓 Zcash 交易在今天變得具有量子安全性——未來仍需設計並啟用一套獨立的復原協定。NU6.3 升級讓 Zebra 成為所需的節點實作，並終止網路對較舊的 zcashd 軟體的支援。
Project Tachyon 完成 2,700 定理的形式化驗證
Project Tachyon 連同 Zcash 開發者完成了一份經機器檢查的數學證明。該證明以 Lean 程式語言撰寫，包含超過 2,700 條定理，並由三支研究員與加密學者團隊在超過一個月內開發完成。此證明以形式化方式驗證：在其所述設計假設下，Ironwood 不可能創造出無法偵測的偽造 ZEC。
該證明涵蓋平衡完整性所需的元件：Ironwood 的零知識證明系統、其電路規則，以及帳本層級的會計。Zcash 共同創辦人 Sean Bowe 表示：「跨團隊的協作剛剛改寫了 Zcash 的歷史，消除了來自新 Ironwood 協定的所有無法偵測偽造錯誤的來源。」
形式化驗證涵蓋平衡完整性，但並不延伸到 Ironwood 的獨立隱私保證。供給可證實性（supply soundness）與交易隱私是不同性質，而該證明只處理前者。
遷移追蹤器顯示 40,207 ZEC 已移至 Ironwood
Orchard 進入僅供出金（exit-only）的階段。該隱私池不再接受新的隱私活動，但使用者仍可依自身意願提領資金。根據 Zcash 的遷移追蹤器，自啟動以來，約有 40,207 ZEC 已移入 Ironwood。約有 360 萬 ZEC 仍留在 Orchard，等待遷移。
根據 The Block 的資料，Orchard 在高峰時期曾占了 Zcash 隱私代幣供給的將近 88%，其餘則由較舊的 Sapling 與 Sprout 隱私池構成。
常見問題
Zcash Ironwood 升級是什麼？
Ironwood 是一項 Zcash 網路升級，它用一個經形式化驗證的隱私池取代了易受攻擊的 Orchard 隱私池。它在區塊高度 3,428,143 啟動，作為 NU6.3 硬分叉的一部分。
為什麼需要 Ironwood 升級？
該升級是因為在 5 月下旬於 Orchard 隱私池中發現了一個無限漏洞，該漏洞在理論上具有造成無法偵測的偽造 ZEC 生成風險。開發者表示：在數學上不可能證明該漏洞從未被利用，因此需要完整替換，而不是僅依賴修補程式。
留在 Orchard 隱私池中的資金會怎麼樣？
Orchard 進入僅供出金（exit-only）的階段。使用者仍可從中提領資金，但該隱私池不再接受新的隱私交易。約有 360 萬 ZEC 仍留在 Orchard，等待遷移到 Ironwood；而約有 40,207 ZEC 已經跨出到新系統。
