2700定理机器验证：Zcash封堵隐形假币漏洞

据 Woofun AI 消息，Zcash 已完成 Ironwood 系统的正式验证，通过机器校验证明确立了余额完整性，彻底封堵了屏蔽式资金池中无法被检测出的伪造漏洞。

Tachyon 项目于周二披露，该证明由三支包含研究人员与密码学家的团队耗时一个多月完成，涵盖 2,700 多条定理。Woofun AI 整理数据显示，验证范围囊括 Ironwood 的零知识证明系统、电路规则及 Ledger 层面账务处理机制，但不包括其独立隐私保护功能。

此次升级源于 NU6.3 评级上调，旨在修复 Orchard 屏蔽式资金池中的漏洞，该漏洞理论上可制造无法被检测出的 ZEC 假币。Zcash 开发者们表示，目前尚未发现任何该漏洞已被利用的证据。

新资金池设计意在恢复对 Zcash 供应完整性的信任。资金从 Orchard 转移需经过名为"转闸"的公共账务检查点，以阻止多余硬币进入。随着资金离开 Orchard，该流程将为判断旧资金池是否曾遭受漏洞攻击提供更多证据。