AI一天找出Zcash四年未发现的严重造假漏洞

Zcash(隐私版比特币)核心隐私协议Orchard存在一个潜伏近四年的加密漏洞，人工审计长期未发现。而Anthropic新发布的通用AI模型Opus 4.8上线仅一天，就被安全研究员用于自动化审计框架，一举定位并验证了该漏洞。

5月28日，Anthropic发布Opus 4.8。次日，受Shielded Labs雇佣的安全研究员Taylor Hornby启动自建的自动化审计框架zcash-full-stack-auditor，针对Orchard电路进行定向审查。该框架先枚举代码、规范、安全属性与失败模式，再为每一项分配AI Agent(使用Opus 4.8，max effort模式)。

5月29日下午，AI Agent迅速报出Orchard电路中的严重漏洞。Taylor随后让Opus 4.8独立编写完整攻击程序，并在本地regtest环境中验证：通过反复操作，可将一笔ZEC面值无限翻倍，钱包余额轻松超过1000万枚。该漏洞允许攻击者在Orchard池内伪造无限假币，并用假币提取真实资金。

整个数学推导和攻击代码几乎完全由AI独立完成，Taylor几乎无需提供提示。他表示，没有AI的话，人工审计将耗费远更长时间。

值得注意的细节 Opus 4.8发现漏洞后，最初倾向于认为“经过审计的上游代码不会有问题”，Taylor需反复确认才让AI接受这是真实漏洞。Zcash团队在收到报告后几天内完成紧急修复：先关闭Orchard，通过软分叉+硬分叉更新验证电路，从发现到修复不到一周。

漏洞影响：供应量信任危机而非总量超发

常见误解澄清：该漏洞不会突破ZEC 2100万枚总量上限。其机制类似“桥的漏洞”——攻击者在隐私池内造假币，再用假币把真币提走。真正受害者是后续无法赎回真币的持币者，而非市场凭空多出大量抛压币。

链上目前未发现大额异常提取，漏洞大概率未被实际利用。但由于Orchard是全隐私池，外部无法看到内部交易，也没有任何密码学手段能100%证明过去四年是否有人提前发现并利用过它。

Shielded Labs在公告中强调：“我们不认为用户应该依赖我们的判断，或任何人的判断。”他们正推动网络升级，部署新隐私池，并对从Orchard迁出的资产实施更严格的供应量审计。

ZEC隐私叙事破裂，价格暴跌

消息公开前，BitMEX联合创始人Arthur Hayes已清仓全部ZEC持仓。公开后，ZEC在24小时内从610美元附近暴跌至310美元附近，跌幅超过45%(部分时段低点至255美元)。

此前，ZEC曾因隐私叙事强势反弹：2025年Naval Ravikant一句“比特币是法币的保险，Zcash是比特币的保险”带动价格大涨，一度触及748美元历史新高，成为最大隐私币。多机构入场、SEC调查结束、ETF申请等利好叠加，让ZEC在熊市中脱颖而出。

如今，涨势逻辑反转：隐私太强以至于无法证明供应量真实性，成为最大卖点和最大风险。

AI对金融安全的深远冲击

这不是传统“AI辅助人类”，而更接近“AI主导发现，人类辅助验证”。Taylor此前用Opus 4.7未发现此漏洞，升级到4.8后立即找到。一代模型的迭代，就完成了从“找不到”到“找到并写出完整攻击”的跨越。

Anthropic还有更强的专用安全模型(Mythos Preview)，因风险过高未公开发布，仅限少数机构使用。通用模型已如此强大，专用模型潜力更大。

更广泛的启示

IMF和欧洲央行近期均警告：先进AI正大幅降低漏洞发现与利用成本，将网络安全风险上升为宏观金融问题。加密开源代码成为首个被AI大规模“考试”的金融系统，传统闭源银行系统也面临类似威胁。

Zcash的隐私池可以修复，代码可以升级，但发现高价值漏洞的成本已被AI永久降低。这张“安全考卷”已发给开源加密，未来将发给所有金融系统。