Zcashの新しいプライバシープールIronwoodは形式的検証を採用し、検出できない増発バグの根絶を目指す

Odailyによると、Zcashの開発チームは、まもなく公開予定の新しいプライバシープール「Ironwood」を通じて形式的検証を導入し、数学的証明によって「判別不能な偽造（Undetectable Counterfeiting）」リスクを排除する計画を発表しました。

以前の報道では、Orchardシールドプールに存在していた脆弱性は修正されており、悪用された証拠は現在のところありません。しかし理論上では、オンチェーン履歴から過去に隠れた偽造が発生したかどうかを確認できないため、コミュニティは新たなIronwoodシールドプールの導入と、プロトコルへの全面的な形式的検証を決定しました。