Ce dossier contient la recherche sur le mécanisme d'encapsulation de clés (KEM) post-quantique Kyber, désormais standardisé sous le nom ML-KEM (FIPS 203) par le NIST.
Thèmes
| Fichier | Thème | Statut |
|---|---|---|
| fondements-lwe | Fondements de LWE et réseaux — la base mathématique de Kyber | Complet |
| structure-kem | Structure du KEM — génération, encapsulation, désencapsulation | Complet |
| paramètres-sécurité | Paramètres et niveaux de sécurité — ML-KEM-512/768/1024 | Complet |
| implémentation | Implémentation — détails algorithmiques, Compress/Decompress, FO transform | Complet |
| implémentation-dart | Implémentation en Dart — code extrait de xkyber_crypto, contraste avec FIPS 203 | Complet |
| temps-constant-dart | Temps constant en Dart — limitations de la VM, points critiques identifiés | Complet |
| attaques | Attaques connues — cryptanalyse classique et quantique contre LWE/Kyber | Complet |
| standardisation | Standardisation — processus NIST, compétition, adoption | Complet |
| conclusions | Conclusions — analyse intégrée, implications, ce qui reste ouvert | Complet |
Structure des Connaissances
La recherche suit le flux logique :
- Fondements (LWE, réseaux, problème de la décision vs recherche)
- Mécanisme (comment fonctionne Kyber pas à pas)
- Sécurité (paramètres, niveaux NIST, robustesse équivalente)
- Implémentation (Compress, FO transform, optimisations)
- Attaques (classiques, quantiques, canaux auxiliaires, hybrides)
- Contexte (processus NIST, compétiteurs, adoption réelle)
- Implémentation Dart (extractions de xkyber_crypto, contraste avec référence C)
- Sécurité en Dart (temps constant, limitations de VM, points critiques)
Documents Connexes
- Obscura — Conclusions — parallélisme : Kyber et le fingerprinting partagent la même asymétrie défenseur-attaquant
- Chat Control — Cryptographie Homomorphe — autres techniques post-quantiques et leur relation avec la surveillance
- xKyber Crypto — Implémentation personnelle de Kyber en Dart/Flutter pendant la phase d'apprentissage de l'algorithme, archivée après avoir conclu que la gestion sécurisée de la cryptographie post-quantique dans l'écosystème Dart est irréalisable sans garanties de temps constant au niveau de la VM