深潮 TechFlow 消息，7 月 08 日，據 The Block 報道，Zcash 開發團隊表示，正接近完成一項數學證明，以驗證新版隱私池不存在無法被察覺的偽造漏洞。該進展與 AI 輔助形式化驗證的應用有關，顯著縮短了原本可能耗時數年的驗證週期。

受此消息影響，ZEC 週二一度上漲超過 12%。

此前，Zcash 的 Orchard 隱私池曾披露關鍵漏洞，引發代幣價格在兩日內大幅下跌。