AIがゼロ知識VMの監査ツールをゼロから構築、95件の証明と重大バグを発見

Security auditing in the age of (good enough) AI

Trail of Bitsは、Miden zkVMの監査に先立ち、AIエージェントを使ってLSPサーバー、デコンパイラ、静的解析エンジン、LeanによるVM実行モデルを6ヶ月でゼロから開発した。これらのツールは、悪意あるproverがFalcon署名を偽造し資金を盗める高深刻度の脆弱性を発見。さらにLeanで95件の機械検証済み正当性証明を生成し、既存テストが見逃していた2件のバグも特定した。