iTechGuides is reader-supported. When you buy through links on our site, we may earn an affiliate commission. As an Amazon Associate I earn from qualifying purchases. Learn more
IRACA reporta que RustCrypto y una implementación de referencia en C de pq-crystals produjeron resultados idénticos para ML-KEM-768 con 128 semillas deterministas y un vector fijo. El autor también dice haber comprobado el rechazo de claves de encapsulación no canónicas. Es una señal de concordancia funcional en esas pruebas, no una auditoría de seguridad ni una certificación de conformidad.
Qué comprobó IRACA
Juan Carlos Isaza presentó IRACA como un arnés para comparar implementaciones criptográficas que usa el ecosistema Rust con otra implementación independiente. El primer caso descrito es el crate ml-kem de RustCrypto, que implementa ML-KEM, el mecanismo de encapsulación de claves estandarizado por NIST en FIPS 203.
Según el reporte del autor, el arnés entregó los mismos bytes deterministas a ambas implementaciones mediante sus entradas deterministas, sin recurrir a un generador de números aleatorios determinista (DRBG). La implementación de referencia de pq-crystals se compiló desde su código fuente y se conectó mediante una capa FFI delgada.
What’s actually slowing this PC down?
Pick the symptom - the matching free tool is one click away.
Para ML-KEM-768, Isaza informa coincidencias byte por byte en generación de claves, encapsulación y decapsulación en 128 semillas más un vector fijo. Esa cifra describe las entradas que el autor dice haber probado; no es un benchmark, una medida de cobertura de todo el código ni una reproducción independiente de los resultados.
#1 Best Overall
Qué significa una comparación diferencial
Una prueba diferencial ejecuta operaciones equivalentes en dos implementaciones con las mismas entradas y compara sus resultados. Si difieren, la discrepancia puede ayudar a localizar un error de implementación, una diferencia de interpretación de la especificación o un problema en el propio arnés. Si coinciden, aumenta la confianza en que ambas concuerdan para esos casos concretos.
La independencia importa: dos implementaciones que no comparten el mismo código pueden tener menos probabilidades de repetir ciertos errores de programación. Pero no basta con observar una coincidencia para concluir que ambas son correctas. Podrían compartir una interpretación equivocada, y un conjunto finito de entradas no cubre todas las entradas ni todas las rutas de ejecución.
Rank #2
La prueba de claves no canónicas
Además de comparar resultados para entradas deterministas, el reporte afirma que IRACA generó claves de encapsulación no canónicas y comprobó que el crate las rechazara. La modificación descrita incluye un coeficiente igual o mayor que q, el módulo pertinente para la codificación de esos coeficientes. La comprobación se relaciona con el requisito de validación de claves de encapsulación de FIPS 203.
Outdated Drivers Are Slowing You Down
One free scan finds every outdated or missing driver and matches the right update for your exact hardware.Free scan · exact hardware matchPC Slower Than It Used to Be?
A free scan shows the junk files, broken settings and background clutter dragging Windows down - then fixes them in one click.Free scan · Windows 10 & 11La especificación de pruebas ACVP de NIST también incluye comprobaciones de claves de encapsulación y de decapsulación. Eso da contexto normativo a la clase de entrada inválida que IRACA dice probar, pero no significa que esta prueba aislada equivalga a ejecutar ACVP ni que certifique el crate.
Rank #3
Qué no demuestra el resultado
El propio autor caracteriza el trabajo como una comprobación de conformidad, no una auditoría completa, y dice que no cubre canales laterales, incluida la clase de ataques conocida como KyberSlash. La coincidencia funcional no permite inferir resistencia a filtraciones de tiempo, consumo de energía u otras observaciones de una ejecución.
La especificación ACVP de NIST organiza pruebas para generación de claves, encapsulación y decapsulación; para esta última contempla textos cifrados modificados y la ruta de rechazo implícito. NIST advierte que las pruebas ACVP tienen límites: entre otros, no prueban el borrado de valores intermedios ni la seguridad de los DRBG. Por tanto, ni la comparación reportada por IRACA ni una validación funcional más amplia deben presentarse como una evaluación integral de seguridad.
- No demuestra que el crate esté libre de vulnerabilidades.
- No demuestra que su implementación sea resistente a canales laterales.
- No acredita una auditoría independiente, una verificación formal ni una certificación oficial.
- No permite afirmar resultados para otros parámetros de ML-KEM que el reporte no describe.
Qué falta para reproducir y evaluar el informe
El reporte disponible atribuye los resultados a Isaza, pero no permite establecer con precisión la revisión del código de RustCrypto, la versión exacta del crate ml-kem ni el commit y los artefactos del arnés utilizados para obtenerlos. Sin esos datos, otra persona no puede verificar que esté repitiendo exactamente el mismo experimento. Tampoco se reprodujeron aquí las pruebas.
Free tools Windows power users keep installed
One-click scans. No signup required.
Para valorar una futura reproducción, conviene buscar que publique y fije:
- Las revisiones exactas del arnés, del crate y de la referencia C.
- El corpus de semillas y el vector fijo, junto con instrucciones para generar o ejecutar cada caso.
- Los resultados comparados y el tratamiento de errores, entradas inválidas y fallos de ejecución.
- Una descripción clara de las operaciones, los parámetros y las rutas efectivamente cubiertas.
Esos elementos harían más comprobable la afirmación de coincidencia. No cambiarían por sí solos el límite fundamental: las pruebas funcionales no sustituyen el análisis de canales laterales ni otras formas de evaluación de seguridad.
Independent reader supportYour contribution helps us test, update, and keep practical guides available for everyone.Cómo interpretar el hallazgo
La conclusión defendible es acotada: el autor de IRACA informa concordancia byte por byte entre RustCrypto y pq-crystals para las operaciones nombradas de ML-KEM-768 en 128 semillas y un vector fijo, además de un chequeo de rechazo para claves de encapsulación no canónicas. Es un resultado útil como evidencia de compatibilidad en esos casos. No basta para calificar el crate como seguro, auditado o certificado.
Quick Recap
Product prices and availability are accurate as of the date/time indicated and are subject to change. Any price and availability information displayed on Amazon at the time of purchase will apply.
