Claude a aidé des chercheurs à attaquer HAWK et AES

Claude a aidé des chercheurs à attaquer HAWK et AES

L’essentiel

  • Anthropic annonce que son modèle Claude Mythos Preview a aidé ses chercheurs à trouver des faiblesses dans des algorithmes cryptographiques.
  • Deux documents techniques accompagnent l’annonce : une récupération de clé contre le schéma de signature HAWK, et une attaque baptisée Mobius bridge contre AES.
  • Pour l’attaque sur AES, l’éditeur publie aussi la chaîne de pensée du modèle, ce qui rend le raisonnement inspectable.
  • Un banc d’essai, CryptanalysisBench, est né d’une collaboration avec des universitaires de l’ETH Zurich, de l’université de Tel Aviv et de l’université de Haïfa.

Anthropic vient de pousser Claude sur un terrain où les modèles de langage n’avaient jusqu’ici rien de sérieux à montrer : la cryptanalyse, c’est-à-dire l’art de casser les méthodes mathématiques qui protègent les données. Deux documents techniques sortent le même jour, l’un sur une récupération de clé contre HAWK, l’autre sur AES (Advanced Encryption Standard), le chiffrement symétrique (une même clé sert à chiffrer et à déchiffrer) qui protège à peu près tout ce que vous envoyez sur un réseau.

L’épisode compte moins par ces deux papiers que par l’horloge qu’il met en marche : chez les concurrents, dans les agences de sécurité et dans les comités de standardisation.

Deux cibles, deux niveaux de gravité

Les deux publications ne pèsent pas le même poids, et il faut le dire tout de suite pour éviter une panique inutile. HAWK est un schéma de signature à base de réseaux euclidiens, issu de la vague post-quantique (ces algorithmes conçus pour résister à un futur ordinateur quantique) : un candidat, pas un standard déployé partout. Le papier sur HAWK décrit une récupération de clé, soit la pire nouvelle possible, puisqu’elle vise le secret lui-même et pas une simple marge de sécurité. Sur la plus petite configuration du schéma, l’attaque divise par deux la force effective de la clé.

AES, à l’inverse, est un standard installé depuis vingt-cinq ans, dans vos VPN, vos disques chiffrés, vos bases de données. Le second document, Möbius Bridge, ne s’attaque pas au standard complet mais à une version réduite à sept tours d’AES-128, où il rend la meilleure attaque connue de 200 à 800 fois plus rapide. C’est donc une construction d’attaque nouvelle, pas un effondrement du chiffrement : les travaux académiques sur AES entament la marge de sécurité théorique sans rendre le déchiffrement réalisable en pratique, et rien dans la communication d’Anthropic ne dit le contraire. Personne ne doit changer sa suite de chiffrement ce soir.

Anthropic publie le raisonnement du modèle

Pour AES, la chaîne de pensée (chain of thought) de Claude Mythos Preview est publiée en même temps que le papier. C’est une réponse anticipée à la question qui fâche dans ce genre d’annonce : qui a trouvé quoi ?

La formulation officielle reste prudente : le modèle a « aidé » des chercheurs. Il s’agit donc de recherche assistée, avec des cryptographes humains qui cadrent, vérifient et rédigent. Publier le raisonnement brut permet aux relecteurs extérieurs de mesurer la part réellement produite par la machine, et de vérifier que la démonstration ne tient pas à une intuition humaine glissée en cours de route. C’est vérifiable, donc discutable, donc utile.

Trois points restent en suspens, faute de relecture par les pairs : le périmètre exact des variantes attaquées, la part du calcul brut dans le résultat, et la reproductibilité par une autre équipe avec un autre modèle. Anthropic chiffre chaque résultat à environ 100 000 dollars d’appels à son API, ce qui donne au moins un ordre de grandeur. La communauté crypto tranchera vite, et sans ménagement.

Un banc d’essai monté avec l’ETH Zurich, Tel Aviv et Haïfa

