# PQC- & ZK-Signatur-Auditor

Prüft ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2 — Parameterversitändlichkeit, Proof-Größen und Trusted-Setup-Anforderungen, mit Live-ML-DSA-Demo (FIPS 204) in reinem TS

> Kanonische Seite: https://elysiatools.com/de/tools/ml-dsa-slh-dsa-fn-dsa-pqc-bbs-plus-plonk-halo2-zk-verifier

- **Kategorie:** Cryptography

- **Schlagwörter:** ml-dsa, slh-dsa, fn-dsa falcon, fips 204, post-quanten-kryptographie, bbs-signaturen, plonk, halo2, zk-verifizierer, cnsa 2.0, pqc-signaturgrößen

## Überblick

Auditieren Sie die Post-Quantum-Signatur- und ZK-Verifier-Landschaft —— und führen Sie **ein echtes ML-DSA Keygen/Sign/Verify in reinem TypeScript** aus.

**Was geprüft wird:**
- **Standard-Matrix**: ML-DSA (FIPS 204 final — *nicht* 203, das ist ML-KEM), SLH-DSA (FIPS 205, 12 Parametersätze), FN-DSA (FIPS-206-Entwurf, Falcon), BBS-Signaturen (CFRG-Entwurf, BLS12-381) sowie die ZK-Familien Groth16 / PLONK / Halo2 —— exakte Schlüssel-/Signaturgrößen, NIST-Kategorien und COSE/JOSE-IDs aus **RFC 9964** (-48/-49/-50).
- **Trusted-Setup-Audit**: Zeremonie pro Schaltung (Groth16), universelles aktualisierbares Powers-of-Tau-SRS (PLONK/KZG) oder gar keins (Halo2s transparentes IPA über Pasta-Kurven; alle Gitter-/Hash-PQC).
- **CNSA-2.0-Zeitlinie**: Beschaffungen 2027, Software-/Firmware-Signatur 2030 (LMS/XMSS ab sofort), Browser/Server/OS 2033, NSM-10-Ziel 2035.
- **Live-ML-DSA-Demo**: deterministisches Schlüsselpaar, Signatur und Verifikation deiner Nachricht plus Manipulationserkennung —— mit dem reinen TS-Port von FIPS-204-final, **bytegenau gegen lokal kompilierte PQClean-Referenzbinaries verifiziert**.
- **Blob-Identifikator**: Hex/Base64-Schlüssel oder -Signatur einfügen — die Länge wird gegen jeden Parametersatz abgeglichen.

**Gut zu wissen:** Die FIPS-Nummerierung älterer Blogposts ist oft um eins verschoben; dieses Werkzeug verankert die geprüfte Zuordnung (ML-DSA = 204, SLH-DSA = 205, FN-DSA = 206 Entwurf, ML-KEM = 203). BBS-Proofs haben keine feste Größe: Untergrenze laut Draft-12 = 3 G1-Punkte + 4 Skalare = 272 Bytes, +32 pro weiterem Skalar.

## Eingaben

- **Modus** (select)
- **Umfang** (select)
- **ML-DSA-Parametersatz** (select)
- **Zu signierende Nachricht** (text): e.g. release-manifest-2026-10-04
- **Schlüssel-/Signatur-Blob (hex oder base64)** (textarea): Paste a hex or base64 ML-DSA public key / SLH-DSA signature…

## Wann verwenden

- Bei der Umstellung von Sicherheitsinfrastrukturen auf Post-Quantum-Standards (FIPS 204/205/206 und CNSA 2.0).
- Zur Evaluierung von Proof-Größen und Trusted-Setup-Voraussetzungen für Zero-Knowledge-Verifier wie PLONK, Groth16 oder Halo2.
- Zur schnellen Typ- und Parameterbestimmung unbekannter Hex- oder Base64-Blobs von Schlüsseln und Signaturen.

## Funktionsweise

- Wählen Sie den Modus: Standard-Audit für Parameterübersichten, Live-ML-DSA-Demo zur Signaturerzeugung oder Blob-Identifikation.
- Geben Sie je nach Modus den Gültigkeitsbereich an, wählen Sie den ML-DSA-Parametersatz (ML-DSA-44, 65 oder 87) mit Testnachricht oder fügen Sie einen Raw-Schlüssel-Blob ein.
- Das Tool generiert eine strukturierte Auswertung mit exakten Byte-Größen, Algorithmus-IDs nach RFC 9964, Manipulationsprüfungen oder Übereinstimmungen der Blob-Längen.

## Anwendungsfälle

- Planung von Netzwerkprotokollen und Speicheranforderungen unter Berücksichtigung post-quantensicherer Signaturgrößen.
- Validierung deterministischer ML-DSA-Signaturen und Manipulationserkennung direkt im Browser.
- Zuordnung von rohen kryptografischen Exporten zu passenden NIST-Sicherheitsstufen und COSE/JOSE-IDs.

## Häufig gestellte Fragen

### Welcher FIPS-Standard spezifiziert ML-DSA?

ML-DSA ist final in FIPS 204 standardisiert. FIPS 203 definiert hingegen das Key-Encapsulation-Verfahren ML-KEM.

### Welche ZK-Systeme erfordern ein Trusted Setup?

