- Luke Dashjr氏は、Coldcardの乱数生成コードに関する9つの懸念事項を公開し、それらを最初にCoinkiteに私的に通告したと語っている。
- Dashjr氏は、ウォレットの乱数発生器（RNG）の問題を発見できるのは「天才的なAI」だけだという主張を「明らかな嘘」と呼び捨てにした。
- Coinkiteの8月20日付ファームウェアでは、チップのシードエラー状態をチェックする機能が追加され、これはDashjr氏が指摘した欠陥の一つである。
Bitcoin Core開発者のLuke Dashjr氏は月曜日、Coldcardの乱数生成コードについて9つの懸念を提起し、それらを最初にCoinkiteに非公開で報告したと述べた。
彼は、このウォレットのRNG（乱数生成器）の欠陥を見つけるには「天才的なAI」しかできないという主張に対抗するため、そのリストを投稿した。
Coinkiteへの私的な報告後、9つのRNGに関する懸念が公になった
「もう十分長い間経っているし、nvkが人間ではColdcardの欠陥を見つけられないかのように振る舞っているのを聞いている」とDashjr氏はXのスレッドで書いた。Rodolfo Novak（Nvk）はCoinkiteの共同創設者である。
Dashjr氏は、自身が会社へ通知した後、Coinkiteがこれらの項目を修正したかどうかは知らないと言った。すべての項目が武器化可能であるとか、すべてが確実にバグであると主張したわけではない。
「しかし、『天才的なAI』だけがRNGの問題を見つけられるという主張は明白な嘘だ」とDashjr氏は書いた。
最初に指摘された項目は、Mk4のRNGを開始するルーチンであるrng_init内のTODOノートだった。いくつかのSTM32チップでは、最初のサンプルを破棄する必要があるようだ、と彼は書いた。
また、ドライバはチップのシードエラーおよびクロックエラービットを無視している、とDashjr氏は指摘した。さらに、STM32のマニュアルでは、暗号学的用途のために追加の後処理が必要だとされている、と彼は述べた。
random_buffer 関数は RNG 出力の繰り返しを検出しますが、rng_get への直接呼び出しは対象外です。
Dashjr 氏は、random_buffer チェックが冗長であることが証明されるまで rng_get_or_fault を安全とは見なせないとの見解を示しました。また、STM32 の出力が決定的になった場合、なぜセキュアエレメントの乱数が 256 ビットの完全なエントロピーを維持しなかったのかと質問しました。
Dashjr 氏は、置き換えコードは本質的に新規の RNG であり、完全なテストが必要であると述べました。
このパッチはビルド時のみ古い PRNG を無効化しており、代わりにランタイムアサーションを求めるべきだと主張しました。間違ったコンテキストでの RNG タイムアウトは未定義動作を引き起こす可能性があり、低速デバイスのブリーキングリスクのあるクラッシュにつながる恐れがあると彼は記しています。
Coinkite ファームウェア 5.6.1 では、フラグされたシードエラー状態がすでにチェックされています。
Coinkiteが2026年7月30日に発表した技術的な背景資料では、同社は「本日になるまでこのバグを認識していなかった」と述べていた。Cryptopolitanは、同社が開発元ファームウェアに対してAIを用いて脆弱性を事前に検知した外部関係者が存在する可能性を理論的に推測していたと報じた。
Coinkite は、数週間前に実施した AI 支援によるレビューでは検出されなかったと付け加えました。この欠陥は、2021 年 3 月のファームウェア変更により、シード生成がハードウェア乱数チップから移行された結果でした。
代わりに、シードはYasmarangというソフトウェアツールから生成されました。これはチップのシリアル番号とタイマーをフィードとして使用しています。Mk2およびMk3のシードには約40ビットの真のランダム性しか含まれておらず、これはBIP-39が想定する128ビットに比べて大幅に少なく、攻撃者はオフラインで弱いシードを再構築することができました。
Mk4およびMk5には5.6.1、Qには8月20日付で1.5.1Qのファームウェアが提供された。Coinkiteのセキュリティ更新情報では、「Kimiやその他の最先端モデルによるAI支援付きレビュー」に言及し、問題を報告してくれた外部研究者に感謝を示した。
変更の一部はDashjrのリストに含まれています。ファームウェアは現在、ハードウェアRNGのシードエラー状態を確認し、回復可能なエラーが発生した後に次の12語分のハードウェア単語を破棄します。
ブートチェックにより、rng_get()がハードウェア読み取りパスに到達することが保証されます。バックアップジェネレーターはSHA-256 Hash_DRBGに変更されました。
窃盗は7月30日に始まり、攻撃者は25分以内に約500件のウォレットから594 BTC（約3,800万ドル）を奪った。一部の流出はホワイトハットのレスキュー行為であったが、累積的な損失額は1億4,000万ドル超と見積もられている。
Coldcard顧客のアミール・レザ・ナーデリ氏は、Coinkite、Novak、共同創業者のピーター・D・グレイに対して、オンタリオ高等法院で提訴予定の集団訴訟を起こしました。彼は彼らが2025年5月時点でシード生成の問題を知りながらユーザーに警告しなかったと主張していますが、Coinkiteはこの点を否定しています。
暗号通貨のニュースを読むだけでなく、それを理解しましょう。ニュースレターに登録してください。無料です。
よくある質問
ルーカス・ダッシュジュニアは何を争っているのか？
「天才的なAI」でなければColdcardのRNGの問題を見つけられないという主張。この主張はCoinkiteの共同創業者ロドルフォ・ノヴァクに関連付けられています。
Coldcardの盗難の原因は何でしたか？
2021年3月のファームウェア変更により、シード生成がYasmarangソフトウェアツールに移行され、攻撃者がオフラインで再構築できる弱いシードが生成されました。
どのくらいのビットコインが盗まれたのか？
7月30日の最初の25分間で約594 BTC（約3,800万ドル）が流出しました。累積損失は1億4,000万ドルを超えると推定されています。
免責事項。 本情報は取引助言ではありません。Cryptopolitan.com は、本ページに記載された情報に基づいて行われた投資に対して一切の責任を負いません。投資判断を下す前に、独自の調査を行うか、資格を有する専門家にご相談することを強く推奨します。
ランダ・モーゼス
ランダ・モーゼスはCryptopolitanのエディター兼記者で、テクノロジー、AI、ロボティクス、暗号資産、詐欺、ハッキングなどを担当しています。2017年以来暗号資産分野で活動しており、Forward Protocol、AmaZix、Cryptosomniacで役職を務めました。ブラッドフォード大学で電気電子工学の学位を取得しています。
