MIMO（多输入多输出）技术是现代无线通信的基础。物理层安全旨在利用噪声信道的物理特性保护传输信息，而无需上层加密。Dean 和 Goldsmith 曾通过借鉴 Regev 对 LWE（带噪声学习问题）的归约，提出将格问题（如最短向量问题、最近向量问题等）多项式时间归约到 MIMO 解码问题，试图为物理层安全方案提供基于格困难性的计算安全基础。但随后有研究对该构造提出了攻击和反例，使得该归约的有效性受到质疑，然而其确切缺陷与适用范围一直未被系统分析。本文对修订后的归约进行了严谨的理论研究，逐步骤对比 LWE 归约与 MIMO 解码问题的结构性差异，识别出 LWE 归约中依赖“模”代数结构的关键特性（如加法同态、错误分布封闭性等）在非模的 MIMO 信道模型下无法成立，从而导致该归约的证明无法推出 MIMO 解码的格困难性。文章进一步区分了“困难性证明中的缺陷”与“特定参数下的直接攻击”两类问题，并指出现有证明若要修复，必须引入新的结构或额外假设。作者强调，该结论并不否认 MIMO 物理层安全的整体可能性，只是表明其不能经由已有的这条 LWE 式归约获得理论支撑。本文主要贡献在于澄清了理论基础的失效细节，为未来构造可证明安全的物理层方案提供了警示与方向。该论文适合密码学与无线通信交叉领域的研究者阅读。

本文提出并实现了新的基于格的后量子指定验证者zkSNARK，目标是缩小后量子与预量子（经典）zkSNARK在证明大小上的巨大差距（当前约1000倍）。作者在指定验证者预处理模型下，结合二次扩域与秩2模格上的线性唯一向量加密，具体化了Bitansky等人（TCC 2013）和Boneh等人（Eurocrypt 2017）的编译器框架。对于规模为2^20的NP关系，单个证明大小仅略超16 KB，比此前面向一般NP语言的后量子zkSNARK短10.3倍；与同模型下基于格的构造相比，证明大小降低42倍，证明者运行时间降低60倍，同时达到更高的健全性。与Groth（Eurocrypt 2016）的最短预量子zkSNARK相比，本文证明长度长131倍，但证明者和验证者均更快（分别快1.2倍和2.8倍）。该工作展示了后量子隐私保护证明系统在实用化方向上的重要进展，适合研究格基密码学、可验证计算和隐私保护技术的学者与工程师阅读。

该论文是对Banaszczyk不等式的进一步改进。Banaszczyk不等式是格密码学中一个经典的概率不等式，用于估计格上离散高斯分布的尾部概率，在格基密码系统的安全性分析中具有重要地位。此前，Tian、Liu和Xu已对该不等式给出了一个改进版本，并提供了透明的证明。本文在此基础上，通过施加一个合适的条件，得到了一个显著更优的界。作者详细阐述了新的条件及其推导过程，证明了改进后的不等式在特定参数范围内具有更紧的界。这一改进可以直接应用于对Learning With Errors（LWE）问题的对偶攻击分析中。LWE问题是后量子密码学中最核心的困难假设之一，对偶攻击是一种重要的密码分析方法。因此，该数学工具的精化有助于更精确地评估LWE实例的安全性，可能影响对基于格的密码系统的安全参数选择。本文的主要贡献在于理论上的提升，为密码学社区提供了一个更强的不等式工具。适合对格密码学理论基础、概率不等式及其在密码分析中应用感兴趣的数学和密码学研究者阅读。