# Аудитор PQC-подписей и ZK-верификаторов

Аудит совместимости параметров ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2, размеров доказательств и требований к trusted setup, с живой демо ML-DSA (FIPS 204) на чистом TS

> Каноническая страница: https://elysiatools.com/ru/tools/ml-dsa-slh-dsa-fn-dsa-pqc-bbs-plus-plonk-halo2-zk-verifier

- **Категория:** Cryptography

- **Ключевые слова:** ml-dsa, slh-dsa, fn-dsa falcon, fips 204, постквантовая криптография, подписи bbs, plonk, halo2, zk верификатор, cnsa 2.0, размеры pqc подписей

## Обзор

Аудит ландшафта постквантовых подписей и 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 за дополнительный скаляр.

## Входные данные

- **Режим** (select)
- **Область** (select)
- **Набор параметров ML-DSA** (select)
- **Сообщение для подписи** (text): e.g. release-manifest-2026-10-04
- **Блоб ключа или подписи (hex или base64)** (textarea): Paste a hex or base64 ML-DSA public key / SLH-DSA signature…

## Когда использовать

- При планировании миграции инфраструктуры открытых ключей и протоколов безопасности на стандарты CNSA 2.0 и NIST PQC.
- При валидации точных размеров публичных ключей, секретных ключей или подписей и их идентификации по hex/base64 блобам.
- При сравнении требований к trusted setup (SRS Powers-of-Tau, прозрачные IPA) для различных ZK-систем доказательств.

## Как это работает

- Выберите режим работы: общая матрица аудита стандартов, живая демонстрация генерации и проверки подписи ML-DSA, либо идентификация блоба данных.
- Укажите область анализа (все схемы, только PQC-подписи NIST или только ZK-верификаторы) либо настройте параметры ML-DSA (наборы ML-DSA-44, 65, 87 и текст сообщения).
- При необходимости идентификации вставьте публичный ключ или подпись в формате hex или base64 для мгновенного сопоставления байтовой длины с известными схемами.
- Получите интерактивный отчет с характеристиками алгоритмов, RFC 9964 COSE/JOSE идентификаторами, таймлайном CNSA 2.0 и результатами криптографической проверки.

## Сценарии использования

- Анализ накладных расходов на размер пакетов и хранилище при внедрении PQC-подписей в сертификаты X.509 и токены COSE/JOSE.
- Интерактивное тестирование алгоритма ML-DSA (FIPS 204) с симуляцией подписи и детекцией повреждения данных.
- Быстрое определение алгоритма и набора параметров по сырому дампу открытого ключа или подписи.

## Частые вопросы

### В чем разница в нумерации стандартов FIPS 203 и FIPS 204?

FIPS 203 стандартизирует механизм инкапсуляции ключей ML-KEM, тогда как FIPS 204 определяет решеточную цифровую подпись ML-DSA.

### Каковы минимальные размеры доказательства BBS по спецификации draft-12?

Нижняя граница десериализации составляет 272 байта (3 точки G1 и 4 скаляра) с добавлением 32 байт на каждый дополнительный скаляр.

### Какие ZK-системы доказательств требуют доверенной установки (trusted setup)?

Groth16 требует отдельную церемонию для каждого контура, PLONK использует универсальный Powers-of-Tau SRS, а Halo2 полностью прозрачен (без trusted setup).

### Каковы ключевые контрольные сроки графика перехода CNSA 2.0?

Новые закупки с 2027 года, подпись ПО и прошивок к 2030 году, сетевое оборудование, браузеры и ОС к 2033 году, полное завершение к 2035 году.

### Как работает идентификатор криптографических блобов?

Инструмент вычисляет байтовую длину вставленного hex/base64 значения и сравнивает ее с фиксированными спецификациями ключей и подписей PQC-алгоритмов.

## Связанные инструменты

