紧急补丁封堵 ZEC 伪造窗口

Zcash 开发者于 6 月 2 日完成一项紧急补丁，修复隐私协议 Orchard 电路中的一个漏洞——若不修复，该漏洞本可在不被察觉的情况下铸造无限量伪造 ZEC，这属于该协议有记录以来最严重的理论性供应风险之一。该发现由 SeedLabs 于 5 月 29 日公布，其报告称该缺陷是在一次 AI 辅助安全审计中浮出水面，而非通过传统的人工审查。

此次审计将 Anthropic 的 Claude Opus 4.8 模型与定制构建的审计代理相结合，该缺陷被归类为“可靠性失败”：零知识证明内部的验证条件约束不够充分，意味着攻击者可以构造伪装成有效证明的数据，并在不触发网络验证规则的情况下生成伪造 ZEC。

这一区别对于如何评估该事件的规模至关重要。零知识证明使网络能够在不暴露内容的情况下确认隐藏交易符合其规则，因此证明电路内部的缺陷是规则手册本身的错误，而非构建在其之上的代码的错误——这一层面的缺陷可能多年不被发现。

团队的响应与已证实的风险相匹配。SeedLabs 的研究人员并未停留在理论阶段——他们在本地测试环境中编写了可运行的攻击代码，并确认伪造 ZEC 确实可以被制造出来，从而将这一发现从纸面漏洞转化为已演示的利用路径。Zcash 开发团队随后将此问题视为紧急事项，披露信息指出修复工作已于 6 月 2 日完成。

Orchard 是 Zcash 隐私交易所在的屏蔽池，这正是该处的证明缺陷会直击货币发行保证核心的原因。对于以隐私为核心的资产而言，发行完整性是最关键的属性，而该缺陷直接触及了这一点。

补丁并未解决的问题是利用行为是否存在。伪造生成路径仅在本地测试环境中得到验证，公开记录中没有任何内容证实该缺陷曾在主网上被滥用。这一区别——发现漏洞、本地演示利用、主网滥用未经证实——是解读本报道中每一项数据时应当遵循的框架。

Orchard 可靠性缺陷的运作机制

所涉机制虽狭窄却根本。零知识证明系统中的可靠性失败意味着验证证明的检查过于宽松：本应为假的陈述可以被包装成已被证明的样子。在 Zcash 的 Orchard 电路中，这种宽松直接转化为发行威胁，因为该池接受为有效的票据会直接进入全网每个节点都会重新验证的流通供应量记账。无限量伪造 ZEC 将不是市场故障，而是悄无声息地破坏 Layer 1 协议赖以存在的发行保证。

有两项结构性防护措施值得关注。chard 池受发行上限约束（即铸造上限），而 Ironwood 池的引入经过设计，即便发生零知识证明错误，能够流出屏蔽区的资金总量也是有限的——供应验证早已针对这一类失败进行了加固。

按照披露信息本身给出的解释，AI 并没有破解密码学：它迅速锁定了一个公开代码中存在多年而未被人类研究者发现的逻辑错误，然后验证了该错误可被攻击。因此，这一案例并非密码学被破解，而是一个长期被忽视的逻辑错误被快速发现并验证。这才是该事件的真正意义所在——公开代码库和交易自动化系统如今已成为此类自动化攻击分析的合理目标。

截至本文撰写时，现货 ZEC 在过去 24 小时内下跌 8.0%，链上记录中没有任何内容将此波动与本次披露联系起来。

补丁改变了什么

6 月 2 日的补丁改变了技术层面的事实，而证据记录依然刻意稀薄。没有可供引用的攻击者交易哈希，也没有可供链上核实的被转出金额，因为链上数据显示没有任何已证实的主网利用行为。SeedLabs 的披露本身即为事后分析报告，将 Orchard 电路中一个未受约束的验证条件认定为根本原因，并将已完成的紧急补丁列为修复措施。

尚未解决的问题同样明确：目前没有公布任何关于主网伪造企图的独立时间线。

仍待解决的悬而未决的问题属于文档层面的问题。主网伪造企图的独立时间线是否会出现，以及除披露摘要之外还会公布多少关于该错误约束的技术细节，都是补全记录所需的标志。

在这一干净的记录之下，机构兴趣持续升温——Grayscale 的 ZCSH 一拆三以及 Garret Jin 的 3.2 亿美元 ZEC 持仓，勾勒出一个将此事件视为已被控制的市场。