资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
山寨币新闻
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 的隐私设计无法提供这种安全网，这也是团队首先将证明工作重点放在此类漏洞上的原因。
