章节摘要:SOURCE 2.x 按数学困难问题划分五大家族。本章用对比表对齐安全假设、代表算法、NIST 命运与实现尺寸——选型先看家族,再看具体参数集。
第二章是全教程的「选型坐标系」,核心任务是理解五大家族各自的数学困难问题、代表算法与标准化命运。建议按「假设—算法—尺寸—场景」四层递进阅读:先记住每个家族依赖哪个数学难题(格靠 LWE、编码靠译码困难、哈希靠抗碰撞),再把家族与具体算法对应起来(格对应 Kyber/Dilithium/Falcon,哈希对应 SPHINCS+),接着对照密钥与签名尺寸,最后回到场景判断哪些算法适合 TLS、哪些适合归档、哪些已被淘汰。
阅读时留意一个主线:家族间的对比不是简单地比「谁强谁弱」,而是比「安全假设可信度 × 传输尺寸 × 性能」的综合得分。SIKE 公钥最小却被攻破,SPHINCS+ 签名最大却是最保守的选择,这正是三条坐标轴相互制约的体现。
| 家族 | 困难假设 | 代表算法 | NIST 状态 | 关键尺寸特征 |
|---|---|---|---|---|
| 格 | Module-LWE | Kyber、Dilithium、Falcon | 已标准 | 公钥/签名均为 KB 级,性能均衡 |
| 编码 | 一般译码困难 | Classic McEliece | 标准在案 | 公钥 MB 级,密文极小 |
| 哈希 | 抗碰撞 | SPHINCS+ | 已标准 | 公钥极小,签名约 17 KB |
| 多变量 | MQ 问题 | Rainbow | 已攻破淘汰 | 签名小,验证快 |
| 同源 | 超奇异同源 | SIKE | 已攻破淘汰 | 公钥最小,理论最快 |
把这张表与各节的深入讨论放在一起读,第 3 章的参数对照与第 5 章的迁移路线就有了落脚的坐标系。
补充一句选型顺序的提醒:先确认「这个算法是否已完成标准化并进入主流实现栈」,再讨论尺寸与性能。Rainbow 与 SIKE 的教训表明,任何未定型的候选方案在性能上的优势,都可能在攻破论文发布的一夜间归零。