Svmuuニュース：Zcash開発チームは、まもなくリリースされる新しいプライバシープール「Ironwood」を通じて形式検証を導入し、数学的な証明によって「検出不可能な偽造（Undetectable Counterfeiting）」のリスクを排除する計画を発表しました。
以前の報道によると、Orchardプライバシープールに存在した脆弱性はすでに修正されており、悪用された証拠も現時点では確認されていないものの、理論上、オンチェーンの履歴から隠蔽された追加発行が発生したかどうかを確認することができないため、コミュニティは新たなIronwoodプライバシープールを立ち上げ、そのプロトコルに対して包括的な形式検証を行うことを決定した。