第 7 章 标准落地：参数、实现与迁移
文档摘要
第 7 章 · 标准落地：参数、实现与迁移 本章要回答的三个问题：NIST 的后量子标准名录里到底有几件货、每件的参数与尺寸是多少、怎么按安全类别选型？同一套算法，参考实现与优化实现能差十倍，性能是从哪里抠出来的、哪些编译开关与写法红线不能碰？标准文档之外，真实世界的 TLS 流量怎么迁移，混合密钥交换的每个字节长什么样？本章把格密码从论文搬进生产环境。 为什么会有这一章 前三章完成了"数学正确"，本章要完成"工程可用"——中间隔着一条宽度常被低估的鸿沟。参数表不是抄来的：NIST 用六年、三轮公开评估、几十个团队的密码分析（第 6 章你拆过他们的工具箱）才把候选名单收敛到几件标准。实现不是跑通的代码：KyberSlash 用一条除法指令证明了归约证书与生产安全之间隔着整个编译器与微架构。
第 7 章 · 标准落地：参数、实现与迁移
本章要回答的三个问题：NIST 的后量子标准名录里到底有几件货、每件的参数与尺寸是多少、怎么按安全类别选型？同一套算法，参考实现与优化实现能差十倍，性能是从哪里抠出来的、哪些编译开关与写法红线不能碰？标准文档之外，真实世界的 TLS 流量怎么迁移，混合密钥交换的每个字节长什么样？本章把格密码从论文搬进生产环境。
为什么会有这一章
前三章完成了"数学正确"，本章要完成"工程可用"——中间隔着一条宽度常被低估的鸿沟。参数表不是抄来的：NIST 用六年、三轮公开评估、几十个团队的密码分析（第 6 章你拆过他们的工具箱）才把候选名单收敛到几件标准。实现不是跑通的代码：KyberSlash 用一条除法指令证明了归约证书与生产安全之间隔着整个编译器与微架构。迁移更不是换个库：一次 TLS 握手多出一千多字节，足以让十年前部署的中间设备集体哑火。这三层工程现实，任何一层没打通，前六章的数学就只是纸面财富。
本章也是全册数据的集散地：第 3 章算过的安全位数、第 4 章对照过的参数、第 6 章校准过的攻击成本，在本章的表格里全部合龙成可执行的选型依据。你还会看到一条贯穿的纪律——每个数字都要带口径与出处，因为参数表上的一个字节差异，放到亿级握手的规模上就是真金白银。
读完能解决什么
对照开篇三问，本章交付三样东西：
- 能选型：给你 NIST 名录与全套尺寸数据，你能按安全类别、尺寸预算、签名吞吐三个约束点出该用的算法与参数档，并说清每个数字的出处。
- 能落地：你能在主流密码库（OpenSSL、liboqs 系）里启用 ML-KEM，知道参考实现、优化实现与形式化验证实现各差在哪，并按常量时间清单审查代码。
- 能迁移：你能在 TLS 服务器上开启混合密钥交换并抓包核对字节（ClientHello 里多出来的那一千二百字节长什么样、叫什么名字、编号几号），并为证书签名链的渐进替换排期。
各节怎么分工
| 节 | 回答的问题 | 关键产出 |
|---|---|---|
| 7.1 NIST 名录与参数对照 | 标准有哪些、怎么选 | 时间线、四算法名录、全量尺寸对照表 |
| 7.2 常量时间与性能优化 | 实现的快与稳从哪来 | NTT 加速原理、常量时间红线清单、库生态对照 |
| 7.3 TLS 迁移实战 | 真实流量怎么换引擎 | 混合握手时序图、字节级账单、迁移排期建议 |
三节的推进是"选货、验货、上架"：先把标准名录读成选型表，再把实现层的要求写成验收单，最后在真实协议里完成割接。全章骨架如下。
先决条件
两样：第 4 章的参数与尺寸记号（密钥、密文、签名的字节表直接续用）；对 TLS 握手"客户端发个随机数、服务端回个数"级别的粗粒度印象即可，7.3 节会把需要的那部分协议细节补齐。本章不要求部署经验，但所有命令示例都可以在任意装有主流密码库的机器上照跑。
往下走到哪
本章结束时，格密码学对你不再是数学专题，而是一条完整的供应链：标准定参数、实现保常数、协议管落地。第 8 章向前看——更紧凑的签名、更深的混淆猜想、更自动化的参数评估——你会发现自己已经能站在生态的高度评估每一件新进展的分量。