2700定理機器驗證：Zcash封堵隱形假幣漏洞

據 Woofun AI 消息，Zcash 已完成 Ironwood 系統的正式驗證，通過機器校驗證明確立了餘額完整性，徹底封堵了屏蔽式資金池中無法被檢測出的僞造漏洞。

Tachyon 項目於週二披露，該證明由三支包含研究人員與密碼學家的團隊耗時一個多月完成，涵蓋 2,700 多條定理。Woofun AI 整理數據顯示，驗證範圍囊括 Ironwood 的零知識證明系統、電路規則及 Ledger 層面賬務處理機制，但不包括其獨立隱私保護功能。

此次升級源於 NU6.3 評級上調，旨在修復 Orchard 屏蔽式資金池中的漏洞，該漏洞理論上可製造無法被檢測出的 ZEC 假幣。Zcash 開發者們表示，目前尚未發現任何該漏洞已被利用的證據。

新資金池設計意在恢復對 Zcash 供應完整性的信任。資金從 Orchard 轉移需經過名爲"轉閘"的公共賬務檢查點，以阻止多餘硬幣進入。隨着資金離開 Orchard，該流程將爲判斷舊資金池是否曾遭受漏洞攻擊提供更多證據。