该论文对后量子签名方案 Miranda 进行了密码分析，提出了一种高效的密钥恢复攻击。Miranda 的设计范式是：先选取一个具有隐藏代数结构的矩阵码（此处由一个 Gabidulin 码扩张而来，仅具备 Fq-线性性质），再通过掩码（masking）隐藏该底层结构；只有掌握被隐藏的结构，才能进行高效纠错译码，从而保证签名的可用性与安全性。作者指出，这一攻击思路与此前针对 EGMC 加密方案的分析工作（Le26, arXiv:2608.03328）高度相似，两者共享同一类“掩码矩阵码”范式。攻击的核心是把问题归约为一个 MinRank 实例：在扩域 Fqm 上求解，但实例中的矩阵系数取自基域 Fq，即寻找掩码矩阵 Gabidulin 码所隐含的 Fqm-线性结构。作者强调，这类 MinRank 实例可以被高效求解，而相比针对 EGMC 的先前工作，Miranda 签名方案的场景下能够在多项式时间内完成到该 MinRank 实例的归约——这是本项工作的关键突破。归约的高效性使得攻击对 Miranda 所建议的参数集具有特别显著的效果：例如在 m=79 的参数集下，攻击复杂度由原先估计的 146 比特降至 46 比特，意味着该参数集已不具备相应的安全裕度。论文的贡献在于给出了一条清晰、可复现的归约路径，并对 Miranda 的推荐参数进行了复杂度评估，属于面向基于秩度量码（Gabidulin 码）的签名构造的结构性密码分析成果。适合对后量子密码、码基密码学与秩度量码安全性感兴趣的读者阅读。

该论文研究如何在不依赖不可区分混淆(iO)、多线性映射等强假设的前提下构造 NP 的见证加密(Witness Encryption, WE)。WE 允许发送方针对某个 NP 陈述 x 加密消息：持有 x 的有效见证者可解密，而当 x 不属于该语言时，任何敌手都无法区分密文。作者在经典通用群模型(Generic Group Model, GGM)下，仅使用普通的素数阶循环群，无条件地(unconditional，即不引入额外计算假设)构造出 NP 的见证加密。对规模为 n 的 SAT 实例，加密算法运行时间为 poly(n)；任一满足赋值都可作为解密密钥在 poly(n) 时间内正确解密，正确性错误率低至 2^{-n^{Ω(1)}}。安全性方面：若实例不可满足，则任何至多做 n^{Θ(log n)}(拟多项式级)群查询的通用敌手，其区分优势不超过 n^{-Θ(log n)}。需要强调，该安全性属于细粒度/次指数型保证，并非对多项式时间敌手可忽略，且结论依赖于仅对通用(而非任意)算法成立的通用群模型。作为副产品，作者证明了首个关于齐次 MinRank 问题的超常数因子 NP 难近似结果：在随机多项式时间归约下达到对数级近似间隙，且该结论在秩一见证的右因子被限制为布尔值时依然成立。整体上，论文把 WE 的构造基础从混淆类假设推进到更接近标准代数结构(素数阶群)的理想化模型，并给出独立意义的近似困难性贡献，适合密码学理论、不可区分混淆、多元密码与后量子安全方向的研究者阅读。