https://blog.qife122.com/tags/%E6%A0%BC%E5%9F%BA%E5%AF%86%E7%A0%81%E5%AD%A6/ Recent content in 格基密码学 on 办公AI智能小助手 Hugo zh-cn qife Mon, 08 Sep 2025 03:44:36 +0800 https://blog.qife122.com/p/%E6%A0%BC%E5%9F%BA%E5%AF%86%E7%A0%81%E5%AD%A6%E4%B8%AD%E6%95%B0%E8%AE%BA%E5%8F%98%E6%8D%A2%E7%9A%84%E4%BB%A3%E6%95%B0%E7%BA%BF%E6%80%A7%E5%88%86%E6%9E%90/ Mon, 08 Sep 2025 03:44:36 +0800 https://blog.qife122.com/p/%E6%A0%BC%E5%9F%BA%E5%AF%86%E7%A0%81%E5%AD%A6%E4%B8%AD%E6%95%B0%E8%AE%BA%E5%8F%98%E6%8D%A2%E7%9A%84%E4%BB%A3%E6%95%B0%E7%BA%BF%E6%80%A7%E5%88%86%E6%9E%90/ <h1 id="格基密码学中数论变换的代数线性分析">格基密码学中数论变换的代数线性分析</h1> <h2 id="摘要">摘要</h2> <p>随着NIST后量子密码系统新标准的最终确定以及各国发布在未来十年内转向后量子或至少混合密码的指令，验证后量子密码软件的主题比以往任何时候都更加紧迫。验证格基密码软件的一个关键问题是在高度优化的密码软件中频繁出现的有限域算术汇编代码中的范围检查。这些问题大部分通过可满足性模理论（SMT）处理，但到目前为止，主要局限于Montgomery算术和16位精度。我们通过整数集库（通过python包islpy包装）为CryptoLine工具包添加了半自动范围检查推理能力，这使得验证更多算术密码代码（包括Barrett和Plantard有限域算术）变得更加容易和快速，并通过实验证明这在生产代码中是可行的。</p> https://blog.qife122.com/p/%E6%A0%BC%E5%9F%BA%E5%AF%86%E7%A0%81%E5%AD%A6%E4%B8%AD%E6%95%B0%E8%AE%BA%E5%8F%98%E6%8D%A2%E7%9A%84%E4%BB%A3%E6%95%B0%E7%BA%BF%E6%80%A7%E5%88%86%E6%9E%90/ Sun, 07 Sep 2025 21:12:53 +0800 https://blog.qife122.com/p/%E6%A0%BC%E5%9F%BA%E5%AF%86%E7%A0%81%E5%AD%A6%E4%B8%AD%E6%95%B0%E8%AE%BA%E5%8F%98%E6%8D%A2%E7%9A%84%E4%BB%A3%E6%95%B0%E7%BA%BF%E6%80%A7%E5%88%86%E6%9E%90/ <h1 id="代数线性分析在格基密码学数论变换中的应用">代数线性分析在格基密码学数论变换中的应用</h1> <h2 id="摘要">摘要</h2> <p>随着NIST后量子密码系统标准的最终确定以及各国发布在未来十年内转向后量子或至少混合密码学的指令，验证后量子密码软件的主题比以往任何时候都更加紧迫。验证格基密码软件的一个关键问题是在高度优化的密码软件中频繁出现的有限域算术汇编代码中的范围检查。这些问题大部分已通过可满足性模理论（SMT）处理，但到目前为止，它们主要局限于蒙哥马利算术和16位精度。我们通过整数集库（通过python包islpy包装）为CryptoLine工具包添加了半自动范围检查推理能力，这使得验证更多算术密码代码（包括Barrett和Plantard有限域算术）变得更加容易和快速，并通过实验证明这在生产代码中是可行的。</p>