Dieses Verzeichnis enthält Forschung zum Post-Quanten-Schlüsseleinkapselungsmechanismus (KEM) Kyber, jetzt standardisiert als ML-KEM (FIPS 203) vom NIST.
Themen
| Datei | Thema | Status |
|---|---|---|
| grundlagen-lwe | Grundlagen von LWE und Gittern — die mathematische Basis von Kyber | Vollständig |
| struktur-kem | Struktur des KEM — Generierung, Einkapselung, Entkapselung | Vollständig |
| sicherheitsparameter | Parameter und Sicherheitsstufen — ML-KEM-512/768/1024 | Vollständig |
| implementierung | Implementierung — algorithmische Details, Compress/Decompress, FO-Transform | Vollständig |
| implementierung-dart | Implementierung in Dart — Code aus xkyber_crypto extrahiert, Kontrast mit FIPS 203 | Vollständig |
| konstante-zeit-dart | Konstante Zeit in Dart — Einschränkungen der VM, identifizierte kritische Punkte | Vollständig |
| angriffe | Bekannte Angriffe — klassische und quantenbasierte Kryptoanalyse gegen LWE/Kyber | Vollständig |
| standardisierung | Standardisierung — NIST-Prozess, Wettbewerb, Adoption | Vollständig |
| schlussfolgerungen | Schlussfolgerungen — integrierte Analyse, Implikationen, was offen bleibt | Vollständig |
Wissensstruktur
Die Forschung folgt dem logischen Fluss:
- Grundlagen (LWE, Gitter, Entscheidungs- vs. Suchproblem)
- Mechanismus (wie Kyber Schritt für Schritt funktioniert)
- Sicherheit (Parameter, NIST-Stufen, äquivalente Stärke)
- Implementierung (Compress, FO-Transform, Optimierungen)
- Angriffe (klassische, quantenbasierte, Seitenkanal, hybride)
- Kontext (NIST-Prozess, Wettbewerber, tatsächliche Adoption)
- Dart-Implementierung (Auszüge aus xkyber_crypto, Kontrast mit C-Referenz)
- Sicherheit in Dart (Konstante Zeit, VM-Einschränkungen, kritische Punkte)
Verwandte Dokumente
- Obscura — Schlussfolgerungen — Parallelität: Kyber und Fingerprinting teilen dieselbe Verteidiger-Angreifer-Asymmetrie
- Chat Control — Homomorphe Kryptographie — andere Post-Quanten-Techniken und ihre Beziehung zur Überwachung
- xKyber Crypto — Persönliche Implementierung von Kyber in Dart/Flutter während der Lernphase des Algorithmus, archiviert nach dem Schluss, dass die sichere Verwaltung von Post-Quanten-Kryptographie im Dart-Ökosystem ohne zeitkonstante Garantien auf VM-Ebene nicht durchführbar ist