简洁论证（succinct arguments）是密码学中的基础原语，其目标是以极小的通信量验证计算断言。在经典设定下，针对 NP 的简洁论证可以仅从非结构化困难性（例如哈希函数）出发构造：通过 commit-and-open 范式，把 NP 的概率可检查证明（PCP）或交互式预言机证明（IOP）编译为论证系统。相比之下，已知的针对 QMA 的简洁论证要么依赖某种『结构化』密码原语，要么依赖尚未证明的量子 PCP 猜想，因此其假设基础明显更重。本文的贡献是构造出第一个在量子随机预言机模型（QROM）下的 QMA 简洁论证，且不依赖任何额外的密码学假设或未证明猜想。由此得到仅从非结构化困难性出发的 QMA 简洁论证，说明理想哈希函数不仅足以支撑 NP 的简洁论证，也足以支撑 QMA 的简洁论证。其核心技术是一个效率保持的编译变换：把最近提出的量子交互式预言机证明（QIOP，即量子 PCP 的交互式推广）转换为针对同一语言的量子论证，所用范式是一种自然的量子 commit-and-open。该变换适用于任何满足 public-query soundness 的 QIOP——作者形式化了这一概念，用以刻画 commit-and-open 范式的自然要求，并指出已有针对 QMA 的 QIOP 满足该条件。作为该变换的关键组件，作者还在 QROM 中形式化并构造了支持局部打开的、可提取的量子态向量承诺，这一组件本身可能具有独立价值。整体而言，论文把 QMA 简洁论证的假设门槛降到了与经典 NP 情形相同的非结构化困难性层面，属于量子密码学与可验证计算交叉方向的理论进展。

该论文研究量子计算时代可验证计算的理论基础问题：能否在尽可能弱的密码学假设下，为 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 的简洁论证。论文属于量子密码学与复杂性理论交叉方向，适合从事可验证量子计算、量子委托、简洁论证、后量子假设研究的理论与密码学研究者阅读。