Foresight News によると、Monad の Category Labs チームは最近、Monad ブロックチェーンの形式検証結果を共有し、高度な AI モデル（Claude Opus 4.8 や Codex を含む）によるコードレビューで発見できなかった複数のセキュリティ脆弱性を明らかにしました。
発見されたバグは、Monad の非同期実行メカニズムにおける Reserve Balance 設計や、MIP-8 ストレージ最適化における未定義の C++ 動作の問題に関連しています。チームは形式検証がこれらの欠陥を捕捉することに成功したことを実証し、AI に反例を求める前に正確な正当性の命題を定義することが、直接的なコードレビューの依頼よりも隠れた脆弱性を明らかにするのに効果的であることを強調しました。
