根據 Project Tachyon，週二，Zcash 研究人員完成了 Ironwood 的形式化驗證，發布了一份可由機器檢查的證明，指出在其所述的密碼學假設下，該網路所採用的新隱匿池不包含不可偵測的仿冒（counterfeiting）漏洞。
該證明以 Lean 程式語言撰寫，包含超過 2,700 條定理，並由三位研究人員與密碼學團隊在超過一個月的時間內完成。這項工作建立了餘額完整性，確保隱匿池不可能支付出超過已公開投入其中的價值。該證明涵蓋 Ironwood 的零知識證明系統、電路規則與帳本層級的會計計算，但並未處理隱私保證。
