隐私危机：ZEC跌幅超30%，揭示「无限增发」漏洞的困境

正文：

在6月5日，Zcash的创始人Zooko Wilcox撰写了一篇罕见的安全复盘文章。

文章中指出，安全研究员Taylor Hornby于5月29日发现Zcash最新隐私池Orchard存在一个严重的伪造漏洞。攻击者能够构建一笔本不应通过验证的交易，从而在Orchard内部生成无限且无法被检测的伪造ZEC。

这一风险并非仅限于理论层面。Taylor已经在本地测试环境中成功编写了完整的利用程序，实际生成了伪造的ZEC。如果相同的程序在主网上运行，攻击者理论上同样能够在其主网钱包中生成无限数量的伪造资产。

此消息公布后，ZEC一度下跌超过30%。根据CoinMarketCap的数据，ZEC在24小时内最低跌至408.39美元，较同期高点610.47美元下降约三分之一。遗憾的是，ZEC原本是加密货币市场中为数不多的财富效应突出的项目，如今因这一漏洞遭受重创。

表面上看，这似乎又是一场熟悉的加密安全事件：漏洞被发现，开发者迅速修复，市场随之恐慌。

然而，Orchard事件的棘手之处在于，尽管漏洞已经修复，Zcash社区仍无法直接回答一个更加敏感的问题：

Orchard是Zcash在2022年推出的新一代隐私支付协议，也是目前Zcash主要使用的隐私池之一。用户可以隐匿余额、交易金额与资金流向，同时通过零知识证明向网络证明交易的合规性。

根据Zooko、Shielded Labs和Zcash社区披露的时间线，Taylor在对Orchard电路进行定向安全审查时发现了异常，并立即将这一漏洞私下报告给Zcash Open Development Lab（ZODL）。Shielded Labs是一家独立的Zcash生态支持组织，位于瑞士，依靠捐赠运营，长期参与Zcash协议的开发和安全性建设，且不隶属于Zcash Foundation或ZODL。

ZODL的工程师在收到报告的数小时内确认问题的存在，并开始寻找修复方案。由于直接公开代码补丁可能会暴露漏洞原理，团队首先选择暂时关闭Orchard功能：禁止创建新的Orchard输出，同时禁止支出已存在于Orchard中的资金。

在开发者、矿工、节点运营商、交易所及基础设施服务商的协调下，紧急软分叉于6月2日生效。随后，Zcash通过硬分叉升级更新了Orchard电路的验证密钥，并于6月3日恢复了Orchard功能。在此期间，透明地址与Sapling隐私池仍然可以正常运行。

从漏洞披露到完成修复，整个过程仅用数天。以应急响应速度来看，这次处置已算相当成功。

然而，市场并未因漏洞修复而恢复平静，因为修复所针对的是未来，而非过去。

一般的安全事件通常具有相对明确的损失规模。智能合约被盗，链上可以追踪到攻击者转走了多少资产；跨链桥出现漏洞，也可统计资金流向及受影响地址。

根据Shielded Labs的说明，该漏洞可被用于在Orchard内部生成无限且无法被检测的伪造ZEC。由于Orchard具有隐私属性，外界无法仅通过密码学方法，确切证明漏洞修复前是否有人利用过这一攻击路径。

这意味着市场面临的并非一个具体的损失数字，而是一种难以量化的不确定性：

如果过去真的有人发现并利用过漏洞，那么Orchard内部是否已经存在伪造的ZEC？如果存在，规模又有多大？这些资产是否仍停留在隐私池中？是否曾通过正常交易逐步流出？

更重要的是，这个风险窗口并非从5月29日才开始出现。Shielded Labs指出，该漏洞自Orchard于2022年5月启用以来便一直存在，直至2026年6月的紧急修复完成。换句话说，这一问题已经潜伏了近四年。

市场真正担心的并不是5月29日至6月2日之间发生了什么，而是过去四年里是否发生过无法被直接观察到的异常。

这也是ZEC暴跌超过30%的核心原因。

市场抛售的并非仅是一个漏洞，而是对供应量可信度的重新评估。

当我们看到“无限增发漏洞”这几个字时，第一反应可能是黑客获得了管理员权限或掌握了某种协议后门。

Orchard的安全性依赖于一套零知识证明电路（Orchard circuit）。用户能够隐匿交易具体内容，但必须向网络证明其交易符合协议的规则。其中最重要的一项规则是资产守恒：一笔交易不能凭空创造新价值。

简言之，用户可以不公开自己拥有多少ZEC，也可以不透露将多少ZEC转给了谁，但网络必须能够确认：

Taylor发现的问题出现在Orchard电路中的一项椭圆曲线乘法检查。

Shielded Labs将其称为“under-constrained element”，即约束不完整的电路元素。由于相关数学关系没有被完全约束，攻击者可以向椭圆曲线乘法过程输入任意错误数据，但验证过程依然可能返回通过。

换句话说，攻击者无需破解密码学算法，也不需要控制网络节点。

他们只需构建一组本不应成立的数据，让系统错误地相信交易仍满足资产守恒的规则。

当这份错误证明被网络接受后，原本并不存在的ZEC便可被视为合法资产，继续留存在Orchard之中。

这也是Shielded Labs使用极其严厉措辞的原因：

无限、不可检测的伪造ZEC。

来源：Odaily星球日报