Zcashは、Orchardシャールドプールで4年間、無限に発行するバグを抱えていた。このバグはAnthropicのClaudeが発見した。人間の監査者は誰も見つけられなかった。Trail of Bits、NCC Group、ABDKはすべて見逃した。なぜなら、このバグはアプリケーションロジックではなく、zk回路の制約に存在していたからだ。Zcashは透明に開示し、2026年第3四半期を目標に、強制的な形式的検証を含むIronwoodアップグレードを実施する。注目すべき点はここだ。AnthropicのプロジェクトGlasswingは、Moneroを監査キューに追加した。BulletproofsやRingCTに同様の欠陥が存在する場合、Moneroには緊急アップグレードを調整するElectric Coin Companyが存在しない。分散型ガバナンスは機能だが、無限発行バグを72時間以内にパッチする必要が生じたときにはそうではない。