Le plan quantique de Bitcoin suppose que certains algorithmes seront défaillants. L'IA en a affaibli un en seulement 60 heures

Le poids lourd de l'IA Anthropic a déclaré plus tôt cette semaine que son modèle Claude Mythos Preview avait a découvert une attaque qui réduit de moitié la force clé effective de HAWK, un remplaçant proposé pour les signatures numériques qui protègent la banque en ligne et les paiements web.

Le travail a nécessité environ 60 heures et environ 100 000 dollars en coûts de calcul, contre un algorithme qui avait survécu à deux ans et deux cycles d'examen par des experts humains.

Les schémas de signature numérique tels que HAWK prouvent qu’un message ou un ensemble de données provient de la personne détenant une clé numérique spécifique correspondant précisément à ce message. Bitcoin en utilise un à chaque déplacement de pièce, tout comme chaque site web affichant un cadenas dans le navigateur.

Les versions utilisées aujourd'hui sont susceptibles d'échouer face aux ordinateurs quantiques, et HAWK est l'un des candidats à l'examen pour les remplacer. Il n'a été déployé publiquement nulle part.

Rien dans cette recherche n'affecte actuellement le bitcoin ou l'ether, car tous deux sécurisent les transactions avec des signatures sur courbes elliptiques, auxquelles aucune des attaques n'était destinée. HAWK ne fait pas partie des protocoles vers lesquels le bitcoin envisagerait de migrer.

BIP-360, la proposition visant à doter le bitcoin d'adresses résistantes au quantique, spécifie trois algorithmes déjà normalisés par le NIST, et en inclut plusieurs délibérément afin que les utilisateurs disposent de solutions de secours si l'un d'eux venait à être compromis ultérieurement par des avancées quantiques ou classiques.

Ce qui a changé, c’est la vitesse du côté classique. BIP-361, la proposition complémentaire visant à geler plus d'un tiers de l'offre de bitcoin, soutient que la fenêtre de migration se referme en raison de l'amélioration des attaques cryptographiques pouvant atteindre un facteur 20. Les résultats d'Anthropic s'alignent sur cette tendance, avec un modèle qui la sous-tend.

Contre le plus petit ensemble de paramètres de HAWK, Anthropic a déclaré que le coût attendu pour récupérer une clé est passé d'environ 2^64 opérations à 2^38. Les clés plus longues restent impraticables à attaquer, mais doubler la taille des clés pour compenser élimine la plupart des aspects qui rendaient HAWK attractif.

La société a divulgué l’attaque aux auteurs de HAWK en juin et a coordonné la publication avec la liste de diffusion publique du NIST.

Un second résultat a permis d'améliorer les attaques sur une version délibérément affaiblie de l'AES, le chiffre utilisé dans toute l'industrie pour chiffrer les fichiers de portefeuille, avec des facteurs allant de 200 à 800.

Il est important pour les développeurs de crypto que, selon Anthropic, le modèle ait produit des améliorations plus modestes, inférieures à un facteur de dix, par rapport à Poseidon, la fonction de hachage qui sous-tend de nombreux systèmes de preuve à divulgation nulle de connaissance, y compris ceux qui sécurisent les rollups et les protocoles de confidentialité.

Claude, l'outil d'IA populaire de l'entreprise, a initialement refusé le problème AES, déclarant aux chercheurs qu'il était « véritablement difficile » et qu'il n'y avait « rien de facile à trouver ». Mais après trois courtes sollicitations, il a produit un milliard de jetons de sortie sur trois jours et a trouvé l'amélioration. Sa vérification a pris près d'un mois à deux chercheurs d'Anthropic.

Le moment semble particulièrement opportun. Le réseau de confidentialité Zcash a activé une mise à niveau mardi, introduisant un nouveau pool sécurisé conçu pour rester récupérable si des ordinateurs quantiques devenaient disponibles.

Les dispositifs destinés à assurer leur transition sont désormais soumis à un test de résistance par un facteur qui agit plus rapidement que les concepteurs eux-mêmes.