# Auditor de Firmas PQC y Verificadores ZK

Audita la compatibilidad de parámetros ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2, tamaños de prueba y requisitos de trusted setup, con demo ML-DSA (FIPS 204) en TS puro

> Página canónica: https://elysiatools.com/es/tools/ml-dsa-slh-dsa-fn-dsa-pqc-bbs-plus-plonk-halo2-zk-verifier

- **Categoría:** Cryptography

- **Palabras clave:** ml-dsa, slh-dsa, fn-dsa falcon, fips 204, criptografía post cuántica, firmas bbs, plonk, halo2, verificador zk, cnsa 2.0, tamaños de firma pqc

## Descripción general

Audita el panorama de firmas post-cuánticas y verificadores de conocimiento cero —— y ejecuta **un ML-DSA real de generación/firma/verificación en TypeScript puro**.

**Qué comprueba:**
- **Matriz de estándares**: ML-DSA (FIPS 204 final — *no* 203, que es ML-KEM), SLH-DSA (FIPS 205, 12 conjuntos), FN-DSA (borrador FIPS 206, Falcon), firmas BBS (borrador CFRG, BLS12-381) y las familias ZK Groth16 / PLONK / Halo2 —— con tamaños exactos de claves y firmas, categorías NIST e IDs COSE/JOSE de **RFC 9964** (-48/-49/-50).
- **Auditoría de trusted setup**: ceremonias por circuito (Groth16), SRS Powers-of-Tau universal actualizable (PLONK/KZG) o nada (IPA transparente de Halo2 sobre curvas Pasta; todos los esquemas PQC de retícula/hash).
- **Cronología CNSA 2.0**: adquisiciones 2027, firma de software/firmware 2030 (LMS/XMSS ya), navegadores/servidores/SO 2033, meta NSM-10 2035.
- **Demo ML-DSA en vivo**: par de claves determinista, firma y verificación de tu mensaje más detección de manipulación —— con el puerto puro en TS de FIPS-204-final del repositorio, **verificado byte a byte contra binarios de referencia PQClean compilados localmente**.
- **Identificador de blobs**: pega una clave o firma en hex/base64 y se coteja su longitud con cada conjunto de parámetros.

**A saber:** la numeración FIPS de blogs antiguos suele estar desplazada; esta herramienta fija el mapeo verificado (ML-DSA = 204, SLH-DSA = 205, FN-DSA = 206 borrador, ML-KEM = 203). Las pruebas BBS no son de tamaño fijo: el piso de deserialización del draft-12 es 3 puntos G1 + 4 escalares = 272 bytes, +32 por escalar adicional.

## Entradas

- **Modo** (select)
- **Alcance** (select)
- **Conjunto de parámetros ML-DSA** (select)
- **Mensaje a firmar** (text): e.g. release-manifest-2026-10-04
- **Blob de clave o firma (hex o base64)** (textarea): Paste a hex or base64 ML-DSA public key / SLH-DSA signature…

## Cuándo usarlo

- Al planificar la migración de algoritmos criptográficos para cumplir con los plazos de la directiva CNSA 2.0.
- Al evaluar el impacto de tamaños de clave y firma en protocolos de red y almacenamiento con ML-DSA, SLH-DSA o FN-DSA.
- Al identificar esquemas criptográficos desconocidos a partir de blobs de claves públicas o firmas en formato hexadecimal o Base64.

## Cómo funciona

- Selecciona el modo de operación: matriz de auditoría de estándares, demostración en vivo de ML-DSA o identificador de blobs.
- Filtra los algoritmos por alcance (todos los esquemas, solo firmas PQC de NIST o solo sistemas ZK) o define el conjunto de parámetros de ML-DSA.
- Introduce el mensaje a firmar o pega la cadena codificada en hexadecimal o Base64 para analizar su longitud en bytes.
- Obtén una tabla comparativa detallada con categorías NIST, identificadores RFC 9964, requisitos de configuración y resultados de verificación de integridad.

## Casos de uso

- Auditoría técnica de requisitos de red para evaluar la sobrecarga de ancho de banda al sustituir RSA/ECDSA por ML-DSA o SLH-DSA.
- Validación de conformidad normativa frente a las directrices de transición criptográfica CNSA 2.0 y estándares FIPS.
- Inspección forense y clasificación de artefactos criptográficos binarios serializados en firmas y certificados digitales.

## Preguntas frecuentes

### ¿Cuál es la diferencia entre FIPS 203 y FIPS 204?

FIPS 203 especifica el mecanismo de encapsulamiento de claves ML-KEM, mientras que FIPS 204 define el algoritmo de firma digital basado en retículos ML-DSA.

### ¿Qué esquemas ZK requieren una configuración de confianza (trusted setup)?

Groth16 requiere una ceremonia por circuito y PLONK utiliza un SRS universal Powers-of-Tau, mientras que Halo2 mediante IPA es transparente y no requiere setup.

