形式化驗證+新池子，Zcash 這次是要把隱私幣的安全標準卷到數學層面了，Orchard 的隱患總算有個徹底了斷的解法。

吳說獲悉，Zcash 開發團隊表示，計劃通過即將推出的新隱私池 Ironwood 引入形式化驗證（Formal Verification），以數學證明方式消除「無法檢測的增發漏洞（Undetectable Counterfeiting）」風險。團隊稱，此前 Orchard 屏蔽池存在的漏洞雖已完成修復且暫無證據顯示遭利用，但由於理論上無法通過鏈上歷史確認是否曾發生隱蔽增發，因此社區決定推出全新的 Ironwood 屏蔽池，並對其協議進行全面形式化驗證。