该论文研究如何在不依赖不可区分混淆(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 的构造基础从混淆类假设推进到更接近标准代数结构(素数阶群)的理想化模型，并给出独立意义的近似困难性贡献，适合密码学理论、不可区分混淆、多元密码与后量子安全方向的研究者阅读。