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.

Elysia Tools

Mobile Navigation

Cryptography

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

Einzelheiten

Wobei dieses Tool hilft

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.

Ausführung

Dieses Tool ausführen

Fülle das Formular aus, starte das Tool und prüfe das Ergebnis an einem Ort.

Beispiele

Beispiele zu diesem Tool

Verwandt

PQC- & ZK-Signatur-Auditor

Wobei dieses Tool hilft

Dieses Tool ausführen

Beispiele zu diesem Tool

Mit verwandten Tools und Themen fortfahren

Erfahren Sie, wann dieses Tool passt, was es unterstützt und wie Nutzer es anwenden.

Wichtige Fakten

Überblick

Wann verwenden

So funktioniert es

Anwendungsfälle

Beispiele

1. Vollständiges PQC- und ZK-Matrix-Audit

2. Live-Signaturprüfung mit ML-DSA-65

FAQ

Android Java Bildverarbeitungsbeispiele

Android Kotlin Bildverarbeitungsbeispiele

Web Python Bildverarbeitung Beispiele

Web Rust Bildverarbeitungsbeispiele

Hash-Algorithmus-Vergleich

Generator für digitale Signaturen

PKCE Code Verifier & Challenge Generator

Web-Push-Encoder: RFC-8030-Anfrage + VAPID + RFC-8291-Verschlüsselung

3. Identifikation eines öffentlichen Schlüssels