# PQC 与 ZK 签名验证器审计器

审计 ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2 的参数兼容性、证明尺寸与可信设置要求，并内置纯 TS 的 ML-DSA（FIPS 204）实时演示

> 标准页面: https://elysiatools.com/zh/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 签名尺寸, powers of tau

## 概述

审计后量子签名与零知识验证器全景 —— 并用**纯 TypeScript 在本地跑一遍真正的 ML-DSA 密钥生成/签名/验证**。

**检查内容：**
- **标准矩阵**：ML-DSA（FIPS 204 final——注意不是 203，203 是 ML-KEM）、SLH-DSA（FIPS 205，12 个参数集）、FN-DSA（FIPS 206 草案，Falcon）、BBS 签名（CFRG draft，BLS12-381），以及 Groth16 / PLONK / Halo2 零知识验证器家族 —— 给出精确的公钥/私钥/签名尺寸、NIST 安全等级和 **RFC 9964** 的 COSE/JOSE 算法 ID（-48/-49/-50）。
- **可信设置审计**：哪些系统需要逐电路仪式（Groth16）、可更新通用 Powers-of-Tau SRS（PLONK/KZG），或完全不需要（Halo2 的透明 IPA + Pasta 曲线；所有格/哈希 PQC 方案）。
- **CNSA 2.0 时间线**：2027 新采购门槛、2030 软件/固件签名截止（现在就鼓励 LMS/XMSS）、2033 浏览器/服务器/操作系统、2035 NSM-10 终点。
- **ML-DSA 实时演示**：确定性生成密钥对、签名你的消息并验证 —— 外加篡改检测 —— 使用仓库内置的纯 TS FIPS-204-final 移植，该移植已**与本地编译的 PQClean 参考实现逐字节对拍**（ML-DSA-44/65/87 的 pk/sk/sig 完全一致，拒绝循环逐轮吻合）。
- **数据块识别**：粘贴 hex 或 base64 的公钥/签名，按字节长度匹配所有参数集（如 1312 → ML-DSA-44 公钥；3309 → ML-DSA-65 签名；49856 → SLH-DSA-256f 签名）。

**提示**：旧博客的 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…

## 适用场景

- 规划后量子迁移方案并需要核对 ML-DSA、SLH-DSA 与 FN-DSA 的密钥及签名数据开销时
- 评估 Groth16、PLONK 与 Halo2 等零知识证明系统的可信设置（Trusted Setup）依赖与证明大小时
- 拿到 Hex 或 Base64 编码的二进制签名或公钥数据块，需要快速通过字节长度匹配其算法参数集时

## 工作原理

- 选择审计模式与范围，即时查阅各算法的标准规范编号、NIST 安全等级、精确字节尺寸及 CNSA 2.0 合规时间线
- 切换至 ML-DSA 演示模式，选择 ML-DSA-44/65/87 参数集并输入文本消息，在本地运行确定性密钥生成、签名生成、合法验证与篡改检测流程
- 在识别模式下粘贴 Hex 或 Base64 原始数据，系统自动解析字节长度并匹配对应的 PQC 或 ZK 算法参数集

## 使用案例

- 安全架构师对比评估后量子算法网络带宽占用与 TLS/COSE 报文开销
- Web3 与隐私计算开发者选型零知识证明方案并规避复杂的电路可信设置依赖
- 固件安全与系统运维人员排查已签名固件中的后量子公钥与签名参数规格

## 常见问题

### FIPS 204 与 FIPS 203 有何区别？

FIPS 204 对应基于格的数字签名算法 ML-DSA（基于 Dilithium），而 FIPS 203 对应密钥封装机制 ML-KEM（基于 Kyber）。

### Groth16、PLONK 和 Halo2 的可信设置要求有什么不同？

Groth16 需要针对每个具体电路独立生成 CRS；PLONK 使用通用的 Powers-of-Tau SRS；Halo2 采用基于 IPA 的多项式承诺，完全无需可信设置。

### CNSA 2.0 迁移路线的关键时间节点有哪些？