Le troisième volet passera inaperçu et pèsera pourtant plus lourd que les deux attaques. Anthropic annonce CryptanalysisBench, construit avec des universitaires de l’ETH Zurich, de l’université de Tel Aviv et de l’université de Haïfa : 191 tâches destinées à mesurer ce qu’un modèle sait réellement casser.

Un banc d’essai transforme une prouesse isolée en courbe. Tant qu’on démontre une attaque, on discute d’un exploit ponctuel, et la question du coup de chance reste ouverte. Dès qu’on mesure, on obtient une progression entre deux générations de modèles, et une progression se prolonge. C’est exactement ce qui s’est passé pour la programmation et les mathématiques de compétition : la mesure a précédé la bascule des usages de quelques trimestres à peine.

Quand un budget de calcul remplace des mois de laboratoire

Le déplacement se joue sur le coût du travail d’attaque. Jusqu’ici, la cryptanalyse était une ressource humaine rare : quelques dizaines d’équipes dans le monde, des mois de travail, une file d’attente académique. Si une partie de cet effort devient une tâche que l’on loue à l’heure sous forme de calcul, la rareté change de nature, et l’asymétrie entre attaquant et défenseur se déplace.

Les concurrents, eux, pointent leurs agents ailleurs : Big Sleep, né chez Google DeepMind et Project Zero, vient d’annoncer une vingtaine de failles trouvées dans des logiciels libres, et Aardvark chez OpenAI chasse dans les mêmes eaux, celles du code existant. Une faiblesse mathématique dans un algorithme, elle, ne se referme pas par un correctif.

La conséquence est calendaire plutôt que technique. Les cycles de dépréciation d’un algorithme se comptent en années : appel à candidatures, tours de sélection, standardisation, puis migration des parcs. La migration post-quantique en cours en est l’illustration, avec des échéances fixées à 2030 et 2035 par les agences de sécurité. Si la génération d’attaques accélère et que les cycles d’audit gardent leur rythme, l’écart se creuse par construction, sans qu’aucune faille spectaculaire soit nécessaire.

Concrètement, cela concerne trois décisions : la durée pendant laquelle vos données chiffrées aujourd’hui doivent rester confidentielles, l’agilité cryptographique de vos systèmes (pouvez-vous changer d’algorithme sans réécrire l’application ?), et la place que vous accordez aux schémas encore candidats dans vos choix d’architecture.

L’échéance se joue au prochain cycle de standardisation

Dans deux ans au plus, aucun dossier de standardisation crédible ne se défendra sans une phase d’attaque assistée par modèle, documentée comme telle. Non parce que les modèles surpasseront les cryptanalystes, mais parce que l’absence de cette étape passera pour un trou dans la copie, au même titre qu’une preuve de sécurité manquante.

Deux conditions pour que ce scénario tienne. D’abord que CryptanalysisBench montre une progression nette entre générations de modèles, et pas un plateau après le premier coup d’éclat. Ensuite que la validation vienne de l’extérieur, hors du laboratoire qui publie : c’est ce qui distinguera une capacité de la démonstration commerciale d’un éditeur.

Le signe de la bascule ne viendra pas d’un nouveau papier d’Anthropic. Il viendra du jour où une agence de sécurité nationale ou un organisme de standardisation inscrira ce type de vérification dans sa méthodologie. Ce jour-là, la cryptographie aura aligné son horloge sur celle des modèles.

Mon avis

La cryptographie va tenir ; ce sont nos calendriers qui vont casser. Je m’attends à ce que les prochains mois produisent une série de résultats moyens plutôt qu’un cassage retentissant, et c’est précisément ce qui rendra la situation difficile à gérer : un flux continu de petites entames est bien plus corrosif pour un processus de standardisation qu’une faille unique, qui au moins déclenche une réaction. Le risque immédiat est procédural avant d’être technique : des dossiers de sécurité audités selon des critères écrits avant que la cryptanalyse ne se facture à l’heure. Et je note qu’Anthropic publie la chaîne de pensée du modèle, ce qui reste la façon la plus honnête d’annoncer ce type de résultat.

Sources

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *