Zcash 核心開發者 Sean Bowe 公布 Ironwood 升級最新進展：過去 48 小時內各組織就規範細節達成共識，形式化驗證與三家審計公司審計同步推進。
（前情提要：ZEC反彈45%！Zcash開發團隊敲定Ironwood升級7月上線，新隱私池取代漏洞Orchard）
（背景補充：揪出 Zcash 四年漏洞的工程師：門羅幣（XMR）也要審計）
本文目錄
- 三項關鍵變更已敲定
- 形式驗證與審計同步推進
- 從偵測到驗證：Zcash 的升級時間軸
隱私貨幣 Zcash 的核心開發者 Sean Bowe 6 月 12 日在 X 平台更新 Ironwood 升級最新進展。過去 48 小時內，參與協議開發的各組織已召開兩場會議，就 Ironwood 的規範和實現細節達成共識。
三項關鍵變更已敲定
各組織在會議中確定的重點變更包括：
- 停用 Coinbase 中的 Orchard 池繫結：取消原始幣基礎金中的 Orchard 隱私池繫結，降低早期驗證者的計算負擔
- 硬體錢包遷移認證資料：將錨定點作為硬體錢包遷移至新隱私池的驗證資料來源，確保硬體錢包能正確追蹤新池狀態
- ZIP 與規範處理順序：確立 ZIP（Zcash Improvement Proposal）與規範檔案的處理優先順序，避免開發過程中的規格衝突
這三項變更對應了 Ironwood 升級的三大技術支柱：規範定義、錢包相容性和開發流程一致性。先前 Zcash 在 5 月偵測到 Orchard 隱私池的無限鑄幣漏洞，ZEC 單日跌逾 48%，Ironwood 升級即為修復該漏洞的核心方案。
形式驗證與審計同步推進
目前 Ironwood 電路和 ZIP 2005 整合草案正處於同行審查階段。Valar Group 已完成測試網搭建，並完成部分錢包端變更。形式化驗證工作同步進行，開發者計畫於 6 月 13 日召開會議確定最終驗證策略。
形式化驗證是區塊鏈開發中的「數學證明」方法——用電腦科學的嚴謹推導，證明程式邏輯不存在隱性漏洞。相對於傳統測試（跑特定案例），形式化驗證能覆蓋所有可能的輸入組合。
此外，至少三家主流區塊鏈審計公司已啟動對 Orchard 隱私池的安全審計。多套 AI 審計工具也在同步執行，雙重保障 Ironwood 升級的可靠性。
從偵測到驗證：Zcash 的升級時間軸
Ironwood 升級的路徑可追溯至 5 月中旬：AI 模型先偵測到 Orchard 隱私池的無限鑄幣漏洞 → Zcash 公開 Ironwood 提案 → 開發團隊敲定 7 月上線時間表 → 各組織就規範細節達成共識 → 目前進入形式驗證與多審計公司並行的最後階段。
若驗證和審計按時完成，Ironwood 升級預計在 7 月正式啟動，Zcash 的隱私池將從 Orchard 切換至新規格，ZEC 流通量也將變得可驗證。
📍相關報導📍
Zcash 公開「Ironwood」提案：讓任何人都能驗證 ZEC 流通量，救得了信心？
ZEC反彈45%！Zcash開發團隊敲定Ironwood升級7月上線，新隱私池取代漏洞Orchard
ZEC崩跌48%，跌破250鎂！Zcash爆出無限鑄幣漏洞，難以止血？ 4,000 億美元
揪出 Zcash 四年漏洞的工程師：門羅幣（XMR）也要審計
ZEC 彈升 42%，ZODL 共同創辦人詳解 Zcash 兩階段緊急升級
