ZEC短暂突破500美元，创始人称形式化证明即将完成

Zcash (ZEC) 在创始人 Zooko Wilcox-O’Hearn 透露该项目 Tachyon 形式化验证计划即将提供一项数学证明后，短暂突破了 500 美元。该证明旨在验证最新版 Zcash 屏蔽池中不存在任何无法检测的伪造漏洞。

隐藏漏洞恐慌

Wilcox 表示，该项目“即将产生一个数学证明”，从而消除长期以来在隐私保护与加密货币供应量可验证性之间存在的权衡。

项目 Tachyon 近期分享了关于 Zcash 即将推出的 Ironwood 屏蔽池验证工作的新细节。此前，在 Orchard 屏蔽池中发现了一个漏洞。

今年 5 月，Shielded Labs 的安全研究员 Taylor Hornby 在 Zcash 旗舰屏蔽池 Orchard 中发现了一个伪造缺陷。虽然该问题已通过网络升级得到修复，且团队认为该漏洞从未被利用，但其难以检测的特性促使社区开发了新的屏蔽池 Ironwood，以彻底移除该漏洞。

Ironwood 基于 Orchard 构建，但采用了修补后的设计。该协议还包含一个转门机制，允许用户将资金从 Orchard 迁移至 Ironwood，同时有助于证明未发生任何伪造行为。作为过渡的一部分，旧版 Orchard 池内的支付功能将被禁用，从而为流通中的 ZEC 供应量设定一个上限。

据项目方表示，仅修复漏洞并不足以确保未来安全。因此，社区发起了一项“多管齐下”的验证工作，结合了广泛的安全审计、前沿人工智能工具分析以及形式化验证，以确保 Ironwood 的正确性。

看涨信号？

过去一周，ZEC 稳步上涨。这种隐私币从约 410 美元持续攀升，短暂突破 500 美元关口，随后回吐部分涨幅，稳定在 480 美元附近。即便出现回调，ZEC 在此期间仍上涨了近 20%。

交易员“Ardi”指出，ZEC 在 480 美元附近面临关键阻力，一条下降趋势线与一条水平阻力线在此交汇，形成了“复合阻力”。该交易员认为，近期在该阻力位的回调实际上强化了这一形态，使价格回落重新测试趋势线。

根据 Ardi 的观点，如果该代币突破 480 美元并站稳该水平作为支撑，它有望重获动能并再次突破 500 美元。