PANews 7月8日報道、The Blockによると、Zcashの開発者たちは、Ironwoodプライバシープールに先月Orchardプールで明らかになった検出不能な偽造脆弱性が含まれていないことを確認するための数学的証明の完成に近づいている。Zcash創設者のZooko Wilcox氏は、このプロジェクトが「まもなく数学的証明を生み出そうとしている」と述べた。このニュースを受け、ZECは一時500ドルを突破し、6月上旬以来の高値を付けた後、現在483.45ドルで取引されている。先月のOrchardプールの脆弱性公表後、ZECは2日間で40%以上急落していた。

Project Tachyonは、AI支援による証明生成によって、従来は数年かかっていた作業が数週間に短縮され、現在Ironwoodプールの安全性を検証中であると述べた。元NEARコントリビューターのVadim Zacodil氏は、これをビットコインの2010年のインフレーションバグになぞらえつつ、Zcashのゼロ知識証明の設計上、偽造を公に検出するのが難しいと指摘した。