Zcash ZEC 上涨 12%，因 Ironwood 形式验证接近完成

Zcash 的 ZEC 代币上涨约 12%，此前 Project Tachyon 背后的开发者宣布他们即将正式证明该网络的流入 Ironwood 屏蔽池不存在无法检测的伪造漏洞。此次价格上涨之前，形式化验证工作取得了进展，旨在排除 Zcash 的 zk-SNARK 电路中可能允许隐藏 ZEC 铸造的可靠性漏洞。由研究员 Taylor Hornby 发现的 Orchard 漏洞是 Zcash 用于屏蔽交易的电路中的一个漏洞，不过开发者认为没有发生利用。Ironwood 计划于 7 月底激活，配备一个转闸机制，允许用户将资金从易受攻击的 Orchard 池迁移出来，并有助于证明没有发生伪造。

Orchard 漏洞可能导致隐藏伪造

Orchard 漏洞是 Zcash 用于屏蔽交易的 zk-SNARK 电路中的一个可靠性漏洞。可靠性漏洞允许不诚实的证明者让网络相信一个虚假陈述，在这种情况下，攻击者可能铸造出没有链上痕迹的伪造 ZEC。由于任何利用都是不可见的，开发者可以修补漏洞，但无法证明它从未被使用过。Taylor Hornby 发现了这个漏洞。

Ironwood 引入形式化验证和转闸机制

Ironwood 是一个基于 Orchard 的新屏蔽池，在修复漏洞后重建。Tachyon 团队表示，他们“主要进行了全面努力，对 Ironwood 进行形式化验证，排除了无法检测的伪造漏洞”，并指出此类漏洞“只能存在于规范中”，因为实现错误会在账本上留下可检测的证据。

为了处理已经在易受攻击池中的代币，Ironwood 包含一个转闸。钱包将资金从 Orchard 迁移到 Ironwood，并且禁用旧池中的支付设定了流通中 ZEC 的上限，这有助于证明没有发生伪造。开发者表示他们相信没有发生利用，并且转闸的设计是将这种信念转化为网络可以检查的东西。

开发者表示，他们预计在 7 月底激活 Ironwood，对新池的形式化验证将决定伪造漏洞是否曾是一个实际风险。

ZEC 价格已收复披露后损失的一半左右

ZEC 在披露后的两天内从约 600 美元跌至约 300 美元，随后回升至约 457 美元。该代币现已收复约一半的跌幅。12% 的涨幅紧随 Project Tachyon 开发者关于形式化验证进展的公告之后。

Ironwood 升级背后的开发团队

该升级由一组 Zcash 团队构建，包括 Zcash Open Development Lab，这是前 Electric Coin Company 工程师的分支，今年筹集了 2500 万美元用于资助隐私工作。发现 Orchard 漏洞的 Taylor Hornby 在 Shielded Labs 工作。

常见问题

什么是 Zcash 中的 Orchard 漏洞？

Orchard 漏洞是 Zcash 的 zk-SNARK 电路中的一个可靠性漏洞，可能允许攻击者铸造没有链上痕迹的伪造 ZEC。由研究员 Taylor Hornby 发现，该漏洞允许不诚实的证明者让网络相信虚假陈述，不过开发者认为没有发生利用。

Ironwood 转闸机制如何工作？

转闸允许钱包将资金从易受攻击的 Orchard 池迁移到新的 Ironwood 池。禁用旧池中的支付设定了流通中 ZEC 的上限，这有助于证明在漏洞期间没有发生伪造。

Zcash 何时激活 Ironwood 升级？

开发者预计在 7 月底激活 Ironwood。对新池的形式化验证将决定伪造漏洞是否曾是一个实际风险。