二维图像,只是一个入口
给定一组线性无关的基向量,它们的整数线性组合构成一个格。在平面上画点有助于建立直觉,但密码学构造所用的高维对象、模运算和分布,不能从这幅图中直接读出。
L(B) = { Bz : z ∈ Zⁿ }噪声改变了问题的形态
学习带误差问题常出现 b = As + e mod q 这样的关系。没有误差时可以借助线性代数求解;引入适当分布的误差后,便进入另一类计算问题。困难性依赖维数、模数和误差分布,不能概括为“只要加噪声就安全”。
从问题到机制,还隔着构造
NIST FIPS 203 定义的是基于模格的密钥封装机制 ML-KEM。KEM 用于建立共享秘密,并不是直接加密任意长文件的接口。使用共享秘密仍需要按协议进行密钥派生,再交给对称密码组件。
阅读顺序可以是:参数与分布 → 安全假设 → 构造 → 归约 → 实现条件。
记录文献时保留版本和参数集。“后量子”也不表示面对所有实现攻击都安全。