Coldcard、1億1400万ドルのビットコイン流出後に新ファームウェアを提供 AIがさらなる不具合発見に寄与と発表
重要ポイント
- •Coinkiteは、乱数生成の欠陥によって1億1400万ドル超の流出が発生した後、Coldcardの新ファームウェアを公開した。
- •AI支援のレビューではKimiを含むモデルが使われ、元の乱数バグ以外の追加のセキュリティ問題も見つかった。
- •2021年から2026年7月までの影響を受けたファームウェアで作成されたウォレットのシードは依然として危険で、新しいシードの作成と資金移動が必要。
- •新ファームウェアでは、シード作成時にキー入力、ダイス、コイン投げによる手動の乱数提供が必須になった。
- •Coinkiteは、署名前の取引再確認の強化、編集可能な署名モードの既定ブロック、公式サイトからの更新のみを案内している。

Coinkite, Coldcardハードウェアウォレットの開発元であるカナダ企業は、攻撃者がビットコイン保有者から1億1400万ドル超を流出させることを可能にした欠陥を公表してから数週間後、新ファームウェアを公開した。Coldcardは、鍵をオフラインに保つことを中核とするビットコイン専用デバイスであり、ネットワーク接続なしでも取引に署名できる。そのため、デバイスがその鍵を生成する方法の欠陥は、利用者が同製品を購入する目的の核心を突くものだった。
同社は、このリリースの背景にあるセキュリティレビューがAI支援で行われたと説明し、欠陥のある乱数コードだけでなくシステム全体の調査に、Moonshot AIの中国のAIラボによる大規模言語モデルKimiを含むフロンティアモデルを用いたと明らかにした。そのレビューでは、元のバグとは無関係な追加の問題も見つかっており、取引の承認方法、USB経由のデータ処理、そしてファームウェア更新の検証方法、つまりデバイスに読み込まれるソフトウェアが本当にCoinkiteのものかを確認するチェックに影響していた。
更新をインストールしても、すでに侵害されたウォレットは安全にはならない。2021年から2026年7月までの間に影響を受けたファームウェア上で作成されたシード、つまりウォレット内のコインを管理するマスターキーを持つ人は、引き続き新しいシードを作成し、資金を移す必要がある。
新しいシードの作成方法も変わった。各シードでは、所有者が手動で乱数を供給する必要があり、予測不能な間隔での65回のキー入力、6面ダイスの50回の振り、または128回のコイン投げのいずれかを行う。
物理的な乱数が使われるのは、ダイスやコインはソフトウェアが予測できない結果を生む一方、流出の原因となった欠陥はデバイスが自力で乱数を生成していた点にあったからだと、CoinDeskは以前説明している。
内部では、Coinkiteはバックアップ用の乱数生成器を完全に置き換え、Yasmarangと呼ばれるアルゴリズムを、bitcoin自身が使うハッシュ関数であるSHA-256を基盤としたものに差し替えた。
デバイスは現在、署名前に直前の取引を再確認するため、USBポート側で侵害されたコンピューターが、所有者が画面上で承認した後に支払いを改変することはできない。署名後も取引の一部を編集できる署名モードは、既定でブロックされるようになった。
同社によると、法執行当局は依然としてこれらの流出を調査し、関係者の特定を進めており、Coinkiteも引き続き協力可能だという。
Coinkiteは、Mk4およびMk5デバイスの所有者に対してバージョン5.6.1のインストールを、より新しいQモデルの所有者には1.5.1Qのインストールを、公式ダウンロードページからのみ行うよう求めている。同社はまた、どのリリースが修正済みか、どの移行手順が適用されるかを示す公開ステータスページを立ち上げた。
AIがバグ発見にどう役立っているか
Coldcardは、AIがセキュリティ業務の進め方を変えたと公に述べた、この3週間で5番目のビットコイン関連または暗号資産関連企業となった。
BTCPay Serverは、事業者が自ら運用してビットコイン決済を受け付ける無料ソフトウェアだが、今月、攻撃者が、ちょうど修正された脆弱性を通じて利用者のLightningノードから資金を流出させる被害に遭った。同プロジェクトは、資金返還に対して最大3 $BTCの報奨金を提示し、脆弱性を発見した研究者には0.42 $BTCを支払った。また、事業者には資金をコールドストレージに保管し、ホットウォレットから超過分を定期的に移すよう促しており、「特にAI主導の急速な変化のこの時期には」としている。