Nous appelons sécurisé ce que nous ne savons pas encore briser.
Il y a une question à laquelle la cryptographie ne répond pas bien : quand pouvons-nous dire que quelque chose est sécurisé ? Je ne parle pas de la sécurité pratique — des clés de longueur suffisante, des paramètres qui font qu'une attaque coûte plus que toute ressource disponible — mais de la sécurité fondamentale, celle qui promet de résister non seulement aux attaques d'aujourd'hui mais aussi à celles de demain.
Kyber, le standard post-quantique que le NIST a sélectionné en 2024, est sécurisé selon toutes les analyses connues. Mais cette sécurité repose sur une conjecture : que le problème Learning With Errors (LWE) sur des modules de polynômes n'a pas de solution efficace, ni classique ni quantique.
Il n'y a pas de démonstration. Il n'y a pas de preuve. Il y a un contrat.
La structure du saut
La cryptographie asymétrique moderne repose sur des conjectures de dureté. RSA repose sur la difficulté de factoriser de grands entiers. ECDH repose sur le logarithme discret sur les courbes elliptiques. Kyber repose sur LWE.
La différence est que RSA et ECC tombent devant un ordinateur quantique suffisamment grand — l'algorithme de Shor les résout en temps polynomial — tandis que LWE n'a pas de Shor connu. Mais "n'avoir pas de Shor connu" n'est pas la même chose qu'"être incassable".
État des connaissances (juillet 2026) :
RSA-2048 : Shor la brise avec ~4099 qubits logiques
ECC P-256 : Shor la brise avec ~2330 qubits logiques
Kyber-768 : Aucune attaque quantique sous-exponentielle connue
Question ouverte : existe-t-il un algorithme quantique pour LWE ?
Réponse : on ne sait pas. C'est une conjecture.
La conjecture est plausible : trente années d'analyse n'ont pas trouvé d'algorithme efficace contre LWE, même avec l'aide quantique. Mais l'histoire de la cryptographie est remplie de conjectures qui étaient plausibles jusqu'à ce qu'elles cessent de l'être.
Le contrat social de la sécurité
Rousseau a écrit que la société se fonde sur un contrat : les individus cèdent une partie de leur liberté en échange de la sécurité collective. La cryptographie fonctionne de la même manière. Chaque fois que nous utilisons Kyber — ou RSA, ou ECC — nous signons un contrat tacite :
Nous acceptons que la sécurité de ce schéma est suffisante pour le présent prévisible, et nous faisons confiance à la communauté cryptographique pour nous avertir si la conjecture cesse de tenir.
Ce n'est pas une promesse de sécurité éternelle. C'est un pacte de transparence : tant que le schéma résiste à l'examen public, nous le considérons comme sécurisé. Quand quelqu'un trouve une attaque, nous migrons.
# Le contrat cryptographique, exprimé informellement
def est_securise(schema, temps):
attaques_connues = cryptanalyse(schema)
if not attaques_connues:
return True # pour l'instant
else:
return all(a.cout > RESSOURCES_DISPONIBLES for a in attaques_connues)
La variable RESSOURCES_DISPONIBLES change avec le temps. Non seulement par le progrès technologique mais aussi par l'apparition de nouveaux paradigmes computationnels.
Le problème de l'induction
Hume a souligné que nous ne pouvons pas justifier l'induction logiquement : supposer que le soleil se lèvera demain parce qu'il s'est levé tous les jours précédents est une croyance, pas une vérité démontrable. La cryptographie souffre du même problème.
Que LWE ait résisté trente ans d'analyse ne garantit pas qu'il résistera trente de plus. Qu'aucun algorithme quantique connu ne résolve LWE ne garantit pas qu'il n'en existe pas un. La cryptographie post-quantique est, en ce sens, un exercice d'induction appliquée : nous supposons que l'avenir ressemblera au passé.
Ce n'est pas une formule rigoureuse — elle ne peut pas l'être — mais elle décrit le critère implicite que nous utilisons pour faire confiance à un schéma. Classic McEliece, avec ~40 ans d'analyse et une structure plus conservatrice (codes de Goppa), aurait une valeur plus élevée que Kyber, avec ~20 ans et une structure plus récente. Mais Classic McEliece a des clés de ~1 Mo, ce qui le rend impraticable pour presque tout.
La sécurité n'est pas seulement mathématique. Elle est aussi logistique.
Que signifie alors "sécurisé" ?
Dans le domaine de Kyber, "sécurisé" signifie :
- Résistance aux attaques connues : aucune attaque pratique publiée ne brise les paramètres recommandés.
- Marges de sécurité : les paramètres sont choisis avec un facteur de sécurité qui dépasse largement le nécessaire contre les meilleures attaques connues.
- Analyse continue : la communauté cryptographique examine le schéma depuis 2017 et n'a pas trouvé de faiblesses fondamentales.
- Implémentations multiples : il existe des implémentations indépendantes (C, Go, Rust, Python) qui se vérifient mutuellement.
- Adoption précoce : l'examen qui accompagne le déploiement massif (Chrome, Cloudflare, Signal) est la forme la plus exigeante d'audit.
Aucun de ces critères n'est une preuve. Ce sont des indicateurs. La confiance en Kyber est raisonnable — plus raisonnable que la confiance en RSA/ECC à long terme — mais reste une confiance, pas une certitude.
Dans II : La couche qui défaille, nous explorerons l'abîme entre l'algorithme et son implémentation : comment un schéma mathématiquement solide peut s'effondrer à cause d'une erreur dans du code Dart, une variable non constante dans le temps, ou un compilateur qui optimise là où il ne devrait pas.
Références croisées avec la recherche :
- Fondements de LWE — La conjecture de dureté de LWE en détail technique
- Attaques connues — État de l'art de la cryptanalyse contre Kyber
- Standardisation — Le processus NIST et les controverses sur la confiance dans les réseaux
- Conclusions — Analyse intégrée sur la nature provisoire de la sécurité