吴そく報道によると、Zcash開発チームは、近く導入予定の新たなプライバシープール「Ironwood」において、形式検証（Formal Verification）を導入する計画であると表明した。数学的証明により「検出不可能な不正増発（Undetectable Counterfeiting）」リスクを排除するという。チームによれば、以前のOrchardシールドプールに存在した脆弱性は修正済みであり、現在のところ悪用された証拠はないものの、理論上はオンチェーン履歴で隠れた不正増発が発生したかどうかを確認できないため、コミュニティは新たなIronwoodシールドプールを立ち上げ、そのプロトコルに対して全面的な形式検証を実施することを決定したという。