简洁论证（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 情形相同的非结构化困难性层面，属于量子密码学与可验证计算交叉方向的理论进展。