Аудит ландшафта постквантовых подписей и zero-knowledge верификаторов —— плюс настоящий ML-DSA keygen/sign/verify на чистом TypeScript.
Что проверяется:
- Матрица стандартов: ML-DSA (FIPS 204 final — не 203, это ML-KEM), SLH-DSA (FIPS 205, 12 наборов), FN-DSA (черновик FIPS 206, Falcon), подписи BBS (черновик CFRG, BLS12-381) и семейства ZK Groth16 / PLONK / Halo2 —— точные размеры ключей/подписей, категории NIST и ID COSE/JOSE из RFC 9964 (-48/-49/-50).
- Аудит trusted setup: церемония на каждый контур (Groth16), универсальный обновляемый Powers-of-Tau SRS (PLONK/KZG) или ничего (прозрачный IPA Halo2 на кривых Pasta; все решёточные/хешные PQC).
- График CNSA 2.0: закупки 2027, подпись ПО/прошивок 2030 (LMS/XMSS уже сейчас), браузеры/серверы/ОС 2033, цель NSM-10 2035.
- Живая демо ML-DSA: детерминированная пара ключей, подпись и проверка вашего сообщения + детекция подделки —— портом FIPS-204-final на чистом TS, проверенным побайтово против локально собранных эталонных бинарников PQClean.
- Идентификация блобов: вставьте ключ/подпись в hex/base64 — длина сопоставляется с каждым набором параметров.
Знайте: нумерация FIPS в старых блогах часто сдвинута на единицу; инструмент фиксирует проверенное соответствие (ML-DSA = 204, SLH-DSA = 205, FN-DSA = 206 черновик, ML-KEM = 203). BBS-доказательства не фиксированы: нижняя граница draft-12 — 3 точки G1 + 4 скаляра = 272 байта, +32 за дополнительный скаляр.