形式検証＋新しいプール、Zcashは今回、プライバシーコインのセキュリティ基準を数学レベルに引き上げようとしており、Orchardの潜在的なリスクにようやく完全な解決策がもたらされる。

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