Zcash 将在 Orchard 协议中发现伪造漏洞后实施修复

目录 Zcash 开发人员在修复 Orchard 中的一个伪造缺陷后正在评估一个新的屏蔽池。 Shielded Labs 表示正在探索网络升级以加强供应验证。与此同时，由于 ZEC 价格持续波动，该提案正在等待社区审核。 Shielded Labs 表示正在评估网络升级，该升级将引入新的屏蔽池。该组织解释说，该计划将对离开果园的硬币采用十字转门会计。因此，用户可以通过更清晰的会计规则来验证离开资金池的资金。不过，该组织表示将在下周公布详细的权衡方案。 Zcash 开放开发实验室创始人 Josh Swihart 在 X 上发表了该提案。他表示第二个 Orchard 池可以与计划于 7 月底进行的 NU7 升级保持一致。不过，他表示，他对采用这一改变没有固定立场。他强调，社区讨论将指导最终方向。 https://t.co/Q6Y7JjQzb3 — Josh Swihart 🛡 (@jswihart) 2026 年 6 月 5 日 这次讨论是在修补 Orchard 漏洞的紧急升级之后进行的。 Shielded Labs 表示，该缺陷可能导致矿池内出现无限量的伪造 ZEC。然而，该团队认为，先前的利用仍然不太可能。尽管如此，它承认密码学无法确认漏洞是否发生在补丁之前。此前，开发商在发现问题后暂停了 Orchard 交易。他们通过紧急网络升级恢复了功能。因此，修复后网络恢复正常运行。该团队于周五公开披露了该漏洞。披露后，ZEC 在数小时内下跌了近 50%。根据 CoinGecko 的数据，该代币从 550.30 美元跌至 264.80 美元。随后，价格回升至 308.07 美元，但仍大幅走低。该漏洞再次引发了关于 Zcash 形式验证的争论。开发人员讨论了数学证明是否可以防止类似的电路错误。 Sean Bowe 表示，屏蔽协议依赖于加密假设来保持供应完整性。他认为形式验证提供了一个长期的解决方案。斯维哈特还在评论中谈到了电路缺陷。他说这个错误源于手写的电路规则，而不是破坏的密码学。他解释说，形式验证可以将这些规则转化为简洁的规范。然后，计算机可以确认实施是否符合预期设计。 1kx 研究合伙人 Wei Dai 公开评论了该缺陷。他说，回想起来，这个错误似乎很明显，但却逃脱了专家的审查。他补充说，扩大正式核查范围“可能是唯一的长期解决方案”。他的言论呼应了加强核查标准的呼吁。在市场下跌期间，一些人士为开发团队辩护。 Cyber​​Capital 的贾斯汀·邦斯 (Justin Bons) 表示，市场反应过度，因为“好人先抓住了它”。 Cameron Winklevoss 表示，发现错误反映了积极的安全研究。他认为关键问题在于在攻击者利用漏洞之前发现并修复漏洞。通过专家分析发现人工智能、加密货币和技术领域表现最好的股票。