# Auditeur de signatures PQC et vérifieurs ZK

Audite la compatibilité des paramètres ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2, les tailles de preuves et les exigences de trusted setup, avec une démo ML-DSA (FIPS 204) en TS pur

> Page canonique: https://elysiatools.com/fr/tools/ml-dsa-slh-dsa-fn-dsa-pqc-bbs-plus-plonk-halo2-zk-verifier

- **Catégorie:** Cryptography

- **Mots-clés:** ml-dsa, slh-dsa, fn-dsa falcon, fips 204, cryptographie post-quantique, signatures bbs, plonk, halo2, vérificateur zk, cnsa 2.0, tailles de signatures pqc

## Présentation

Auditez le paysage des signatures post-quantiques et des vérifieurs zero-knowledge —— et exécutez **un vrai ML-DSA keygen/sign/verify en TypeScript pur**.

**Ce qui est vérifié :**
- **Matrice de normes** : ML-DSA (FIPS 204 final — *pas* 203, qui est ML-KEM), SLH-DSA (FIPS 205, 12 jeux), FN-DSA (brouillon FIPS 206, Falcon), signatures BBS (brouillon CFRG, BLS12-381) et les familles ZK Groth16 / PLONK / Halo2 —— tailles exactes de clés/signatures, catégories NIST et IDs COSE/JOSE de la **RFC 9964** (-48/-49/-50).
- **Audit de trusted setup** : cérémonie par circuit (Groth16), SRS Powers-of-Tau universel actualisable (PLONK/KZG) ou rien (IPA transparent de Halo2 sur courbes Pasta ; tous les PQC réseau/hachage).
- **Chronologie CNSA 2.0** : acquisitions 2027, signature logicielle 2030 (LMS/XMSS dès maintenant), navigateurs/serveurs/OS 2033, horizon NSM-10 2035.
- **Démo ML-DSA en direct** : paire de clés déterministe, signature et vérification de votre message + détection de falsification —— via le port TS pur FIPS-204-final du dépôt, **vérifié octet par octet contre des binaires de référence PQClean compilés localement**.
- **Identifiant de blobs** : collez une clé/signature en hex/base64 — la longueur est confrontée à chaque jeu de paramètres.

**À savoir :** la numérotation FIPS des anciens blogs est souvent décalée ; l'outil ancre le mapping vérifié (ML-DSA = 204, SLH-DSA = 205, FN-DSA = 206 brouillon, ML-KEM = 203). Les preuves BBS ne sont pas de taille fixe : plancher draft-12 = 3 points G1 + 4 scalaires = 272 octets, +32 par scalaire supplémentaire.

## Entrées

- **Mode** (select)
- **Périmètre** (select)
- **Jeu de paramètres ML-DSA** (select)
- **Message à signer** (text): e.g. release-manifest-2026-10-04
- **Blob de clé ou signature (hex ou base64)** (textarea): Paste a hex or base64 ML-DSA public key / SLH-DSA signature…

## Quand l'utiliser

- Lors de la planification de la transition post-quantique pour évaluer l'impact des tailles de clés et signatures sur la bande passante et le stockage.
- Avant de concevoir une architecture Zero-Knowledge pour comparer les contraintes de trusted setup entre Groth16, PLONK et Halo2.
- Pour identifier l'algorithme sous-jacent ou le jeu de paramètres d'une clé publique ou d'une signature encodée en hexadécimal ou base64.

## Fonctionnement

- Sélectionnez le mode souhaité : matrice d'audit complète, exécution d'une démo ML-DSA en direct ou identification d'un blob binaire.
- Ajustez les options de filtrage selon le périmètre visé (tous les schémas, signatures PQC seules ou vérificateurs ZK) ou choisissez le paramètre ML-DSA (44, 65 ou 87).
- Saisissez votre message personnalisé à signer ou collez une clé/signature brute en hexadécimal ou base64 pour analyser sa structure et sa conformité FIPS/RFC.

## Cas d'usage

- Dimensionnement des protocoles réseau et certificats X.509/COSE face à la surcharge volumétrique des algorithmes post-quantiques.
- Sélection d'un système de preuve Zero-Knowledge adapté aux exigences de transparence et de sécurité sans dépendance à une cérémonie.
- Validation et diagnostic de blobs cryptographiques inconnus lors d'analyses médico-légales ou d'intégrations logicielles PQC.

## Questions fréquentes

### Quelle est la différence de normalisation entre FIPS 203 et FIPS 204 ?

FIPS 203 spécifie le mécanisme d'encapsulation de clé ML-KEM, tandis que FIPS 204 standardise le schéma de signature numérique ML-DSA.

### Quels systèmes ZK requièrent une cérémonie de trusted setup ?

Groth16 exige un setup spécifique par circuit, PLONK utilise un SRS universel actualisable (Powers-of-Tau), et Halo2 ne requiert aucun setup grâce à son accumulateur IPA transparent.

### Quelles sont les échéances clés de la chronologie CNSA 2.0 ?

