Claude a résolu en moins de 30 minutes une énigme cryptographique de NIST vieille de 25 ans

Claude a résolu une énigme cryptographique restée ouverte pendant 25 ans en moins de 30 minutes.

En 2000, le gouvernement américain a publié des courbes elliptiques NIST telles que P-256, utilisées dans ECDSA, l’un des standards de signature numérique les plus répandus au monde. Bitcoin utilise aussi ECDSA, mais avec une autre courbe, secp256k1, qui ne fait pas partie des courbes NIST.

La NSA a fourni ces nombres sans explication, ce qui a alimenté pendant des années des soupçons selon lesquels ils auraient été choisis intentionnellement pour créer une backdoor. Selon une version courante, l’employé de la NSA Jerry Solinas les aurait générés à partir d’une phrase humoristique comme « Augmentez le salaire de Bob et Jerry ». Il est décédé en 2023 sans se souvenir des détails, et des employés d’Anthropic avaient déjà tenté de vérifier cette hypothèse sans succès.

Puis un employé a demandé à une version interne de recherche de Claude de déterminer comment ces nombres avaient été obtenus, sans lui révéler la phrase supposée.

Claude a trouvé la réponse : aucune phrase n’existait. Les nombres ont été générés à l’aide d’un générateur de nombres pseudo-aléatoires courant du langage C, utilisant comme graine l’heure de l’horloge système de l’ordinateur. La génération a eu lieu entre mai 1997 et avril 1998. Désormais, tout le monde peut reproduire ces nombres. Plus de détails dans la recherche d’Anthropic.

Anthropic souligne que cette découverte ne compromet pas la sécurité des systèmes existants et ne crée pas de nouvelles vulnérabilités. Au contraire, la théorie d’une backdoor intentionnelle devient nettement moins plausible, donc aucun changement n’est nécessaire.

Certaines questions restent toutefois ouvertes. Par exemple, on ignore toujours pourquoi d’autres nombres qui convenaient également à la tâche ont été écartés.

La méthode de résolution est elle-même impressionnante.

De nombreux chercheurs ont passé des années à chercher la phrase supposée. Cette hypothèse était devenue le point de départ autour duquel presque toutes les recherches s’étaient organisées.

Claude a suivi une autre voie. Au lieu de chercher une phrase, le modèle a inféré comment un programme écrit en 1997 aurait pu générer de tels nombres, puis a testé cette hypothèse.

Et il a ainsi résolu le problème.