Free tools Windows power users keep installed
One-click scans. No signup required.
IRACA informa que RustCrypto y la implementación de referencia en C de pq-crystals produjeron resultados idénticos byte por byte para ML-KEM-768 en 128 semillas deterministas y un vector fijo. El autor también dice haber comprobado que RustCrypto rechaza claves de encapsulación no canónicas. Es una señal acotada de concordancia funcional, no una auditoría ni una certificación de seguridad.
Qué comparó IRACA
Juan Carlos Isaza presentó IRACA como un arnés para comparar implementaciones criptográficas independientes. Su primer resultado público descrito corresponde al crate ml-kem de RustCrypto y a ML-KEM, el mecanismo de encapsulación de claves especificado en FIPS 203, el estándar de NIST titulado Module-Lattice-Based Key-Encapsulation Mechanism Standard.
As an Amazon Associate I earn from qualifying purchases.
Según el artículo de Isaza, el arnés suministró los mismos bytes deterministas a ambas implementaciones a través de sus entradas deterministas, sin usar un generador determinista de bits aleatorios (DRBG) para esa comparación. La implementación en C de pq-crystals se compiló desde el código fuente y se conectó mediante una capa FFI delgada. El autor informa coincidencia byte por byte en la generación de claves, la encapsulación y la decapsulación de ML-KEM-768 para 128 semillas y un vector fijo. Esos son resultados publicados por el autor, no una reproducción independiente.
PC 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 & 11Outdated 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 matchQué significa una coincidencia byte por byte
La prueba diferencial toma entradas comunes para dos implementaciones y compara sus resultados. Si las salidas coinciden, eso aporta evidencia de que, para esas entradas y operaciones, ambas siguieron un comportamiento funcional compatible. La comparación entre implementaciones independientes puede ayudar a detectar discrepancias que una prueba de una sola implementación no revelaría.
#1 Best Overall
El resultado publicado se limita a ML-KEM-768 y al conjunto de entradas descrito. No permite inferir que todos los parámetros, casos límite, entornos de ejecución o versiones del código se comporten igual. Tampoco demuestra por sí solo que una implementación sea segura: dos implementaciones pueden coincidir y aun así compartir un defecto o dejar sin examinar una clase importante de fallos.
Qué aporta la prueba de claves no canónicas
Además de comparar las operaciones, Isaza afirma haber generado claves de encapsulación no canónicas con un coeficiente igual o superior a q y haber comprobado que el crate las rechazó. La comprobación se relaciona con el control de módulo de FIPS 203: los valores de coeficientes fuera del rango canónico no deberían aceptarse como claves válidas.
Rank #2
El documento de pruebas ACVP de NIST contempla comprobaciones de claves de encapsulación y de decapsulación; entre las modificaciones inválidas que describe figura un valor superior a Q. Esa similitud de propósito sitúa el caso de IRACA en un tipo reconocible de validación de entradas, pero no convierte la prueba reportada en una ejecución de ACVP ni demuestra que se haya cubierto todo ese conjunto de pruebas.
Qué queda fuera del resultado
El propio autor caracteriza IRACA como “un chequeo de conformidad, no una auditoría completa” y dice expresamente que no cubre canales laterales, incluida la clase de ataques conocida como KyberSlash. Por tanto, la coincidencia funcional descrita no permite sacar conclusiones sobre filtraciones de información por tiempo de ejecución u otros canales laterales.
Rank #3
El alcance también tiene límites más amplios. NIST advierte que las pruebas ACVP no comprueban, entre otras cosas, el borrado de valores intermedios ni la seguridad de los DRBG. Incluso un conjunto de pruebas funcionales más amplio no sustituye una evaluación integral de seguridad.
- No se establece una auditoría completa del crate ni una verificación formal.
- El resultado descrito no acredita resistencia a canales laterales.
- La prueba con entradas deterministas no evalúa por sí misma la seguridad del proceso de generación aleatoria en producción.
- La comparación reportada no demuestra una certificación de conformidad.
Qué datos hacen falta para reproducir la comparación
El artículo atribuye el resultado al crate ml-kem de RustCrypto y al arnés IRACA, pero no quedaron confirmados la revisión exacta del código fuente de RustCrypto, la versión del crate ni el commit y los artefactos empleados para producir la comparación. Sin esos datos y el corpus de entradas, el número de casos publicado no basta para que otra persona reproduzca exactamente el resultado.
El directorio del crate permite localizar el código de RustCrypto, pero esa ubicación no valida por sí sola los resultados de IRACA. Para evaluar el informe con mayor precisión, los elementos decisivos serían las revisiones de código identificadas, las entradas exactas, las instrucciones de compilación y ejecución y los resultados reproducibles de cada operación.
What’s actually slowing this PC down?
Pick the symptom - the matching free tool is one click away.
Cómo interpretar el informe
La conclusión defendible es concreta: Isaza informa concordancia byte por byte entre RustCrypto y la referencia de pq-crystals para ML-KEM-768 en las entradas deterministas que describe, además de un chequeo específico de rechazo de claves de encapsulación no canónicas. El informe aporta evidencia funcional acotada; no establece por sí solo que el crate sea seguro, auditado o certificado conforme a FIPS 203.
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.
