據 Woofun AI 消息，Zcash 開發團隊計劃通過即將推出的全新隱私池 Ironwood 引入正式驗證機制。該機制旨在利用數學證明方法，消除因鏈上交易記錄無法確認而導致的隱祕僞造行爲風險。

儘管此前 Orchard 屏蔽池的漏洞已修復且無攻擊跡象，社區仍決定構建 Ironwood 並對協議進行全面正式驗證，以徹底解決潛在的安全隱患。