第4章 · 实现与优化

第 4 章 · 实现与优化

章节摘要：SOURCE 4.x 覆盖 PQClean、liboqs、OpenSSL 3 集成、FPGA/ASIC 加速与侧信道防护。本章对比软件参考实现与生产硬ening 要求。

先说结论

1. 选用 liboqs / oqs-provider 接入 OpenSSL
2. 说明恒定时间实现的重要性
3. 对比软件与硬件加速场景

本章学习建议

第四章把第 3 章选定的算法落地为可运行的实现。建议按「软件正确性—性能—安全」三层阅读：第一层是软件栈，理解 PQClean 提供可移植参考实现、liboqs 提供统一 API、oqs-provider 把 PQC 接入 OpenSSL 3，正确性以 NIST KAT 向量为金标准；第二层是性能，理解 NTT 如何加速多项式乘法、FPGA 验证与 ASIC 量产的区别，以及什么场景才值得做硬件卸载；第三层是安全，理解计时、功耗、电磁三条侧信道，掌握恒定时间编程的纪律。

三节内容恰好回答三个问题：我要用现成库还是要自己实现？什么时候该从软件走向硬件？如何证明我的实现没有泄漏密钥？第四章结尾的自检清单可以作为团队验收实现的模板。

知识点衔接

• 前置知识：第 3 章的参数集（Kyber-768、Dilithium3）与 FIPS 编号。
• 后续依赖：本章验证过的实现栈，是第 5 章迁移试点的基础设施；侧信道结论影响风险管理中的实现审计项。
• 常见误区：通过 KAT 就以为实现安全（KAT 只验证正确性）；以为硬件加速是标配（多数场景软件 AVX2 已够用）；忽视随机源质量。

实现栈速查表

对照这张表，结合各节深入讨论，可以快速判断团队当前处于「评估集成」还是「硬件化」阶段。

常见疑问

实现层的每一项选择，最终都会在第 5 章的迁移演练中接受检验——提前想清楚这几个问题，能少走不少弯路。