Le calendrier CNSA 2.0 impose l'intégration PQC pour les nouvelles acquisitions dès 2027, la signature logicielle et micrologicielle d'ici 2030, et les systèmes d'exploitation d'ici 2033.

### Pourquoi la taille des preuves BBS n'est-elle pas fixe ?

Selon le draft CFRG, une preuve BBS comprend une base minimale de 272 octets (3 points G1 et 4 scalaires), augmentée de 32 octets par scalaire additionnel révélé ou dissimulé.

### Comment le mode démo ML-DSA garantit-il la conformité FIPS 204 ?

L'implémentation TypeScript exécute la génération de clé, la signature et la vérification en respectant rigoureusement les vecteurs de référence et les boucles de rejet vérifiés sur PQClean.

## Outils associés

- [Comparateur d’algorithmes de hachage](https://elysiatools.com/fr/tools/hash-algorithm-comparator): Hache la même entrée avec MD5, SHA-1, SHA-256, SHA-512, BLAKE2b et BLAKE3 et les compare : longueur, digest hex/Base64, statut de sécurité (cassé/moderne) et benchmark de vitesse relatif. Idéal pour l’enseignement, le choix d’algorithme ou la vérification de checksums.
- [Générateur de signature numérique](https://elysiatools.com/fr/tools/digital-signature-generator): Signe un message avec une clé privée ou vérifie une signature avec une clé publique — prend en charge RSA-PSS (SHA-256), ECDSA (P-256) et Ed25519. Cryptographie purement locale (Node crypto.createSign/createVerify), sans réseau. Collez une clé PEM pour signer ou vérifier une signature base64. Cet outil signe/vérifie ; il ne génère pas de paires de clés.
- [Générateur de PKCE Code Verifier et Challenge](https://elysiatools.com/fr/tools/pkce-code-verifier-generator): Génère, valide et vérifie les paires code_verifier / code_challenge PKCE (RFC 7636) OAuth2 / OIDC. Trois modes : (1) générer une nouvelle paire depuis des octets aléatoires cryptographiques (256/384/512/768 bits), (2) auditer un verifier existant selon le RFC — longueur (43–128), charset \[A-Za-z0-9-._~\] et ≥256 bits d'entropie, et (3) vérifier une paire en recalculant BASE64URL(SHA256(verifier)). Construit en option l'URL complète de requête d'autorisation et le corps d'échange de token. Complète le nonce-generator générique (qui n'émet que la paire) avec l'audit de conformité RFC et la vérification de paire.
- [Encodeur Web Push : requête RFC 8030 + VAPID + chiffrement RFC 8291](https://elysiatools.com/fr/tools/web-push-rfc8030-vapid-rfc8291-payload-encrypted-content-encoder): Encode un envoi Web Push complet : chiffrement aes128gcm (RFC 8291), JWT ES256 VAPID (RFC 8292), en-têtes RFC 8030, correspondance APNs/FCM et vérification par déchiffrement aller-retour.
- [Décodeur d’assertion WebAuthn Passkey et débogueur de challenge](https://elysiatools.com/fr/tools/webauthn-passkey-assertion-decoder-challenge-debugger): Décode clientDataJSON, authenticatorData, flags, rpIdHash et signCount ; vérifie ES256, RS256 ou Ed25519 si une clé publique est fournie.
- [Carte d’aperçu de combinaison de polices](https://elysiatools.com/fr/tools/font-pairing-preview-card): Prévisualisez une paire de polices titre/corps avec du texte réel, tailles, graisses, interlignes, caractères et CSS.
- [Auditeur de cohérence stylistique de manuscrit](https://elysiatools.com/fr/tools/manuscript-style-consistency-auditor): Vérifie nombres, dates, unités, guillemets, tirets, niveaux de titre et noms propres ; produit une feuille de style
- [Studio du tableau periodique](https://elysiatools.com/fr/tools/periodic-table-studio): Explorez un tableau periodique interactif avec modes de couleur et details relies a la configuration electronique

## Exemples

- [Exemples de Traitement d'Images Android Java](https://elysiatools.com/fr/samples/android-image-processing-java): Exemples de traitement d'images Android Java incluant lecture/écriture, mise à l'échelle et conversion de format
- [Exemples de Traitement d'Images Android Kotlin](https://elysiatools.com/fr/samples/android-image-processing-kotlin): Exemples de traitement d'images Android Kotlin incluant lecture/écriture, mise à l'échelle et conversion de format
- [Exemples de Traitement d'Images Web Python](https://elysiatools.com/fr/samples/web-image-processing-python): Exemples de traitement d'images Web Python utilisant PIL/Pillow incluant la lecture, l'enregistrement, le redimensionnement et la conversion de format
- [Exemples de Traitement d'Images Web Rust](https://elysiatools.com/fr/samples/web-image-processing-rust): Exemples de traitement d'images Web Rust incluant lecture/écriture, redimensionnement et conversion de format