推荐 3.5
Conf: 50%
本文是'模格安全性'系列论文的第三部分,聚焦于分圆域Q(ζ_{2^k})的对数单位格上的结构化最近向量问题(CVP)距离。论文首先证明了从随机短环元素到对数单位格的L^2 CVP距离渐近收敛到(π/(2√6))√n,其中n=2^{k-1}。对于k≥4,该目标位于原点的Voronoi胞内。在L^∞范数下,n个子高斯坐标的最大值产生O(√log n)的边界,这转化为短生成元问题的次多项式近似因子。文章还提出了'粗格定理':Babai算法对所有结构化目标返回零,但能精确恢复任意大小的单位扰动。对于模行列式理想,进一步证明了Trigamma定理,揭示了内在不平衡性σ_{g_0}=O(1)与模q无关。最后,结合前两部分,将ML-KEM的CDPR因子从exp(Õ(√n))降低到次多项式值。该工作为评估后量子密码标准ML-KEM的安全性提供了更紧的理论界。
💡 推荐理由: 本文给出了ML-KEM安全性更紧的归约,可能影响后量子密码标准化决策。理解这些理论结果有助于评估实际参数下的安全边际。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)