Orchardのゴースト脆弱性は確証がないがコミュニティがPTSD状態に、ironwoodは直接数学で保証、Zcashのこれはプライバシーコインの中でも強迫症の末期

币界网消息，吴说获悉，Zcash開発チームは、近日リリース予定の新しいプライバシープール「ironwood」を通じて形式検証を導入し、数学的証明により「検出不能な増発脆弱性（undetectable counterfeiting）」のリスクを排除する計画であると表明した。チームによると、以前のorchardシールドプールに存在した脆弱性は修正済みであり、悪用された証拠は現時点ではないが、理論上はチェーン上の履歴から隠れた増発が発生したかどうかを確認できないため、コミュニティは新しいironwoodシールドプールを立ち上げ、そのプロトコルに対して全面的な形式検証を実施することを決定した。