Elysia Tools
导航
Cryptography
审计 ML-DSA / SLH-DSA / FN-DSA / BBS+ / PLONK / Halo2 的参数兼容性、证明尺寸与可信设置要求，并内置纯 TS 的 ML-DSA（FIPS 204）实时演示
详情
审计后量子签名与零知识验证器全景 —— 并用纯 TypeScript 在本地跑一遍真正的 ML-DSA 密钥生成/签名/验证。
检查内容：
提示：旧博客的 FIPS 编号经常整体错一位 —— 本工具锚定经过核实的映射（ML-DSA = 204，SLH-DSA = 205，FN-DSA = 206 草案；ML-KEM = 203）。BBS 证明非定长：按 draft-12 反序列化下限为 3 个 G1 点 + 4 个标量 = 272 字节，每多一个标量加 32 字节。
执行
填写表单、运行工具，并在同一页面查看结果。
案例
相关内容
工具使用指南
PQC 与 ZK 签名验证器审计器是一款面向后量子密码学与零知识证明系统的专业分析工具。工具支持对比 ML-DSA（FIPS 204）、SLH-DSA（FIPS 205）、FN-DSA、BBS 签名以及 Groth16、PLONK、Halo2 等验证器的公私钥尺寸、证明体积、RFC 9964 算法标识与 CNSA 2.0 合规要求，并提供基于纯 TypeScript 的 ML-DSA 实时签名演示及密钥数据块长度识别功能。
背景
企业计划在网络基础设施中逐步引入后量子密码，需要制定符合 CNSA 2.0 规范的技术选型报告。
问题
需要快速查阅各算法的 NIST 安全级别、RFC 9964 COSE/JOSE 算法 ID、密钥尺寸以及合规截止年限。
如何使用
在模式中选择“审计矩阵（标准、尺寸、COSE、CNSA 2.0）”，范围选择“全部方案”。
{
"mode": "audit",
"scope": "all"
}结果
生成包含 ML-DSA、SLH-DSA、FN-DSA、BBS 及 Groth16/PLONK/Halo2 的标准矩阵、精确尺寸表格与合规时间表。
背景
正在开发基于 FIPS 204 的固件签名服务，需要在本地快速验证特定消息的签名输出与篡改防范能力。
问题
需要验证纯 TypeScript 实现下的 ML-DSA-65 密钥生成、签名尺寸以及篡改检测结果。
如何使用
模式选择“ML-DSA 实时演示”，参数集选择“ML-DSA-65”，输入要签名的消息文本。
{
"mode": "mldsa-demo",
"mldsaSet": "ML-DSA-65",
"message": "release-manifest-2026-10-04"
}结果
输出公钥（1952 字节）、签名（3309 字节）等精确数据卡片，同时展示原始签名校验成功与篡改签名的失败状态。
FIPS 204 对应基于格的数字签名算法 ML-DSA（基于 Dilithium），而 FIPS 203 对应密钥封装机制 ML-KEM（基于 Kyber）。
Groth16 需要针对每个具体电路独立生成 CRS；PLONK 使用通用的 Powers-of-Tau SRS；Halo2 采用基于 IPA 的多项式承诺，完全无需可信设置。
主要节点包括 2027 年新采购门槛、2030 年软件/固件签名截止、2033 年操作系统及网络协议截止，以及 2035 年全量过渡完成。
不同 PQC 算法的公钥和签名长度各异（如 ML-DSA-44 公钥为 1312 字节，ML-DSA-65 签名为 3309 字节），工具通过解析 Base64 或 Hex 的实际字节数进行精准对应。
不是，BBS 证明反序列化基准尺寸为 272 字节（3 个 G1 点与 4 个标量），每额外公开或揭示一个标量增加 32 字节。
背景
分析一段抓包数据时发现一个长 3309 字节的 Base64 签名串，需要确认其对应的后量子参数集。
问题
缺少元数据标识，无法直接确认二进制数据属于哪种 PQC 算法及其安全级别。
如何使用
模式选择“识别粘贴的密钥/签名”，将 Base64 编码的签名粘贴至数据输入框中。
{
"mode": "identify",
"blob": "<Base64编码的3309字节数据>"
}结果
工具准确识别该数据块长度匹配 FIPS 204 标准下的 ML-DSA-65 签名。