Défaut du générateur de nombres aléatoires de Coldcard : débat sur les audits de sécurité assistés par IA
Le PDG de Coinkite, NVK, défend son audit par IA après l'exploitation d'un défaut de Coldcard, tandis que le développeur Bitcoin Luke Dashjr soutient que les vulnérabilités auraient pu être détectées par des auditeurs humains.
Traduit de l'anglais. Lire l'original
À retenir
- Coinkite affirme qu'un modèle d'IA a découvert un défaut du générateur de nombres aléatoires que les audits humains avaient manqué.
- Le développeur de Bitcoin Core, Luke Dashjr, a publié neuf problèmes concrets qu'il avait précédemment signalés à Coinkite, contestant le récit attribuant la découverte uniquement à l'IA.
- La vulnérabilité, liée à une modification du firmware de 2021, a permis le vol d'environ 140 millions de dollars en Bitcoin et a entraîné des poursuites judiciaires.
Les portefeuilles matériels Coldcard ont été touchés par un défaut critique du générateur de nombres aléatoires (RNG) permettant aux attaquants de reconstruire les clés privées et de voler environ 140 millions de dollars en Bitcoin. Rodolfo « NVK » Novak, PDG de Coinkite, a défendu le processus de sécurité de l'entreprise, affirmant qu'un nouveau modèle d'IA a identifié le défaut après l'échec de multiples revues humaines. Le développeur Bitcoin Luke Dashjr a publiquement contesté cette affirmation en publiant une liste de neuf points concernant des inquiétudes sur le RNG qu'il avait précédemment partagées en privé avec Coinkite.
BTC / USD
Audit par IA contre revue humaine
NVK a publié sur X qu'au moins 15 revues externes, y compris des audits payants des modèles Mk4 (2022) et Q (2024), avaient examiné le matériel, le firmware et le code de génération d'entropie de Coldcard. Il a cité un « Cybersecurity Harness » basé sur OpenAI qui a généré 85 résultats candidats, soutenant que seul ce modèle sophistiqué a découvert le défaut de génération de graine. Selon crypto.news, NVK a écrit : « La vérité inconfortable est qu'il a fallu un nouveau modèle d'IA pour trouver ce que les humains ne pouvaient pas. »
La réfutation en neuf points de Dashjr
Dans un fil sur X, Luke Dashjr a listé neuf problèmes spécifiques qu'il estime qu'un auditeur compétent aurait pu détecter. Les points vont d'un commentaire TODO dans la routine d'initialisation du RNG à l'ignorance des bits d'erreur de graine et d'horloge sur la puce STM32, en passant par un post-traitement insuffisant pour un usage cryptographique. Il a également souligné que la vérification de random_buffer ne couvre pas les appels directs à rng_get, et que le RNG de remplacement du firmware manquait d'assertions d'exécution. Dashjr a insisté sur le fait que ses constatations avaient été partagées en privé avec Coinkite avant d'être rendues publiques et qu'il n'avait pas affirmé que chaque point était exploitable.
Contexte technique du défaut
La vulnérabilité provenait d'une modification du firmware de mars 2021 qui a déplacé la génération de graine du RNG matériel vers un outil logiciel (Yasmarang) initialisé par le numéro de série de la puce et un minuteur. Cela a réduit l'entropie effective à seulement 40 bits sur les anciens appareils Mk2/Mk3, bien en dessous des 128 bits de sécurité supposés par BIP-39. Les attaquants ont pu reconstruire les clés privées hors ligne, entraînant une série de vols à partir du 30 juillet 2026, au cours desquels environ 1 816 BTC (soit environ 38 millions de dollars) ont été volés de plus de 5 200 adresses, selon TRM Labs et Galaxy Research.

Discussion 0