AnchorWatchのCEOでありBitcoin貢献者でもあるRob Hamilton氏は、8月20日、自身初のコミットがBitcoin Coreにマージされました。修正はウォレット関連のバグに対処するものであり、注目すべきはその発見方法です。AIモデルをBitcoinのコードベースに向けて問題を探させるという手法が用いられました。

Hamilton氏の取り組みは、「Bitcoin Red Team」と名付けたより広範なイニシアチブの一部です。これは、AIを活用してBitcoin関連のオープンソースコードを体系的に監査するボランティア主導のキャンペーンです。同プロジェクトはすでに数千件の潜在的な問題を洗い出しており、そのうち数十件は危急として分類されています。また、AIセキュリティ研究の現状について不都合な事実も明らかにしました。監査の最中に、必要なツールを突然奪われる可能性があるのです。

この結果は単一のパッチを超える意味を持ちます。Bitcoin CoreはBitcoinプロトコルのリファレンス実装であり、変更はマージ前に少数のボランティアメンテナーによる extensive なレビューを受ける、慎重さを重視したプロセスになっています。このソフトウェアは数千億ドル規模の価値を守っているためです。

Bitcoin Red Teamの30時間スプリントの内幕

Red TeamはHamilton氏と16名のボランティアで構成され、8月上旬に最初の本格的な取り組みを開始しました。約30時間で、グループは390以上のBitcoin関連オープンソースリポジトリにわたり4,962件の発見を文書化しました。うち85件は危急、635件は高深刻度としてフラグ付けされました。

Hamilton氏は5月にはすでにBitcoin Coreに対するAI支援コード分析を試験していました。単独の実験を組織的なキャンペーンへと発展させる転機となったのは、7月に発生し1,000 BTC超の盗難につながったColdcardハードウェアウォレットの脆弱性でした。

OpenAIがアクセスを遮断、代替が台頭

8月9日頃、OpenAIはHamilton氏による同社ツールを用いたBitcoinセキュリティ分析の継続をブロックしました。グループはKimi K3を含む代替AIシステムに移行し、作業を継続しました。

この一件は、独立系セキュリティ研究者が少数のAIプロバイダーにどれほど依存しうるか、そして防御的な性質の作業に対してアクセス条件がいかに速く変わりうるかをも示しています。

ボトルネックはもうバグ発見ではない

Hamilton氏自身、AIファースト手法の大きな限界を認めています。それはメンテナーとの下流の調整です。30時間で約5,000件の問題を発見することは印象的です。しかし、数百のリポジトリのメンテナーにそれらの発見をレビュー、トリアージ、パッチしてもらうことは、まったく別の課題です。

その比率が物語っています。30時間の走査で約5,000件の発見に対し、数週間のレビューを経てマージされたコミットは1件。特にBitcoin Coreでは、メンテナーが他の業務と並行してボランティアベースで貢献をレビューすることが多いため、機械生成の発見の急増は、プロジェクトの既存のレビュー文化がより大量のレポートをいかに吸収するかを試すことになるでしょう。また、Hamilton氏がウォレットのバグを適切なチャネルを通じて報告したように、AI支援の発見の開示が同様の取り組みにおける規範となるかどうかも問われています。