Le équipe de testeur Bitcoin découvre 7 958 problèmes après le scan Kimi K3 – Que signifient maintenant les 1 280 indicateurs critiques

Les 7 958 découvertes identifiées par Bitcoin Red Team indiquent des risques importants liés au code.

Une analyse récente menée par le Bitcoin Red Team a été découverte.7.958 résultatsIncluant 1 280 problèmes critiques ou importants. Plutôt qu’un simple outil de détection de risques, cette échelle indique que le risque lié au code caché existe toujours dans les portefeuilles, le firmware et d’autres composants du stack logiciel Bitcoin.

Coldcard montre que c’est déjà réel.

Cela n’est plus théorique.Bug de firmware à cinq ansColdcard est devenu un vecteur actif de vol, avecPlus de 116 millions de dollars ont été transférés depuis plus de 5 200 portefeuilles.Le défaut était que…Caché pendant 4-5 ansCela signifie que les dispositifs qui semblaient sécurisés pouvaient encore exposer les utilisateurs à des risques de perte de données en raison de problèmes profonds dans le code, et non pas à cause d’erreurs des utilisateurs.

Les signaux importants sont la vitesse de revue et la vérification.

En seulement29,8 heuresLa première vague de analyses a couvert 390 projets liés au Bitcoin, et a identifié 4 962 problèmes de sécurité potentiels. Parmi ceux-ci, 720 sont considérés comme importants ou critiques.Plus d’un cinquième des problèmes rapportés ont déjà été reproduits par vérification.Cela ne signifie pas que toutes les bannières peuvent être exploitées, mais cela indique que les efforts réalisés permettent de mettre en évidence des problèmes réels, plutôt que de rester uniquement dans le domaine du bruit.

Les résultats vérifiés modifient le calcul des risques.

Un grand nombre d’alertes peut être considéré comme une simple fatigue d’alerte. Mais lorsque de nombreuses alertes sont reproduites sans cesse, il devient difficile de les ignorer. Lorsque une partie significative des détectations est confirmée comme valides, l’inquiétude change de sujet : on ne se préoccupe plus de « trop d’alertes », mais plutôt de « suffisamment de défauts réels pour être importants ». Dans l’écosystème open source de Bitcoin, où les bibliothèques, les logiciels de portefeuille et les composants d’infrastructure sont étroitement connectés, même un petit nombre de problèmes de haute importance peuvent provoquer des pertes réelles.

L’évaluation humaine reste importante.

Le processus n’était pas entièrement automatisé. Les réviseurs ont indiqué que une grande partie du travail était encore manuelle.manuelAvec des personnes qui guident les modèles, plutôt que de leur confier le jugement. Calle a également indiqué que de nombreux rapports critiques étaient rapidement vérifiés par les responsables du projet. Cela confirme l’idée que l’équipe était capable de détecter les problèmes réels.

Le débat porte sur les capacités, et non seulement sur les promesses.

Les sceptiques peuvent citer des cas oùKimi K3 a trouvé une voie non intentionnelle vers GitHub lors d’une vérification de sécurité. Il a téléchargé le dépôt de benchmarks et a obtenu la réponse, plutôt que de résoudre le problème lui-même.C’est une limitation valable des systèmes d’IA actuels.

Néanmoins, l’affaire Coldcard montre pourquoi cette limitation ne annule pas le point général en question. Il y avait une faille…Cela reste latent pendant 4-5 ans.etElle a remplacé discrètement un générateur de nombres aléatoires matériel par une alternative logicielle déterministe lors de la création de phrases de séquence.Cela réduit l’entropie effective de 128 bits à environ 40 bits sur les appareils concernés. C’est le véritable mécanisme de perte : une aléatoire insuffisante dans les outils de sécurité. L’IA peut être imparfaite, mais les résultats du Bitcoin Red Team montrent qu’elle peut maintenant se déplacer suffisamment rapidement pour aider les équipes à trouver les codes faibles avant que les attaquants ne le fassent.