Zcash新隱私池Ironwood將採用形式化驗證，計劃根除無法檢測的增發漏洞

Odaily報導，Zcash開發團隊宣布計劃透過即將推出的新隱私池Ironwood引入形式化驗證，並以數學證明方式消除「無法偵測的增發漏洞（Undetectable Counterfeiting）」風險。

早前消息，Orchard屏蔽池曾存在漏洞，雖然已經完成修復且暫無證據顯示遭到利用，但由於理論上無法透過鏈上歷史確認是否曾發生隱蔽增發，因此社群決定推出全新的Ironwood屏蔽池，並對其協議進行全面形式化驗證。