深潮 TechFlow 消息，7 月 08 日，据 The Block 报道，Zcash 开发团队表示，正接近完成一项数学证明，以验证新版隐私池不存在无法被察觉的伪造漏洞。该进展与 AI 辅助形式化验证的应用有关，显著缩短了原本可能耗时数年的验证周期。

受此消息影响，ZEC 周二一度上涨超过 12%。

此前，Zcash 的 Orchard 隐私池曾披露关键漏洞，引发代币价格在两日内大幅下跌。