该论文研究量子计算时代可验证计算的理论基础问题:能否在尽可能弱的密码学假设下,为 QMA(量子 Merlin-Arthur,即量子版 NP 的验证类)构造简洁论证(succinct arguments)。作者证明:只要存在 collapsing hash functions(坍缩哈希函数),就存在 QMA 的简洁论证。这是首个仅依赖非结构化“Minicrypt”类假设的方案——此前相关构造通常需要更强假设(如公钥加密、后量子安全的多项式承诺等),而已知 Minicrypt 假设(例如单向函数)并不能推出公钥加密,因此该结果显著降低了信任假设门槛。核心技术创新是一个量子简洁的“claw-state generation”(爪态生成)协议:它仅使用经典通信,就能把少量量子关联自举(bootstrap)为任意大数量的 claw-state 关联,使验证者可用极少的量子能力完成大量相关量子态的生成与验证。该协议相较 Zhang(STOC 2021)的方案有三点改进:轮复杂度更低、在标准模型下可证明安全、整体构造更简洁。借助该协议,作者从单向函数出发得到量子计算的量子简洁盲委托(blind delegation)协议,再将其接入 Bartusek、Liu 与 Malavolta(EUROCRYPT 2026)的通信压缩编译器,最终得到 QMA 的简洁论证。论文属于量子密码学与复杂性理论交叉方向,适合从事可验证量子计算、量子委托、简洁论证、后量子假设研究的理论与密码学研究者阅读。
💡 推荐理由: 结果表明 QMA 简洁论证与量子委托可建立在 Minicrypt 级假设上,降低了对强公钥原语的依赖,促使安全从业者重新评估量子时代协议的信任假设与迁移路径。
🎯 建议动作: 研究跟进