ML-DSA-87 交易签名的归档证书预印本：每签名压缩至 104.09–126.89 字节

内容摘要

一篇 IACR ePrint 预印本作者提出并测量了针对 FIPS 204 ML-DSA-87 签名的归档证书方案：对已验证区块区间给出单个哈希证明，原始每笔交易 4,627 字节的签名在 65,536 个签名规模下可压至 Johnson 族 104.09 字节/签名、唯一解码族 126.89 字节/签名，代价是证明者较慢、验证慢于原生验证。作者称在 2^64 次查询与 2^20 次验证提交下，经典随机预言模型提取错误分别低于 2^-188.07 与 2^-201.99，量子模型仅对唯一解码族给出低于 2^-129.67 的界。Lean 4 与 AXLE 形式化验证覆盖部分引理与条件，K5 效率条件仍依赖两个未决前提，外部评审尚待完成，证书引导在所述部署条件下仍处于禁用状态。