Zcashの新プライバシープール「Ironwood」は形式検証を採用、検出不可能な増刷脆弱性の根絶を目指す

Odaily 星球日報 Zcashの開発チームは、今後の新しいプライバシープール「Ironwood」を通じて形式検証を導入し、数学的証明によって「検出不可能な増刷脆弱性（Undetectable Counterfeiting）」のリスクを排除する計画を発表した。

これまでの情報によると、Orchardシールドプールに存在した脆弱性は修正が完了し、悪用された証拠は今のところないものの、理論上はチェーン上の履歴から隠れた増刷が発生したかどうかを確認できないため、コミュニティは新しいIronwoodシールドプールを立ち上げ、そのプロトコルに対して全面的な形式検証を実施することを決定した。