Groth16 benötigt ein schaltungsspezifisches Setup, PLONK mit KZG nutzt universelle Powers-of-Tau, während Halo2 transparent ohne Setup auskommt.

### Welche Fristen setzt CNSA 2.0 für Signaturen?

Für neue Beschaffungen gilt 2027 als Ziel, reine Software- und Firmware-Signaturerstellung muss bis 2030 auf PQC migriert sein.

### Wie identifiziert das Tool eingefügte Blobs?

Es berechnet die dekodierte Byte-Länge des Hex- oder Base64-Strings und gleicht diese mit den Standardgrößen der PQC- und ZK-Spezifikationen ab.

### Warum variiert die Signaturgröße bei BBS+?

BBS-Proofs wachsen mit der Anzahl offengelegter Attribute: Die Basislänge liegt bei 272 Bytes und vergrößert sich um 32 Bytes pro zusätzlichem Skalar.

## Ähnliche Tools

- [Hash-Algorithmus-Vergleich](https://elysiatools.com/de/tools/hash-algorithm-comparator): Hasht dieselbe Eingabe mit MD5, SHA-1, SHA-256, SHA-512, BLAKE2b und BLAKE3 und vergleicht sie: Ausgabelänge, Hex/Base64-Digest, Sicherheitsstatus (gebrochen/modern) und relatives Geschwindigkeits-Benchmark. Gut für Lehre, Algorithmuswahl und Prüfsummenkontrolle.
- [Generator für digitale Signaturen](https://elysiatools.com/de/tools/digital-signature-generator): Signiert eine Nachricht mit einem privaten Schlüssel oder verifiziert eine Signatur mit einem öffentlichen Schlüssel — unterstützt RSA-PSS (SHA-256), ECDSA (P-256) und Ed25519. Rein lokale Kryptografie (Node crypto.createSign/createVerify), kein Netz. Fügen Sie einen PEM-Schlüssel ein zum Signieren oder Verifizieren einer base64-Signatur. Dieses Tool signiert/verifiziert; es generiert keine Schlüsselpaare.
- [PKCE Code Verifier & Challenge Generator](https://elysiatools.com/de/tools/pkce-code-verifier-generator): Erzeugt, validiert und verifiziert OAuth2-/OIDC-PKCE (RFC 7636) Code-Verifier-/Challenge-Paare. Drei Modi: (1) ein frisches Paar aus kryptografisch sicheren Zufallsbytes (256/384/512/768 Bit) erzeugen, (2) einen eigenen Verifier gegen den RFC prüfen — Länge (43–128), Zeichensatz \[A-Za-z0-9-._~\] und ≥256 Bit Entropie, und (3) ein Paar verifizieren durch Neuberechnung von BASE64URL(SHA256(verifier)). Optional werden die vollständige Autorisierungs-URL und der Token-Austausch-Body gebaut. Ergänzt den generischen Nonce-Generator (der nur das Paar ausgibt) um RFC-Konformitäts-Audit und Paar-Verifikation.
- [Web-Push-Encoder: RFC-8030-Anfrage + VAPID + RFC-8291-Verschlüsselung](https://elysiatools.com/de/tools/web-push-rfc8030-vapid-rfc8291-payload-encrypted-content-encoder): Kodiert einen vollständigen Web-Push-Versand: aes128gcm-Verschlüsselung nach RFC 8291, VAPID-ES256-JWT nach RFC 8292, RFC-8030-Header, APNs/FCM-Zuordnung und Entschlüsselungs-Roundtrip-Verifikation.
- [WebAuthn-Passkey-Assertion-Decoder und Challenge-Debugger](https://elysiatools.com/de/tools/webauthn-passkey-assertion-decoder-challenge-debugger): Dekodiert clientDataJSON, authenticatorData, Flags, rpIdHash und signCount; prüft ES256, RS256 oder Ed25519 bei bereitgestelltem Public Key.
- [Vorschaukarte für Schriftkombinationen](https://elysiatools.com/de/tools/font-pairing-preview-card): Vorschau einer Titel- und Textschrift mit echtem Text, Größen, Gewichten, Zeilenhöhen, Zeichensatz und CSS.
- [Manuskript-Stilkonsistenz-Auditor](https://elysiatools.com/de/tools/manuscript-style-consistency-auditor): Prüft Zahlen, Daten, Einheiten, Anführungszeichen, Striche, Überschriftsebenen und Eigennamen; erstellt ein Style Sheet
- [Periodensystem Studio](https://elysiatools.com/de/tools/periodic-table-studio): Durchsuchen Sie ein anklickbares Periodensystem mit Farbmodi und verknuepften Elektronenkonfigurationsdaten

## Beispiele

- [Android Java Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/android-image-processing-java): Android Java Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung
- [Android Kotlin Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/android-image-processing-kotlin): Android Kotlin Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung
- [Web Python Bildverarbeitung Beispiele](https://elysiatools.com/de/samples/web-image-processing-python): Web Python Bildverarbeitungsbeispiele mit PIL/Pillow einschließlich Lesen, Speichern, Skalieren und Formatkonvertierung
- [Web Rust Bildverarbeitungsbeispiele](https://elysiatools.com/de/samples/web-image-processing-rust): Web Rust Bildverarbeitungsbeispiele einschließlich Lesen/Schreiben, Skalierung und Formatkonvertierung