Orchard的幽靈漏洞沒實錘但社群PTSD了，ironwood直接數學兜底，Zcash這波是隱私幣裡的強迫症晚期

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