### ¿Cuáles son los identificadores de algoritmo COSE/JOSE para ML-DSA según RFC 9964?

Los identificadores estandarizados en RFC 9964 corresponden a -48 para ML-DSA-44, -49 para ML-DSA-65 y -50 para ML-DSA-87.

### ¿Cómo identifica la herramienta un blob de clave o firma?

Calcula el tamaño exacto en bytes de la entrada decodificada y lo contrasta con los tamaños fijos oficiales de cada conjunto de parámetros PQC y ZK.

### ¿Qué tamaño tiene una prueba en firmas BBS?

Según el borrador draft-12 de CFRG, el tamaño mínimo de deserialización es de 272 bytes (3 puntos G1 y 4 escalares), sumando 32 bytes por cada escalar adicional.

## Herramientas relacionadas

- [Comparador de algoritmos hash](https://elysiatools.com/es/tools/hash-algorithm-comparator): Aplica MD5, SHA-1, SHA-256, SHA-512, BLAKE2b y BLAKE3 a la misma entrada y compáralos lado a lado: longitud de salida, digest hex/Base64, estado de seguridad (roto/moderno) y benchmark de velocidad relativa. Útil para enseñanza, elegir algoritmo o verificar checksums.
- [Generador de firma digital](https://elysiatools.com/es/tools/digital-signature-generator): Firma un mensaje con una clave privada o verifica una firma con una clave pública — soporta RSA-PSS (SHA-256), ECDSA (P-256) y Ed25519. Criptografía puramente local (Node crypto.createSign/createVerify), sin red. Pega una clave PEM para firmar o verificar una firma base64. Esta herramienta firma/verifica; no genera pares de claves.
- [Generador de PKCE Code Verifier y Challenge](https://elysiatools.com/es/tools/pkce-code-verifier-generator): Genera, valida y verifica pares code_verifier / code_challenge PKCE (RFC 7636) de OAuth2 / OIDC. Tres modos: (1) generar un par nuevo a partir de bytes aleatorios criptográficos (256/384/512/768 bits), (2) auditar un verifier existente frente al RFC — longitud (43–128), charset \[A-Za-z0-9-._~\] y ≥256 bits de entropía, y (3) verificar un par recomputando BASE64URL(SHA256(verifier)). Opcionalmente construye la URL completa de autorización y el cuerpo del intercambio de token. Complementa al nonce-genérico (que solo emite el par) con auditoría de cumplimiento RFC y verificación de pares.
- [Codificador de Web Push: petición RFC 8030 + VAPID + cifrado RFC 8291](https://elysiatools.com/es/tools/web-push-rfc8030-vapid-rfc8291-payload-encrypted-content-encoder): Codifica un envío completo de Web Push: cifrado aes128gcm del RFC 8291, JWT ES256 VAPID del RFC 8292, cabeceras RFC 8030, correspondencia con APNs/FCM y verificación por descifrado de ida y vuelta.
- [Decodificador de assertions WebAuthn Passkey y depurador de challenge](https://elysiatools.com/es/tools/webauthn-passkey-assertion-decoder-challenge-debugger): Decodifica clientDataJSON, authenticatorData, flags, rpIdHash y signCount; verifica ES256, RS256 o Ed25519 cuando se proporciona una clave pública.
- [Tarjeta de vista previa de parejas tipográficas](https://elysiatools.com/es/tools/font-pairing-preview-card): Previsualiza una combinación de fuentes para título y cuerpo con texto real, tamaños, pesos, interlineado, caracteres y CSS.
- [Auditor de consistencia de estilo de manuscrito](https://elysiatools.com/es/tools/manuscript-style-consistency-auditor): Comprueba números, fechas, unidades, comillas, guiones, niveles de título y nombres propios; genera una style sheet
- [Studio de tabla periodica](https://elysiatools.com/es/tools/periodic-table-studio): Explora una tabla periodica interactiva con detalles del elemento, modos de color y datos de configuracion electronica

## Ejemplos

- [Ejemplos de Procesamiento de Imágenes Android Java](https://elysiatools.com/es/samples/android-image-processing-java): Ejemplos de procesamiento de imágenes Android Java incluyendo lectura/escritura, escalado y conversión de formato
- [Ejemplos de Procesamiento de Imágenes Android Kotlin](https://elysiatools.com/es/samples/android-image-processing-kotlin): Ejemplos de procesamiento de imágenes Android Kotlin incluyendo lectura/escritura, escalado y conversión de formato
- [Ejemplos de Procesamiento de Imágenes Web Python](https://elysiatools.com/es/samples/web-image-processing-python): Ejemplos de procesamiento de imágenes Web Python usando PIL/Pillow incluyendo lectura, guardado, redimensionamiento y conversión de formato
- [Ejemplos de Procesamiento de Imágenes Web Rust](https://elysiatools.com/es/samples/web-image-processing-rust): Ejemplos de procesamiento de imágenes Web Rust incluyendo lectura/escritura, escalado y conversión de formato