Zooko 在最新的 Mythos 安全审计中宣布 Zcash 无漏洞

Zcash (ZEC) 在 6 月 12 日获得了新的安全背书，Zcash 创始人 Zooko Wilcox-O’Hearn 确认，Anthropic 的 Mythos 工具进行的 AI 驱动审计未在协议中发现其他严重漏洞。

在 ZEC 继续从本月早些时候披露的其 Orchard 屏蔽池中关键伪造漏洞引发的 53% 暴跌中恢复损失之际，传来了这一健康报告。

据社区人物 Jason McGee 在 X 上详述，独立 Zcash 支持组织 Shielded Labs 委托了此次审计，并提供了由安全公司 Defuse Security 开发的提示。

Wilcox-O’Hearn 感谢 Anthropic 付出的努力，并表示加强 Zcash 安全性的工作将继续进行。

Mythos 审计对 Zcash 有什么作用？

Mythos 审计在 Zcash 代码库的信心受到强烈质疑的时刻，充当了事实上的外部验证。

6 月初，研究人员 Taylor Hornby 发现 Orchard 屏蔽池存在一个缺陷，允许无限铸造伪造的 ZEC。该漏洞存在了大约四年。

虽然没有证据表明被利用，但披露对 Zcash 来说是个坏消息，因为 ZEC 从约 621 美元跌至 6 月 5 日的低点 303 美元。

The 代币试图恢复 数据显示，6 月 8 日，ZEC 上涨至 427.67 美元，恢复了跌幅的 41.5%。

截至 6 月 12 日，ZEC 交易价格约为 438 美元，随后跌至约 410 美元。截至发稿时，该代币交易价格约为 415 美元，市值超过 69.4 亿美元，据 CoinMarketCap 数据。

据报道，Zcash 开放开发实验室（ZODL）已修补 Orchard 漏洞，并于 6 月 3 日宣布已解决根本问题。据 ZODL 创始人 Josh Swihart.

Zcash 正在采取哪些其他措施来加强安全性？

Mythos 的结果是 Zcash 加强安全性的更广泛运动的一部分。Zcash 团队发布了 Ironwood 提案 于 6 月 7 日。该提案包含在现有 Orchard 架构之上构建新屏蔽池的计划。

Ironwood 由 Tachyon、Valar Group、Zcash 基金会和 Shielded Labs 联合开发，在部署前需要进行形式化验证和多次独立审计。

Ironwood 的设计引入了转向会计机制，将所有合法硬币从当前的 Orchard 池迁移到新池中。即使旧池中产生了伪造的 ZEC，它也无法进入 Ironwood。

这种分层方法——修补现有漏洞、运行独立的 AI 审计以及提出架构变更——表明 Zcash 开发社区将 Orchard 事件视为更深层协议审查的催化剂，而非一次性修复。

市场仍在定价不确定性

BitMEX 联合创始人 Arthur Hayes 在 Orchard 披露后卖出了其全部 ZEC 头寸，而 ThorChain 也推迟了其计划的 ZEC 集成，直到协议能确认不存在重大伪造供应量。

使 Zcash 具有价值的隐私功能也使得无法确切证明该漏洞从未被利用，这是 Zcash 社区论坛广泛争论的紧张关系。

Swihart 在 6 月 8 日写道，这次事件压力测试了团队的响应流程，并产生了更统一的构建者社区。四天后的 Mythos 审计给出了干净的结果，为这一叙事增添了外部数据点。