BitcoinコントリビューターがAIツールでウォレットのクラッシュバグを修正、AIセキュリティの可能性と課題が浮き彫りに

AnchorWatchのCEOであり、BitcoinコントリビューターであるRob Hamiltonは、8月20日に自身の最初のコミットがBitcoin Coreにマージされた。その修正はウォレット関連のバグに対処したものであり、興味深いのはその発見方法だ。AIモデルをBitcoinのコードベースに向け、問題を探索させたのである。

Hamiltonの取り組みは、彼が「Bitcoin Red Team」と呼ぶ広範なイニシアチブの一環であり、AIを使用してBitcoin関連のオープンソースコードを体系的に監査するボランティア主導のキャンペーンだ。このプロジェクトはすでに、重大（critical）に分類される数十件を含む、数千件の潜在的な問題を浮き彫りにしている。また、AIを活用したセキュリティ研究の現状について、不都合な事実も明らかになった。必要なツールが監査の途中で取り上げられてしまう可能性があるということだ。

Red TeamはHamiltonと16人のボランティアで構成され、彼らは8月初旬に最初の主要な活動を開始した。約30時間で、グループは390以上のBitcoin関連オープンソースリポジトリにわたり、4,962件の所見を記録した。そのうち、85件が重大（critical）、635件が重要（high-severity）とフラグを立てられた。

Hamiltonは早くも5月の時点で、Bitcoin Coreに対するAI支援型のコード分析の実験を行っていた。単独の実験を組織的なキャンペーンへと変えるきっかけとなったのは、7月に発生したColdcardハードウェアウォレットの脆弱性であり、これにより1,000 BTC以上が盗まれた。

8月9日頃、OpenAIはHamiltonが同社のツールを使用してこれ以上のBitcoinセキュリティ分析を行うことを禁止した。グループは活動を継続するため、Kimi K3を含む代替のAIシステムへと方向転換した。

Hamilton自身も、AI優先アプローチの重大な限界を認めている。それは、メンテナとの下流工程での調整だ。30時間で5,000件近い問題を見つけるのは驚異的だ。数百の異なるリポジトリのメンテナにそれらの所見をレビューさせ、トリアージし、パッチを適用させることは、全く別の課題である。

その比率が物語っている。30時間のスキャンで5,000件近い所見が得られたのに対し、数週間のレビューを経てマージされたコミットはわずか1件だった。