Audite o cenário de assinaturas pós-quânticas e verificadores de conhecimento zero —— e execute um ML-DSA real de geração/assinatura/verificação em TypeScript puro.
O que verifica:
- Matriz de padrões: ML-DSA (FIPS 204 final — não 203, que é ML-KEM), SLH-DSA (FIPS 205, 12 conjuntos), FN-DSA (rascunho FIPS 206, Falcon), assinaturas BBS (rascunho CFRG, BLS12-381) e as famílias ZK Groth16 / PLONK / Halo2 —— tamanhos exatos de chaves/assinaturas, categorias NIST e IDs COSE/JOSE da RFC 9964 (-48/-49/-50).
- Auditoria de trusted setup: cerimônia por circuito (Groth16), SRS Powers-of-Tau universal atualizável (PLONK/KZG) ou nenhum (IPA transparente do Halo2 sobre curvas Pasta; todos os PQC de retículo/hash).
- Linha do tempo CNSA 2.0: aquisições 2027, assinatura de software/firmware 2030 (LMS/XMSS desde já), navegadores/servidores/SO 2033, meta NSM-10 2035.
- Demo ML-DSA ao vivo: par de chaves determinístico, assinatura e verificação da sua mensagem + detecção de adulteração —— com o port TS puro do FIPS-204-final do repositório, verificado byte a byte contra binários de referência PQClean compilados localmente.
- Identificador de blobs: cole uma chave/assinatura em hex/base64 — o comprimento é confrontado com cada conjunto de parâmetros.
Saiba: a numeração FIPS de blogs antigos costuma estar deslocada; a ferramenta ancora o mapeamento verificado (ML-DSA = 204, SLH-DSA = 205, FN-DSA = 206 rascunho, ML-KEM = 203). Provas BBS não têm tamanho fixo: piso do draft-12 = 3 pontos G1 + 4 escalares = 272 bytes, +32 por escalar adicional.