主要节点包括 2027 年新采购门槛、2030 年软件/固件签名截止、2033 年操作系统及网络协议截止，以及 2035 年全量过渡完成。

### 如何通过数据块识别模式判断公钥或签名所属的算法？

不同 PQC 算法的公钥和签名长度各异（如 ML-DSA-44 公钥为 1312 字节，ML-DSA-65 签名为 3309 字节），工具通过解析 Base64 或 Hex 的实际字节数进行精准对应。

### BBS 签名的证明尺寸是固定的吗？

不是，BBS 证明反序列化基准尺寸为 272 字节（3 个 G1 点与 4 个标量），每额外公开或揭示一个标量增加 32 字节。

## 相关工具

- [哈希算法对比器](https://elysiatools.com/zh/tools/hash-algorithm-comparator): 对同一输入同时用 MD5、SHA-1、SHA-256、SHA-512、BLAKE2b、BLAKE3 哈希并横向对比：输出长度、十六进制/Base64 摘要、安全状态（已破解/现代）以及相对速度基准。适合教学、选择哈希算法或核对校验和。
- [数字签名生成器](https://elysiatools.com/zh/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/zh/tools/pkce-code-verifier-generator): 生成、校验与验证 OAuth2 / OIDC PKCE（RFC 7636）的 code_verifier 与 S256 code_challenge 配对。三种模式：(1) 从密码学安全随机字节（256/384/512/768 位熵）生成全新的 verifier + challenge；(2) 按 RFC 审计你已有的 verifier——长度（43–128）、字符集 \[A-Za-z0-9-._~\] 与 ≥256 位熵；(3) 通过重算 BASE64URL(SHA256(verifier)) 验证 verifier/challenge 配对。可选构建完整的授权请求 URL 与令牌交换体。补足通用的 nonce-generator（仅输出 verifier+challenge 配对）——增加 RFC 合规审计与配对验证。
- [Web Push RFC 8030 请求 + VAPID + RFC 8291 负载加密编码器](https://elysiatools.com/zh/tools/web-push-rfc8030-vapid-rfc8291-payload-encrypted-content-encoder): 编码完整的 Web Push 发送流程：RFC 8291 aes128gcm 负载加密、RFC 8292 VAPID ES256 JWT、RFC 8030 头部、APNs/FCM 头部对照与解密往返验证。
- [WebAuthn Passkey Assertion 解码与 Challenge 调试器](https://elysiatools.com/zh/tools/webauthn-passkey-assertion-decoder-challenge-debugger): 解析 clientDataJSON、authenticatorData、flags、rpIdHash 和 signCount；提供公钥时验证 ES256、RS256 或 Ed25519 签名。
- [字体配对预览卡](https://elysiatools.com/zh/tools/font-pairing-preview-card): 用真实文案预览标题与正文字体配对、字号、字重、行高、字符集和 CSS 字体栈。
- [稿件风格一致性审计器](https://elysiatools.com/zh/tools/manuscript-style-consistency-auditor): 同时检查数字、日期、单位、引号、破折号、标题层级、人物名和专名一致性,生成 style sheet
- [交互式元素周期表](https://elysiatools.com/zh/tools/periodic-table-studio): 浏览可点击的元素周期表，按类别、状态或区块着色，并联动查看电子排布详情

## 示例

- [Android Java 图像处理示例](https://elysiatools.com/zh/samples/android-image-processing-java): Android Java 图像处理示例，包括图像读取保存、缩放和格式转换
- [Android Kotlin 图像处理示例](https://elysiatools.com/zh/samples/android-image-processing-kotlin): Android Kotlin 图像处理示例，包括图像读取保存、缩放和格式转换
- [Web Python 图像处理示例](https://elysiatools.com/zh/samples/web-image-processing-python): Web Python 图像处理示例，使用 PIL/Pillow 包括读取、保存、缩放和格式转换
- [Web Rust 图像处理示例](https://elysiatools.com/zh/samples/web-image-processing-rust): Web Rust 图像处理示例，包括图像读取保存、缩放和格式转换