Zcash公开2700个验证，尝试增强供应信任

Zcash（ZEC）公开了超过2700个机器验证证明，涉及新匿名资金池Ironwood的平衡完整性。这被解读为在隐藏交易金额和参与者的隐私结构中加强供应信任的措施。开发组织项目Tachyon于28日发布了三组研究团队的研究成果，经过一个多月的工作，证明是用整理证明语言Lean编写的。验证的核心是“平衡完整性”，即匿名资金池不能输出超过公开进入的价值。研究团队表示，这一证明涵盖了Ironwood的零知识证明系统、电路规则和账本单位会计。Ironwood是在Zcash NU6.3升级中引入的，之前的Orchard池中出现了ZEC伪造的漏洞。Zcash开发团队表示，尚未确认该缺陷是否被实际利用。资金从Orchard转移到Ironwood必须通过一个名为turnstile的公开会计门，这是一种验证从现有池中流出资金的程序。市场反应谨慎，ZEC在漏洞修复后下跌近40%。此次证明公开将如何减少对供应完整性的怀疑，预计将在Orchard资金转移过程中得到验证。