Zcash(ZEC)开发者于6月2日完成紧急补丁封堵AI发现的Orchard漏洞

紧急补丁封堵ZEC伪造窗口

Zcash 开发团队于6月2日完成一次紧急补丁,修复其隐私协议 Orchard 电路中的一处缺陷。若该缺陷未被修补,攻击者理论上可以不被察觉地无限增发伪造的 ZEC——这是 Zcash 隐私协议有史以来记录在案的最严重的理论性供应风险之一。这一发现由 SeedLabs 于5月29日公布:缺陷并非来自常规的人工代码审查,而是在一次 AI 辅助的安全审计中浮出水面。该审计将 Anthropic 的 Claude Opus 4.8 模型与自建的审计代理(audit agent)配合使用,最终将此缺陷归类为“可靠性失效(soundness failure)”——零知识证明内部的验证条件约束不够充分,攻击者可以构造出伪装成有效证明的数据,绕过网络全部验证规则,凭空铸出伪造 ZEC。团队的响应节奏与风险等级相称:SeedLabs 的研究人员没有停留在理论推演,而是在本地测试环境中写出了可运行的攻击代码,实际确认伪造 ZEC 可以被生产出来——这份发现由“纸面漏洞”升级为“已验证的攻击路径”。Zcash 开发团队随即按紧急事项处理,披露文件中明确说明修复工作于6月2日完成。Orchard 是 Zcash 隐私交易所在的屏蔽资金池,证明系统一旦在此处失守,直接动摇的就是整条链的发行保证。对一个以隐私立身的资产而言,发行完整性是最承重的一根支柱,而这次缺陷恰恰命中了它。需要划清的是补丁没有解决的问题:伪造路径只在本地测试环境中得到验证,公开记录中没有任何证据表明该缺陷曾在主网上被实际利用。“漏洞已发现、本地已演示、主网滥用未证实”——这一定性框架,是阅读本文所有数字时的前提。

Orchard 可靠性缺陷的运作机制

这个机制听起来狭窄,触及的却是根基。零知识证明系统中的可靠性失效,意味着校验证明的那组检查过于宽松:本应为假的命题,可以被包装成“已证明”。在 Zcash 的 Orchard 电路里,这种宽松直接转化为发行威胁——资金池接受为有效的票据,会直接进入每台节点都要反复核验的流通供应量账目。无限增发的伪造 ZEC 不是行情层面的波动,而是在暗中腐蚀一条Layer 1 协议赖以存在的发行保证。披露文件同时指出两道结构性防线值得注意:其一,Orchard 资金池设有发行上限;其二,Ironwood 资金池的设计初衷就是即便发生零知识证明错误,能够逃出屏蔽区的资金总量也是有限的——针对这一类失效,供应验证早已加固。按披露文件自身的解读,AI 并没有“破解密码学”:它只是迅速锁定了一个存在多年、却始终未被人类研究者发现的公开代码逻辑错误,并验证了这一错误确实可被利用。因此本案的性质不是密码学被攻破,而是一个长期被漏掉的逻辑错误被快速暴露并验证。这才是这起事件真正的分量所在——公开代码与交易自动化系统,如今已经是自动化攻击分析的合法目标。截至发稿,ZEC 现货 24 小时下跌 8.0%,链上记录中没有任何数据将这波走势与本次披露直接挂钩。

补丁改变了什么、什么仍待确认

COINOTAG 的判断是:6月2日的补丁改变了技术层面的事实状态,但证据账本刻意保持单薄。没有可引用的攻击者交易哈希,没有可在链上核验的被盗金额——因为链上数据并未显示主网遭到确认的利用;SeedLabs 的披露文件本身即是事后复盘,指出 Orchard 电路中一个约束不足的验证条件是根因,已完成的紧急补丁是补救措施。同样清楚的是尚未补齐的部分:任何主网伪造尝试的独立时间线,至今没有公开。正是在这样一份干净记录的背景下,机构兴趣持续升温——Grayscale 对 ZCSH 实施 3 拆 1 并录得资金流入、Garret Jin 持有 3.2 亿美元的 ZEC 头寸,市场实际上已将此次事件定性为“已受控”。评估敞口的读者可参阅我们的 Zcash 分步购买指南。对于想理解底层账目如何运作的读者,也可以从什么是区块链与共识机制的基础概念入手。