- [Сравнение хеш-алгоритмов](https://elysiatools.com/ru/tools/hash-algorithm-comparator): Хеширует один и тот же вход с помощью MD5, SHA-1, SHA-256, SHA-512, BLAKE2b и BLAKE3 и сравнивает их: длину, hex/Base64-дайджест, статус безопасности (взломан/современный) и относительный бенчмарк скорости. Полезно для обучения, выбора алгоритма и проверки контрольных сумм.
- [Генератор цифровой подписи](https://elysiatools.com/ru/tools/digital-signature-generator): Подписывает сообщение приватным ключом или проверяет подпись публичным — поддерживает RSA-PSS (SHA-256), ECDSA (P-256) и Ed25519. Чисто локальная криптография (Node crypto.createSign/createVerify), без сети. Вставьте PEM-ключ для подписи или проверки base64-подписи. Инструмент только подписывает/проверяет; он не генерирует пары ключей.
- [Генератор PKCE Code Verifier и Challenge](https://elysiatools.com/ru/tools/pkce-code-verifier-generator): Создание, проверка и верификация пар code_verifier / code_challenge PKCE (RFC 7636) для OAuth2 / OIDC. Три режима: (1) создать новую пару из криптостойких случайных байт (256/384/512/768 бит), (2) аудит имеющегося verifier по RFC — длина (43–128), набор \[A-Za-z0-9-._~\] и ≥256 бит энтропии, (3) проверить пару, пересчитав BASE64URL(SHA256(verifier)). При желании строит полный URL запроса авторизации и тело обмена токена. Дополняет универсальный nonce-generator (только выдаёт пару) аудитом соответствия RFC и проверкой пар.
- [Кодировщик Web Push: запрос RFC 8030 + VAPID + шифрование RFC 8291](https://elysiatools.com/ru/tools/web-push-rfc8030-vapid-rfc8291-payload-encrypted-content-encoder): Кодирует полную отправку Web Push: шифрование aes128gcm по RFC 8291, VAPID ES256 JWT по RFC 8292, заголовки RFC 8030, соответствие APNs/FCM и проверку расшифровкой в оба направления.
- [Декодер assertion WebAuthn Passkey и отладчик challenge](https://elysiatools.com/ru/tools/webauthn-passkey-assertion-decoder-challenge-debugger): Разбирает clientDataJSON, authenticatorData, flags, rpIdHash и signCount; проверяет ES256, RS256 или Ed25519 при наличии открытого ключа.
- [Карточка предпросмотра сочетания шрифтов](https://elysiatools.com/ru/tools/font-pairing-preview-card): Предпросмотр сочетания шрифтов заголовка и текста с реальным текстом, размерами, насыщенностью, интерлиньяжем и CSS.
- [Аудитор стилевой согласованности рукописи](https://elysiatools.com/ru/tools/manuscript-style-consistency-auditor): Проверяет числа, даты, единицы, кавычки, тире, уровни заголовков и имена; создаёт style sheet
- [Интерактивная таблица элементов](https://elysiatools.com/ru/tools/periodic-table-studio): Исследуйте интерактивную периодическую таблицу с режимами окраски и связанными данными электронной конфигурации

## Примеры

- [Примеры Обработки Изображений Android Java](https://elysiatools.com/ru/samples/android-image-processing-java): Примеры обработки изображений Android Java включая чтение/сохранение, масштабирование и преобразование формата
- [Примеры Обработки Изображений Android Kotlin](https://elysiatools.com/ru/samples/android-image-processing-kotlin): Примеры обработки изображений Android Kotlin включая чтение/сохранение, масштабирование и преобразование формата
- [Примеры Обработки Изображений Web Python](https://elysiatools.com/ru/samples/web-image-processing-python): Примеры обработки изображений Web Python используя PIL/Pillow включая чтение, сохранение, изменение размера и преобразование формата
- [Примеры Обработки Изображений Web Rust](https://elysiatools.com/ru/samples/web-image-processing-rust): Примеры обработки изображений Web Rust включая чтение/запись, масштабирование и преобразование форматов