# Auditor de Assinaturas PQC e Verificadores ZK

Audita compatibilidade de parâmetros ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2, tamanhos de prova e requisitos de trusted setup, com demo ML-DSA (FIPS 204) em TS puro

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

- **Categoria:** Cryptography

- **Palavras-chave:** ml-dsa, slh-dsa, fn-dsa falcon, fips 204, criptografia pós-quântica, assinaturas bbs, plonk, halo2, verificador zk, cnsa 2.0, tamanhos de assinatura pqc

## Visão geral

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.

## Entradas

- **Modo** (select)
- **Escopo** (select)
- **Conjunto de parâmetros ML-DSA** (select)
- **Mensagem a assinar** (text): e.g. release-manifest-2026-10-04
- **Blob de chave ou assinatura (hex ou base64)** (textarea): Paste a hex or base64 ML-DSA public key / SLH-DSA signature…

## Quando usar

- Planejar a transição para algoritmos pós-quânticos e cronogramas de conformidade CNSA 2.0.
- Comparar tamanhos de prova, chaves e necessidades de trusted setup entre verificadores ZK e esquemas PQC.
- Identificar o tipo e algoritmo correspondente a um blob de chave pública ou assinatura codificado em hex ou base64.

## Como funciona

- Selecione o modo de operação desejado: matriz de auditoria de padrões, demonstração interativa ML-DSA ou identificador de blobs.
- Defina o escopo de análise ou configure os parâmetros específicos, como o conjunto ML-DSA (44, 65 ou 87) e a mensagem de teste.
- Para a análise de dados brutos, cole o blob em formato hexadecimal ou base64 para confronto de tamanho em bytes.
- Consulte a matriz de conformidade, métricas de tamanho, identificadores RFC 9964 ou os resultados de assinatura e validação em tempo real.

## Casos de uso

- Dimensionamento de cabeçalhos de rede e armazenamento antes da migração para certificados e assinaturas pós-quânticas.
- Avaliação de arquitetura criptográfica para escolha entre provadores ZK transparentes ou baseados em SRS Powers-of-Tau.
- Inspeção e validação rápida de payloads criptográficos desconhecidos em pipelines de segurança e auditoria de software.

## Perguntas frequentes

### Qual é a numeração FIPS correta para assinaturas ML-DSA e ML-KEM?

O ML-DSA é padronizado pelo FIPS 204 final, o SLH-DSA pelo FIPS 205, o FN-DSA pelo rascunho FIPS 206 e o ML-KEM pelo FIPS 203.

### Quais sistemas ZK necessitam de cerimônia de trusted setup?

Groth16 requer setup por circuito, PLONK/KZG utiliza Powers-of-Tau universal atualizável, enquanto Halo2 com IPA e os esquemas PQC não exigem setup confiável.

### Como o identificador de blobs reconhece o algoritmo de uma chave ou assinatura?

A ferramenta decodifica a entrada em hex ou base64 e compara a contagem exata de bytes com os tamanhos fixos especificados para cada algoritmo.

### As provas de assinatura BBS possuem tamanho fixo?

Não. Conforme o rascunho CFRG, o tamanho mínimo é de 272 bytes (3 pontos G1 e 4 escalares), aumentando 32 bytes para cada escalar adicional.

### A execução da demo ML-DSA depende de chamadas externas de API?

Não. A demonstração é executada no navegador via implementação em TypeScript puro, verificada contra os binários de referência PQClean.

## Ferramentas relacionadas

- [Comparador de algoritmos de hash](https://elysiatools.com/pt/tools/hash-algorithm-comparator): Aplica MD5, SHA-1, SHA-256, SHA-512, BLAKE2b e BLAKE3 à mesma entrada e compara: tamanho, digest hex/Base64, status de segurança (quebrado/moderno) e benchmark de velocidade relativa. Útil para ensino, escolha de algoritmo ou checagem de checksums.
- [Gerador de assinatura digital](https://elysiatools.com/pt/tools/digital-signature-generator): Assina uma mensagem com uma chave privada ou verifica uma assinatura com uma chave pública — suporta RSA-PSS (SHA-256), ECDSA (P-256) e Ed25519. Criptografia puramente local (Node crypto.createVerify/createSign), sem rede. Cole uma chave PEM para assinar ou verificar uma assinatura base64. Esta ferramenta assina/verifica; não gera pares de chaves.
- [Gerador de PKCE Code Verifier e Challenge](https://elysiatools.com/pt/tools/pkce-code-verifier-generator): Gera, valida e verifica pares code_verifier / code_challenge PKCE (RFC 7636) de OAuth2 / OIDC. Três modos: (1) gerar um par novo a partir de bytes aleatórios criptográficos (256/384/512/768 bits), (2) auditar um verifier existente frente ao RFC — comprimento (43–128), charset \[A-Za-z0-9-._~\] e ≥256 bits de entropia, e (3) verificar um par recalculando BASE64URL(SHA256(verifier)). Opcionalmente constrói a URL completa de autorização e o corpo de troca de token. Complementa o nonce-generator genérico (que só emite o par) com auditoria de conformidade RFC e verificação de pares.
- [Codificador Web Push: pedido RFC 8030 + VAPID + cifragem RFC 8291](https://elysiatools.com/pt/tools/web-push-rfc8030-vapid-rfc8291-payload-encrypted-content-encoder): Codifica um envio Web Push completo: cifragem aes128gcm do RFC 8291, JWT ES256 do VAPID (RFC 8292), cabeçalhos RFC 8030, correspondência APNs/FCM e verificação por descriptografia de ida e volta.
- [Decodificador de assertion WebAuthn Passkey e depurador de challenge](https://elysiatools.com/pt/tools/webauthn-passkey-assertion-decoder-challenge-debugger): Decodifica clientDataJSON, authenticatorData, flags, rpIdHash e signCount; verifica ES256, RS256 ou Ed25519 quando uma chave pública é fornecida.
- [Cartão de pré-visualização de combinação de fontes](https://elysiatools.com/pt/tools/font-pairing-preview-card): Visualize uma combinação de fontes para título e corpo com texto real, tamanhos, pesos, alturas de linha, caracteres e CSS.
- [Auditor de consistência de estilo de manuscrito](https://elysiatools.com/pt/tools/manuscript-style-consistency-auditor): Verifica números, datas, unidades, aspas, travessões, níveis de título e nomes próprios; gera uma folha de estilo
- [Studio da tabela periodica](https://elysiatools.com/pt/tools/periodic-table-studio): Explore uma tabela periodica clicavel com modos de cor e detalhes ligados a configuracao eletronica

## Exemplos

- [Exemplos de Processamento de Imagem Android Java](https://elysiatools.com/pt/samples/android-image-processing-java): Exemplos de processamento de imagem Android Java incluindo leitura/escrita, dimensionamento e conversão de formato
- [Exemplos de Processamento de Imagem Android Kotlin](https://elysiatools.com/pt/samples/android-image-processing-kotlin): Exemplos de processamento de imagem Android Kotlin incluindo leitura/escrita, dimensionamento e conversão de formato
- [Exemplos de Processamento de Imagem Web Python](https://elysiatools.com/pt/samples/web-image-processing-python): Exemplos de processamento de imagem Web Python usando PIL/Pillow incluindo leitura, salvamento, redimensionamento e conversão de formato
- [Exemplos de Processamento de Imagem Web Rust](https://elysiatools.com/pt/samples/web-image-processing-rust): Exemplos de processamento de imagem Web Rust incluindo leitura/gravação, redimensionamento e conversão de formato