Criptografía
Comprobación NIST: verifique ML-DSA-87, SLH-DSA y Ed25519 usted mismo
El instituto de normalización estadounidense NIST publica vectores de prueba oficiales para ML-DSA (FIPS 204) y SLH-DSA (FIPS 205): entradas con los resultados que debe ofrecer una implementación correcta, incluidas firmas manipuladas a propósito. Aquí su navegador recalcula estos casos con exactamente el mismo módulo que verifica nuestras valoraciones.
Iniciar la prueba
Los archivos de prueba se cargan directamente del NIST en GitHub, no de nuestros servidores. El archivo de prueba de SLH-DSA ocupa unos 30 MB, por lo que la carga puede tardar un poco.
O bien: descargue usted mismo los archivos y selecciónelos
- Abra las carpetas
ML-DSA-keyGen-FIPS204,ML-DSA-sigVer-FIPS204,SLH-DSA-keyGen-FIPS205,SLH-DSA-sigVer-FIPS205,EDDSA-SigGen-1.0yEDDSA-SigVer-1.0en el GitHub del NIST. - Descargue en cada una
internalProjection.json. - Seleccione los archivos aquí (todos o algunos):
Qué muestra la prueba y qué no
- Generación de claves (keyGen): a partir de cada valor inicial del NIST (semilla), nuestro módulo genera una firma. Solo es válida con la clave pública indicada por el NIST si nuestro módulo ha calculado exactamente la misma clave.
- Verificación de firmas (sigVer): nuestro módulo debe llegar al mismo veredicto que el NIST en cada caso, también con firmas, mensajes y contextos alterados a propósito.
- SLH-DSA-SHA2-256f: a partir de los tres valores iniciales del NIST (skSeed, skPrf, pkSeed), nuestro módulo debe generar exactamente la misma clave privada y pública que el NIST — comparadas byte a byte. Para la verificación de firmas rige lo mismo que arriba. Solo se evalúa el conjunto de parámetros SHA2-256f, que es el que utiliza McGesund.
- Ed25519: aquí no se prueba nuestro propio código, sino la criptografía integrada en el navegador y nuestra biblioteca de respaldo noble, que verifica las valoraciones en navegadores sin Ed25519. Se prueba Ed25519 puro, sin prehash ni contexto, tal como firmamos. El NIST solo aporta unos pocos casos manipulados; los demás son firmas válidas que deben aceptarse.
- No cubierto: la gestión de claves, los servidores y los procesos en torno a la firma. La prueba demuestra que las matemáticas cumplen la norma, nada más.
- FN-DSA (Falcon): la norma FIPS 206 aún no es definitiva, por lo que el NIST todavía no ha publicado vectores de prueba oficiales. En cuanto aparezcan, los añadiremos aquí.