ZEC大涨12%，Zcash接近证实可抵御伪造漏洞_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

ZEC大涨12%，Zcash接近证实可抵御伪造漏洞

2026-07-08 17:49:34

山寨币新闻

Zcash 的代币 ZEC 于 7 月 7 日上涨超过 12%，此前开发者表示，他们即将完成一项数学证明，以确保该网络的隐私系统不存在隐藏的伪造漏洞。

此次上涨使 ZEC 自 2026 年 6 月初以来首次重回 500 美元上方。今年 6 月初，Zcash 的 Orchard 隐蔽池被曝存在严重缺陷，导致该代币在两天内下跌超过 40%。截至发稿时，该代币交易价格为 478 美元。

这项成果来自 Project Tachyon 项目，该项目分享了关于其对 Ironwood 进行验证工作的最新细节。Ironwood 是即将推出的隐蔽池，旨在取代 Orchard。Zcash 创始人 Zooko Wilcox 表示，团队已接近证明最新隐蔽池中不存在无法被发现的伪造漏洞。

Orchard 缺陷如何催生了这项工作

上个月，Shielded Labs 安全研究员 Taylor Hornby 在 Orchard 中发现了一个伪造漏洞。开发者在一次网络升级中修复了该缺陷，并表示相信没有人利用过它。

问题在于，利用该漏洞的行为是无法被检测到的。由于 Zcash 使用零知识证明隐藏交易金额，这些证明中的缺陷可能让某人创建虚假 ZEC 而不留下公开证据。这种设计使得仅通过检查账本无法证明没有发生过伪造行为。

作为回应，社区决定启动 Ironwood 项目。新池基于 Orchard，但以修复缺陷后的全新状态启动。一个旋转门机制允许钱包将资金从 Orchard 转移到 Ironwood，这有助于证明从未发生过伪造行为。旧 Orchard 池内的支付功能将被关闭，以便对 ZEC 的流通供应量设定上限。

利用人工智能加快验证速度

为了增强对 Ironwood 的信心，团队转向了形式化验证方法。这种方法直接检查协议背后的数学原理，而不仅仅是阅读代码。其核心理念是：无法被发现的伪造漏洞只能存在于规范中——即协议工作原理的形式化描述。而软件中的漏洞总可以在后续通过重放链上历史记录被捕获。

开发者表示，人工智能的进步使这一过程变得可行得多。像 Lean 这样的工具可以在证明编写完成后自动进行验证。在人类指导下，大型语言模型可以将生成这些机器可验证证明的时间从数年缩短至数周，即使对于复杂系统也是如此。参与这项工作的包括来自 Zcash 团队的 Tal Derei、来自 zkSecurity 的 Gregor Mitscha-Baude 以及来自 Zcash 开放开发实验室的 Daira-Emma Hopwood。

前 NEAR 协议贡献者 Vadim Zacodil 将这一风险比作比特币 2010 年的通胀漏洞——当时在链被回滚之前，产生了 1840 亿枚虚假比特币 (BTC)。由于比特币交易是公开的，那次漏洞立即被发现。而 Zcash 的隐私设计无法提供这种安全网，这也是团队首先将证明工作重点放在此类漏洞上的原因。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文

ZEC大涨12%，Zcash接近证实可抵御伪造漏洞

山寨币新闻

Orchard 缺陷如何催生了这项工作

利用人工智能加快验证速度

更多新闻

我的自选