Coldcardハードウェアウォレットは、攻撃者が秘密鍵を再構築し、推定1億4000万ドル相当のBitcoinを盗むことを可能にする重大な乱数生成器（RNG）の欠陥を抱えていた。Coinkite CEOのRodolfo “NVK” Novakは、複数の人間によるレビューが発見できなかった後、新しいAIモデルが欠陥を特定したとして、同社のセキュリティプロセスを擁護した。Bitcoin開発者のLuke Dashjrはこの主張に公に異議を唱え、以前に非公開メッセージでCoinkiteと共有していたRNGに関する9項目の懸念リストを公開した。

BTC / USD
出典：CoinGecko。価格は参考値です。

AI主導の監査 対 人間のレビュー

NVKはXに、Mk4（2022年）とQ（2024年）モデルの有償監査を含む少なくとも15件の外部レビューが、Coldcardのハードウェア、ファームウェア、エントロピー生成コードを調査したと投稿した。同氏は、85件の候補所見を生成したOpenAIベースの「Cybersecurity Harness」を挙げ、この高度なモデルだけがシード生成の欠陥を発見したと主張した。crypto.newsによると、NVKは「不快な真実は、人間にはできなかったことを発見するのに新しいAIモデルが必要だったということだ」と書いた。

Dashjrの9項目の反論

Luke DashjrはXのスレッドで、有能なレビュアーなら気づけたはずだと考える9件の具体的な問題を列挙した。項目は、RNG初期化ルーチンのTODOコメントから、STM32チップ上の無視されたシードエラーとクロックエラービット、暗号用途に必要な不十分な後処理まで多岐にわたる。同氏はまた、random_bufferチェックがrng_getへの直接呼び出しをカバーしていないこと、ファームウェアの代替RNGに実行時アサーションが欠けていたことも指摘した。Dashjrは、自身の発見は公表前にCoinkiteと非公開で共有されており、すべての項目が悪用可能だと主張したわけではないと強調した。

欠陥の技術的背景

この脆弱性は、シード生成をハードウェアRNGから、チップのシリアル番号とタイマーでシードされるソフトウェアツール（Yasmarang）に移した2021年3月のファームウェア変更に端を発する。これにより、古いMk2/Mk3デバイスでは実効エントロピーが最低40ビットまで低下し、BIP-39が想定する128ビットのセキュリティをはるかに下回った。攻撃者はオフラインで秘密鍵を再構築でき、TRM LabsとGalaxy Researchによると、2026年7月30日から始まった一連の盗難で、5,200以上のアドレスから約1,816 BTC（約3,800万ドル）が盗まれた。

法的措置と修復対応

Coldcardユーザーは、新しいシードを生成し、安全にバックアップし、最新のファームウェアリリース（Mk4/Mk5向け5.6.3、Q向け1.5.3Q）を使って資金を移行するよう指示されている。Coinkiteは、ファームウェア更新では以前に生成された弱いシードを修復できないと注記している。ウォレット所有者のAmir Reza Naderi氏により、Coinkiteが2025年5月以降RNG問題を認識しながら顧客に警告しなかったとして、オンタリオ州で集団訴訟が提起された。Coinkiteはこの主張を否定し、詳細な技術的ポストモーテムはまだ準備中だと述べている。

次に注目すべき点

Coinkiteによる今後の技術的ポストモーテムは、Dashjrの懸念のうちどれが最新のファームウェアパッチで対処されたかを明らかにするだろう。追跡調査により、法執行機関が7月から8月の盗難の背後にいる攻撃者を特定したかどうかが明らかになる可能性がある。最後に、より広い暗号資産コミュニティは、AI支援コードレビューが今後ハードウェアウォレットのセキュリティ実務にどのように統合されるかに注目するだろう。