Este directorio contiene investigación sobre el mecanismo de encapsulamiento de claves (KEM) post-cuántico Kyber, ahora estandarizado como ML-KEM (FIPS 203) por NIST.
Temas
| Archivo | Tema | Estado |
|---|---|---|
| fundamentos-lwe | Fundamentos de LWE y retículos — la base matemática de Kyber | Completo |
| estructura-kem | Estructura del KEM — generación, encapsulación, desencapsulación | Completo |
| parametros-seguridad | Parámetros y niveles de seguridad — ML-KEM-512/768/1024 | Completo |
| implementacion | Implementación — detalles algorítmicos, Compress/Decompress, FO transform | Completo |
| implementacion-dart | Implementación en Dart — código extraído de xkyber_crypto, contraste con FIPS 203 | Completo |
| constante-tiempo-dart | Tiempo constante en Dart — limitaciones de la VM, puntos críticos identificados | Completo |
| ataques | Ataques conocidos — criptoanálisis clásico y cuántico contra LWE/Kyber | Completo |
| estandarizacion | Estandarización — proceso NIST, competencia, adopción | Completo |
| conclusiones | Conclusiones — análisis integrado, implicaciones, lo que queda abierto | Completo |
Estructura del Conocimiento
La investigación sigue el flujo lógico:
- Fundamentos (LWE, retículos, problema de la decisión vs búsqueda)
- Mecanismo (cómo funciona Kyber paso a paso)
- Seguridad (parámetros, niveles NIST, fortaleza equivalente)
- Implementación (Compress, FO transform, optimizaciones)
- Ataques (clásicos, cuánticos, side-channel, híbridos)
- Contexto (proceso NIST, competidores, adopción real)
- Implementación Dart (extracciones de xkyber_crypto, contraste con referencia C)
- Seguridad en Dart (tiempo constante, limitaciones de VM, puntos críticos)
Documentos Relacionados
- Obscura — Conclusiones — paralelismo: Kyber y el fingerprinting comparten la misma asimetría defensor-atacante
- Chat Control — Criptografía Homomórfica — otras técnicas post-cuánticas y su relación con la vigilancia
- xKyber Crypto — Implementación personal de Kyber en Dart/Flutter durante la fase de aprendizaje del algoritmo, archivada tras concluir que la gestión segura de criptografía post-cuántica en el ecosistema Dart es inviable sin garantías de tiempo constante a nivel de VM