Zcashの新しいプライバシープールIronwoodは、形式的検証を採用し、検出不可能な増発の脆弱性を根絶することを目指しています。

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

以前の情報によると、Orchard シールドプールに存在する脆弱性は修正され、利用された証拠はありませんが、理論的にはチェーン上の履歴を通じて隠れた増発が発生したかどうかを確認することができないため、コミュニティは全く新しい Ironwood シールドプールを導入し、そのプロトコルに対して全面的な形式的検証を行うことを決定しました。