Questa directory contiene la ricerca sul meccanismo di incapsulamento di chiavi (KEM) post-quantistico Kyber, ora standardizzato come ML-KEM (FIPS 203) da NIST.
Argomenti
| File | Argomento | Stato |
|---|---|---|
| fondamenti-lwe | Fondamenti di LWE e reticoli — la base matematica di Kyber | Completo |
| struttura-kem | Struttura del KEM — generazione, incapsulamento, disincapsulamento | Completo |
| parametri-sicurezza | Parametri e livelli di sicurezza — ML-KEM-512/768/1024 | Completo |
| implementazione | Implementazione — dettagli algoritmici, Compress/Decompress, FO transform | Completo |
| implementazione-dart | Implementazione in Dart — codice estratto da xkyber_crypto, confronto con FIPS 203 | Completo |
| tempo-costante-dart | Tempo costante in Dart — limitazioni della VM, punti critici identificati | Completo |
| attacchi | Attacchi conosciuti — crittoanalisi classica e quantistica contro LWE/Kyber | Completo |
| standardizzazione | Standardizzazione — processo NIST, competizione, adozione | Completo |
| conclusioni | Conclusioni — analisi integrata, implicazioni, ciò che rimane aperto | Completo |
Struttura della Conoscenza
La ricerca segue il flusso logico:
- Fondamenti (LWE, reticoli, problema della decisione vs ricerca)
- Meccanismo (come funziona Kyber passo dopo passo)
- Sicurezza (parametri, livelli NIST, robustezza equivalente)
- Implementazione (Compress, FO transform, ottimizzazioni)
- Attacchi (classici, quantistici, side-channel, ibridi)
- Contesto (processo NIST, competitori, adozione reale)
- Implementazione Dart (estratti da xkyber_crypto, confronto con riferimento C)
- Sicurezza in Dart (tempo costante, limitazioni della VM, punti critici)
Documenti Correlati
- Obscura — Conclusioni — parallelismo: Kyber e il fingerprinting condividono la stessa asimmetria difensore-attaccante
- Chat Control — Crittografia Omomorfica — altre tecniche post-quantistiche e la loro relazione con la sorveglianza
- xKyber Crypto — Implementazione personale di Kyber in Dart/Flutter durante la fase di apprendimento dell'algoritmo, archiviata dopo aver concluso che la gestione sicura della crittografia post-quantistica nell'ecosistema Dart è impraticabile senza garanzie di tempo costante a livello di VM