Deux secousses, un même avertissement
L’histoire de la semaine pour le chiffrement n’est pas un événement isolé. Elle combine deux annonces de nature différente. Côté intelligence artificielle, OpenAI et Anthropic affirment chacun qu’un modèle interne a réfuté l’hypothèse du temps exponentiel, ou ETH, une conjecture centrale sur le coût de résolution de 3-SAT et de problèmes apparentés . Côté informatique quantique, Alice & Bob publie une estimation détaillée selon laquelle RSA-2048 pourrait être factorisé avec 22 593 qubits physiques de type « cat » en 3,14 jours, sous les hypothèses matérielles de son architecture .
Le lien entre les deux sujets tient en un mot: la dureté. La sécurité moderne repose sur un écart pratique entre ce qui est facile pour l’utilisateur légitime et ce qui reste irréalisable pour l’attaquant. ETH n’est pas RSA, ni la cryptographie elliptique, ni AES. Mais cette hypothèse structure une partie de l’informatique théorique et de nombreux résultats conditionnels de difficulté . L’estimation d’Alice & Bob, elle, est plus ciblée: elle applique l’algorithme de Shor à des systèmes à clé publique sur une architecture quantique tolérante aux fautes .
La conclusion immédiate doit donc rester prudente, mais ferme. Internet n’a pas perdu son chiffrement en une nuit. En revanche, les responsables sécurité n’ont plus le luxe de traiter ces signaux comme de simples curiosités académiques.
Ce qu’OpenAI et Anthropic disent avoir trouvé
L’hypothèse ETH, proposée par Russell Impagliazzo, Ramamohan Paturi et Francis Zane, affirme que 3-SAT ne peut pas être résolu en temps sous-exponentiel lorsque le nombre de variables augmente . Elle est plus précise et plus forte que l’intuition générale selon laquelle P serait différent de NP, mais elle est devenue un outil de travail majeur: de nombreux chercheurs l’utilisent pour démontrer que certains algorithmes ne peuvent pas être fortement améliorés sauf si ETH est fausse .
Selon les articles récents, OpenAI a annoncé un algorithme déterministe capable de compter les affectations satisfaisantes de ces formules en temps sous-exponentiel avec une mémoire polynomiale . Anthropic a ensuite publié un article attribué à Claude, intitulé “A 2^o(n) Time Algorithm for 3-SAT”, accompagné de sa propre formalisation Lean; le texte d’Anthropic indique qu’un modèle de recherche Claude interne aurait trouvé le cœur de l’algorithme le 16 octobre avec 14 millions de jetons de sortie et sans intervention humaine .
Le mot crucial reste « revendiqué ». Control Plane rapporte que les deux laboratoires ont diffusé des preuves vérifiées par Lean, mais aussi que les chercheurs chargés d’organiser l’examen externe du résultat d’OpenAI ne l’ont pas certifié . TechCrunch décrit également une procédure de publication plus structurée, dans laquelle des informaticiens ont formé un groupe de travail, demandé la publication des preuves et appelé à un examen communautaire plutôt qu’à une validation immédiate .
Cette nuance est essentielle pour la cryptographie. Une preuve formalisée dans Lean peut réduire certains risques d’erreur logique, mais elle ne fournit pas automatiquement un exploit, un solveur opérationnel, ni une attaque directe contre TLS, les blockchains ou les infrastructures de clés d’entreprise. Même si ETH est fausse, le progrès peut rester asymptotique: considérable sur le plan théorique, mais inutilisable aux tailles réelles tant qu’un travail supplémentaire n’améliore pas les constantes, l’implémentation ou le problème ciblé.
Pourquoi les cryptographes doivent quand même s’en soucier
Le danger n’est pas qu’un modèle d’IA ait soudain appris à voler des clés privées. Le danger est qu’une carte familière de la difficulté computationnelle soit en train d’être redessinée. WIRED rapporte que des chercheurs voient un impact possible sur la cryptographie qui protège le web, tout en soulignant que ce résultat précis sur ETH ne casse pas directement les systèmes cryptographiques . C’est le bon équilibre.
Les cryptosystèmes reposent sur des hypothèses particulières. RSA dépend de la difficulté de factoriser de grands entiers pour les ordinateurs classiques. Les schémas à courbes elliptiques dépendent de la difficulté du logarithme discret dans des groupes elliptiques. La cryptographie symétrique, comme AES, relève encore d’une autre analyse. ETH appartient à la théorie de la complexité autour de la satisfiabilité et des réductions; ce n’est pas une clé universelle.
Mais la cryptographie n’est pas isolée de la complexité. Si les mathématiques assistées par IA commencent à découvrir des algorithmes non évidents pour des problèmes réputés difficiles, la communauté sécurité doit poser des questions plus précises. Quelles preuves de difficulté étaient seulement conditionnelles? Quels protocoles reposent sur des hypothèses voisines de problèmes de type SAT? Quelles estimations d’attaques « impossibles » héritent surtout de vieilles intuitions de complexité?
La tâche pratique est donc le tri. Il ne faut pas remplacer tous les systèmes cryptographiques à cause d’ETH. Il faut demander aux fournisseurs et aux cryptographes internes quels mécanismes déployés dépendent d’hypothèses susceptibles d’être fragilisées par des algorithmes sous-exponentiels, et si certains candidats post-quantiques évalués ou déjà introduits méritent une nouvelle revue.
Alice & Bob transforme le risque quantique en objectif d’ingénierie
L’annonce d’Alice & Bob est plus facile à comprendre pour un comité de direction ou un RSSI, car elle donne un objectif chiffré au risque quantique. Dans son propre billet, l’entreprise dit publier une estimation d’environ 23 000 qubits physiques et environ trois jours pour casser RSA-2048 sur son architecture à qubits « cat » . L’entrée IACR ePrint donne le détail: la factorisation de RSA-2048 demanderait environ 23 000 qubits cat et 3,14 jours, sous des hypothèses comprenant un cycle de correction d’erreurs de 1 microseconde, un temps de réaction de 10 microsecondes, une probabilité de bruit de phase de 5 × 10^-4 et l’absence de bit-flips .
Le même article estime que la résolution d’ECDLP sur secp256k1 nécessiterait au plus 30 000 qubits cat et environ une heure, et propose FFDLP-512 comme benchmark intermédiaire à environ 6 700 qubits et 21 minutes . The Quantum Insider reprend le chiffre précis de 22 593 qubits physiques cat et 3,14 jours pour RSA-2048, ainsi qu’une estimation de 29 588 qubits physiques et 61,8 minutes pour la courbe elliptique .
Cela ne signifie pas qu’Alice & Bob a construit cette machine. Il s’agit d’une estimation de ressources, pas d’une démonstration cryptanalytique. Mais le résultat reste important, car le risque quantique a longtemps été présenté sous une formule vague: « un ordinateur quantique suffisamment grand » cassera un jour RSA et ECC. Le nouveau chiffre donne aux planificateurs un repère plus concret à suivre.
Pourquoi 22 593 qubits ne sont pas un compte à rebours universel
Ce nombre n’est pas une horloge valable pour tous. Il dépend de l’architecture d’Alice & Bob, des qubits cat, des codes LDPC-cat, des choix de compilation, des taux d’erreur, des temps de réaction et des hypothèses sur les bit-flips . Une autre architecture pourrait nécessiter plus de qubits, moins de qubits, plus de temps ou moins de temps. Alice & Bob souligne elle-même que les estimations de ressources pour l’algorithme de Shor ont fortement baissé, d’environ 20 millions de qubits physiques dans des estimations antérieures à moins d’un million, puis à environ 23 000 dans son dernier travail .
Le point stratégique est la tendance. Alice & Bob explique que la route se raccourcit des deux côtés: les algorithmes et la compilation progressent, tandis que le matériel quantique et la correction d’erreurs avancent aussi . Sa conclusion est prévisible mais solide: une migration prend des années, et les organisations ne doivent pas attendre l’existence d’un ordinateur quantique cryptographiquement pertinent pour remplacer les systèmes à clé publique vulnérables .
Pour les États et les entreprises, la zone exposée est connue: échanges de clés RSA, signatures RSA, ECDH, ECDSA et autres schémas fondés sur la factorisation ou le logarithme discret. Les données à longue durée de confidentialité sont particulièrement sensibles, car un attaquant peut collecter du trafic chiffré aujourd’hui et le déchiffrer plus tard si la capacité quantique arrive.
Le plan d’action
La leçon combinée d’OpenAI, d’Anthropic et d’Alice & Bob n’est pas la panique. C’est l’agilité cryptographique.
Première étape: établir ou mettre à jour l’inventaire cryptographique. Certificats, VPN, signature de code, paiements, mises à jour de firmware, infrastructure d’identité, paramètres de gestion de clés cloud et objets embarqués doivent être recensés. Deuxième étape: classer l’exposition par algorithme et par durée de vie des données. RSA et les courbes elliptiques exigent le plan de migration quantique le plus direct; les schémas liés à des hypothèses proches de SAT méritent une revue théorique séparée. Troisième étape: demander aux fournisseurs leurs feuilles de route post-quantiques, leurs modes hybrides et leurs options de retour arrière.
Enfin, il faut considérer les preuves assistées par IA et les estimations de ressources quantiques comme des systèmes d’alerte précoce. La revendication sur ETH doit encore être examinée indépendamment, et l’estimation RSA d’Alice & Bob reste conditionnée à une machine qui n’existe pas encore à cette échelle. Mais les deux signaux vont dans le même sens: les hypothèses deviennent plus testables, les calendriers plus concrets, et la planification du chiffrement ne peut plus s’appuyer sur un vague confort autour des « problèmes difficiles ».
Commentaires
Sois le premier à commenter.