安全事件概述

2026年6月5日，Zcash创始人Zooko Wilcox发布了一篇罕见的安全复盘文章，披露了一个潜伏近四年的严重漏洞。该漏洞存在于Zcash最新一代隐私池Orchard中，攻击者可在不留下任何痕迹的情况下，无限生成伪造的ZEC代币。

消息一经公开，ZEC价格应声暴跌超过30%，CoinMarketCap数据显示，24小时内最低跌至408.39美元，较同期高点610.47美元下跌约三分之一。

漏洞发现与紧急修复

安全研究员Taylor Hornby于5月29日对Orchard电路进行定向安全审查时发现异常，并立即将漏洞私下披露给Zcash Open Development Lab（ZODL）。值得注意的是，Taylor在发现漏洞后，已在本地测试环境中编写出完整的利用程序，实际生成了伪造ZEC。

ZODL工程师在收到报告后数小时内确认问题真实性，并立即采取紧急措施：暂时关闭Orchard，禁止创建新的Orchard输出，也禁止支出已存在的Orchard资金。在开发者、矿工、节点运营商、交易所与基础设施服务商协调升级后，紧急软分叉于6月2日生效，随后通过硬分叉升级更新了Orchard电路的验证密钥，并于6月3日恢复Orchard功能。

从漏洞披露到完成修复，整个过程仅用了数天时间，应急响应速度堪称行业典范。

市场的真正担忧：不是漏洞本身，而是无法证实的过去

普通安全事故通常存在明确的损失规模，但Orchard事件截然不同。由于Orchard本身具有隐私属性，外界无法仅通过密码学方法确切证明漏洞修复前是否有人利用过这一攻击路径。

市场面对的不是一个确定的损失数字，而是一种难以量化的不确定性：如果过去有人发现并利用过漏洞，Orchard内部是否存在伪造ZEC？规模多大？这些资产是否已通过正常交易逐步流出？

更令人担忧的是，这个风险窗口并非从5月29日才开始。Shielded Labs确认，该漏洞自Orchard于2022年5月启用以来便一直存在，直至2026年6月紧急修复完成，问题已潜伏了接近四年。

这就是ZEC暴跌超过30%的核心原因——市场卖出的不只是一个漏洞，而是对供应量可信度的重新定价。

技术解析：一个数学约束遗漏如何演变为无限增发风险

Orchard的安全性依赖一套零知识证明电路（Orchard circuit）。用户可以隐藏交易具体内容，但必须向网络证明交易满足协议规则，其中最重要的一条是资产守恒。

Taylor发现的问题出现在Orchard电路中的一项椭圆曲线乘法检查。Shielded Labs将其描述为一个“under-constrained element”，即约束不完整的电路元素。由于相关数学关系没有被完全约束，攻击者可以向椭圆曲线乘法过程输入任意错误数据，但验证过程仍然可能返回通过。

攻击者不需要破解密码学算法，也不需要控制网络节点，只需构造一组本不应该成立的数据，让系统错误地相信交易依然满足资产守恒。当这份错误证明被网络接受后，原本不存在的ZEC便被视为合法资产，继续留存在Orchard之中。

两种表述之间的微妙区别

Zcash Foundation在完成升级后表示，目前没有发现漏洞曾被利用的证据，用户资金与隐私未受影响。同时强调，Zcash原有的Turnstile Accounting机制能够追踪不同资金池之间的价值流动，保护2100万枚ZEC的总供应量上限。

但Shielded Labs明确表示，无法仅依赖密码学证明Orchard历史上从未出现过伪造ZEC。

这两种说法看似矛盾，实际关注的是不同层面的问题。Turnstile Accounting是不同资金池之间的“闸门”，可以限制从Orchard流出的资产规模，但无法直接证明Orchard内部从未出现过假币。如果伪造资产仍然停留在Orchard中，或者在合法流出额度以内逐步替换真实资产，原有统计机制未必能够给出彻底的历史结论。

重建信任之路：新的隐私池与迁移闸门

Shielded Labs已表示，正在与其他Zcash开发者研究一项新的网络升级提案，包括部署一个新的隐私池，并对所有从Orchard迁移出的资产强制执行Turnstile Accounting。

这相当于为Orchard设置一道新的迁移闸门。旧Orchard中的资产如果希望进入新的隐私池，需要按照可验证规则完成迁移，系统可重新统计流出的合法资产规模，并判断是否存在无法被正常迁移的额外ZEC。

如果升级顺利完成，任何人都可以验证Zcash的供应量完整性，进一步证明Orchard中不存在伪造资产。这项方案的意义不仅是修复代码，更是重建市场信任。

AI在漏洞发现中的角色：一个值得关注的信号

事件中还有一个容易被忽略的细节。5月28日，Anthropic发布Claude Opus 4.8，一天后，Taylor发现Orchard漏洞。他在Opus 4.8的协助下编写出完整利用程序，在本地环境中生成了无限且无法检测的伪造ZEC。

Taylor本人是经验丰富的安全研究员，同时使用了传统安全研究方法、定制化AI工具框架与专门设计的提示词。重要的是，他使用的并不是Anthropic专门面向网络安全场景的受限制模型，而是刚刚公开发布的通用模型。

这释放出一个重要信号：发现高价值漏洞的能力，正在从少数专用安全模型向通用模型扩散。一个公开发布仅一天的通用模型，在专业研究员的引导下，已能参与审查复杂的零知识证明电路，并帮助发现隐藏接近四年的关键漏洞。

市场资讯部视点

本次Zcash漏洞事件揭示了隐私币领域一个核心悖论：隐私保护与供应量透明之间存在天然张力。尽管技术团队以行业顶级速度完成修复，但市场反应表明，在隐私系统中，“未检测到攻击”与“攻击未发生”是截然不同的概念。此次危机将推动整个隐私赛道重新审视安全审计标准，未来可能催生更严格的“可验证供应量”机制。对投资者而言，这不仅是Zcash的个案，更是对所有依赖零知识证明技术项目的警示——技术越是复杂隐匿，信任基础就越需要可验证的透明度支撑。Zcash能否通过后续升级重建市场信心，将是检验其长期价值的关键试金石。