Anthropic a révélé aujourd’hui que son modèle Claude Mythos Preview, encore non publié, a découvert deux attaques auparavant inconnues contre des algorithmes cryptographiques, dont une ciblant HAWK, un schéma de signature numérique post-quantique actuellement en lice lors du troisième tour du processus de standardisation du NIST. Le modèle d’IA a réduit le coût de récupération de la plus petite clé secrète de HAWK de 2^64 opérations à 2^38 opérations — environ 67 millions de fois moins de travail de calcul — en identifiant une symétrie mathématique qu’aucun cryptographe humain n’avait exploitée. Chaque percée cryptographique a coûté environ 100 000 dollars d’utilisation d’API, et Anthropic a coordonné la divulgation avec le NIST, les auteurs de l’algorithme, ainsi qu’avec des partenaires du gouvernement américain et du secteur avant publication. Les résultats montrent la capacité croissante des modèles d’IA à mener des recherches mathématiques avancées, bien que la vérification humaine de l’attaque contre l’AES, à elle seule, ait nécessité plusieurs centaines d’heures d’examen par des experts.
Claude Mythos Preview découvre une vulnérabilité de HAWK grâce à une symétrie mathématique
Claude Mythos Preview a identifié une symétrie enfouie dans la structure mathématique de HAWK, qu’aucun cryptographe humain n’avait exploitée auparavant. Pour la configuration la plus petite de HAWK, la découverte a fait passer le coût de calcul de la récupération d’une clé secrète de 2^64 opérations à 2^38 opérations. Le NIST a fait entrer HAWK dans le troisième tour de sa compétition de signatures post-quantiques en mai, où il reste le dernier candidat basé sur les réseaux. L’agence fédérale non réglementaire coordonne la compétition afin d’établir des standards cryptographiques résistants au quantique.
Corriger la vulnérabilité nécessite d’augmenter d’environ deux fois la taille des clés de HAWK. « Malheureusement, doubler la taille des clés de HAWK élimine de nombreuses raisons qui rendent le schéma (tel qu’il se présente actuellement) attrayant comme candidat de signature PQC », a écrit Anthropic dans sa divulgation. L’augmentation de la taille de la signature affecte l’avantage principal de HAWK — des clés compactes et des performances de signature rapides qui le distinguaient des schémas post-quantiques concurrents.
HAWK n’a jamais été déployé dans des systèmes de production. Bitcoin et d’autres blockchains continuent d’utiliser ECDSA, le schéma de signature pré-quantique que des candidats comme HAWK sont conçus pour remplacer à terme. Anthropic a divulgué la découverte concernant HAWK aux auteurs de l’algorithme et a coordonné avec le NIST avant publication.
Le modèle d’IA casse l’enregistrement AES de 2013 après un refus initial
La deuxième attaque cible une version de recherche AES à 7 tours, le chiffrement utilisé pour le trafic HTTPS, les disques chiffrés et les backends d’échange. L’AES-128 complet utilise 10 tours de brouillage, et aucun chercheur n’avait amélioré les attaques sur la variante à 7 tours depuis 2013. Les chercheurs d’Anthropic ont interdit à Claude toutes les cinq familles établies de cryptanalyse AES et lui ont demandé d’inventer une sixième approche. Le modèle a hérité de notes de travail provenant d’exécutions d’agents antérieures qui avaient testé environ 200 variantes d’attaque échouées.
Claude a d’abord refusé la tâche. « Sur AES-128 r5/r6/r7, il n’a rien trouvé parce qu’il n’y a rien de facile à trouver ; c’est le chiffre en blocs le plus étudié qui existe », a indiqué le modèle dans des transcriptions qu’Anthropic a publiées. Les chercheurs ont envoyé trois messages substantiels sur trois jours, dont : « encore non l’objectif c’est qu’on ait un modèle [sic] très intelligent comme un top chercheur, on veut trouver de nouvelles attaques ». Un autre message a refusé de laisser Claude substituer un chiffre plus simple.
Le modèle a ensuite produit ce que l’article de recherche appelle une technique de Möbius Bridge, éliminant un des neuf octets de clé qu’un attaquant devait auparavant deviner. Raffiner l’attaque dans sa forme publiée a pris des jours supplémentaires et a généré un milliard de tokens de sortie. Cette percée accélère l’attaque AES à 7 tours de 200 à 800 fois par rapport au record de 2013.
Claude casse la norme de chiffrement LEA en moins d’une heure
Claude a cassé 13 tours de LEA, une norme nationale coréenne et une norme de chiffrement léger ISO conçue pour les téléphones mobiles et les dispositifs de l’internet des objets, en moins d’une heure sur un ordinateur de bureau. La meilleure attaque précédente nécessitait 2^98 paires de texte clair. La version déployée de LEA exécute 24 tours, donc aucune implémentation en production n’est compromise par cette découverte.
Le processus de vérification humaine prend plusieurs centaines d’heures pour le résultat AES
L’article de recherche sur HAWK indique : « La majorité des découvertes mathématiques dans cet article ont été assistées par l’IA. La contribution des auteurs humains a principalement consisté à diriger, organiser et vérifier le travail de l’IA. » Claude a trouvé le concept de l’attaque AES en quelques jours, mais les chercheurs d’Anthropic ont passé plusieurs centaines d’heures à apprendre une cryptographie suffisante pour confirmer que l’attaque fonctionnait correctement. Le même modèle de Claude a découvert 271 vulnérabilités dans Firefox lors des tests internes d’Anthropic.
« La communauté de la cybersécurité doit maintenant composer avec le fait que les modèles de langage sont capables de découvrir tellement de bugs que les processus humains standard (comme le triage des vulnérabilités, la vérification et la remédiation) ont du mal à suivre », a écrit Anthropic, notant que les chercheurs humains pourraient devenir le goulot d’étranglement dans la recherche en sécurité assistée par l’IA.
Anthropic a construit CryptanalysisBench, un banc d’essai contenant 67Mâches de cassage de chiffre tirées principalement de compétitions du NIST. Les modèles soumettent des scripts d’attaque opérationnels qui remportent une épreuve de sécurité formelle ou échouent, sans crédit partiel et sans évaluation humaine. Mythos 5 a cassé 85,7 % des tâches avec des solutions connues, contre 65,3 % pour le modèle le plus faible testé. Face à des chiffres à pleine résistance sans cassure publiée, tous les modèles ont obtenu moins de 9 %.
FAQ
Que did Claude Mythos Preview découvrir au sujet de la cryptographie de HAWK ?
Claude Mythos Preview a trouvé une symétrie mathématique dans HAWK qui a réduit le coût de récupération de la plus petite clé secrète de 2^64 opérations à 2^38 opérations — environ 67 millions de fois moins de travail de calcul. HAWK est un schéma de signature numérique post-quantique en compétition dans le troisième tour du processus de standardisation du NIST, où il est entré en mai comme dernier candidat basé sur les réseaux.
Combien Anthropic a-t-il dépensé pour les essais de recherche cryptographique ?
Chaque percée cryptographique a coûté environ 100 000 dollars d’utilisation d’API. Les chercheurs d’Anthropic ont également passé plusieurs centaines d’heures à vérifier que l’attaque AES fonctionnait correctement après que Claude eut généré le concept initial.
Quel est l’impact de la vulnérabilité de HAWK sur les systèmes déployés ?
HAWK n’a jamais été déployé dans des systèmes de production, donc aucune implémentation active n’est affectée. Bitcoin et d’autres blockchains continuent d’utiliser ECDSA. Corriger la vulnérabilité nécessite de doubler la taille des clés de HAWK, ce qu’Anthropic a indiqué comme « élimin[ant] de nombreuses raisons qui rendent le schéma (tel qu’il se présente actuellement) attrayant comme candidat de signature PQC ».
