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.