本论文研究量子密码学在随机预言机模型（ROM）下的时间-空间下界，属于可证明安全与量子复杂性交叉的理论工作。作者考虑如下设定：敌手在预处理阶段可获取 S 个量子比特的非均匀建议（advice），随后在随机预言机上进行 T 次查询，目标是从 n 量子比特的二相态 |ψ_k⟩ ∝ Σ_x R(k,x)|x⟩ 中恢复随机密钥 k（N = 2^n）。论文证明该敌手成功概率的上界为 O((T² + √(ST))/N)。作为对比，后量子单向函数目前已知的最好上界是 O((T² + ST)/N)，且当 S = N 时存在平凡攻击。这一差距揭示了量子密码相对经典密码的新优势：仅需 n 个量子比特的通信量，即可抵御空间高达 N² 的预处理攻击，而经典情形下只能抵御空间 N 的攻击。方法上，作者把最优预处理攻击刻画为某个随机矩阵的算子范数，再用迹矩方法（trace-moment method）对随机预言机取期望并加以界定；这些迹矩可以借助 Zhandry（Crypto 2019）提出的“压缩预言机”（compressed oracles）得到自然解释，从而把证明大幅简化。作者指出，该框架可视为对 Liu（Eurocrypt 2023）关于攻破后量子密码的时间-空间权衡证明方法的简化与推广。论文还给出三项衍生结果：(1) 收紧 Liu 对量子随机预言机模型（QROM）中后量子伪随机生成器（PRG）的分析，将区分优势界改进为 O(T²/N + √(ST/N))；(2) 在酉合成（unitary synthesis）问题上，把 Lombardi-Ma-Wright（STOC 2024）的单查询下界扩展到更强敌手：该敌手可以在一次任意函数查询之前或之后，进行多项式多次自适应的随机预言机查询，并同样用压缩预言机重新解释原始 LMW24 结论；(3) 证明随机二相态对空间为 S 的区分器具有紧的伪随机性上界 O(√S/N)。整体上，论文为 QROM 下的时间-空间权衡提供了更紧、更统一的证明工具，适合密码学理论、后量子迁移安全论证方向的研究者阅读。

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

该论文研究非一致性（non-uniform）安全性：攻击者可在面对全新挑战之前获得关于预言机的有界建议（advice）信息，这一模型刻画了先离线预处理、再在线发起攻击的最现实攻击模式，此前在量子随机预言机模型（QROM）与随机置换模型中已有大量研究。本文提出一种基于算子范数（operator-norm）的新分析框架来处理量子建议下的非一致性安全。其核心创新在于：用统一的归约同时刻画搜索型博弈的成功概率与判定型（decision）博弈的区分优势；而此前的归约方法即使在判定博弈中也只能处理成功概率，因而得到的界更松。借助这一框架，作者为 Yao's box（带盐与不带盐两种情形）给出了紧界，并改进了伪随机生成器（PRG）的安全性界；同时证明了判定博弈下最优的通用加盐（salting）定理，即加盐能在多大程度上降低预处理优势的一个通用上界。方法层面，作者定义了博弈的一种属性，用以分离离线阶段已有查询与随后在线查询各自的贡献，从而对特定加盐构造给出更强的界，包括带盐置换反演（tight up to 对数因子）与带盐随机函数反演（tight up to 对数因子，且与经典函数反演中已存在的差距一致）。整体而言，这是一项偏理论的密码学成果，为量子环境下的非一致性安全提供了更紧、更统一的证明工具，适合从事可证明安全、量子密码与密码方案安全参数评估的研究者与工程师阅读。

该论文研究量子计算中的可认证随机性协议，特别是在量子随机预言机模型（QROM）下，如何让一个量子证明者向经典验证者证明自己确实执行了量子计算，并从中产生可验证的随机数。此前，Yamakawa 和 Zhandry（J. ACM 2024）提出了一种量子性证明方案，其中量子证明者需要对一个公开可计算函数 H 采样一个码字原像。他们猜想，对于任何 H，成功的证明者必然从一个高熵分布中采样答案，从而可以提取随机性。但他们只能在 Aaronson-Ambainis 猜想成立的前提下证明其安全性。本文的主要贡献是无条件地证明了 Yamakawa-Zhandry 可认证随机性协议的安全性，摆脱了对未证明猜想的依赖。具体而言，作者证明了对于低查询深度的量子敌手——即最多进行 o(log λ) 次自适应量子查询的敌手——该协议是安全的。这里的查询深度是指敌手对随机预言机的量子查询层数，类似电路深度。该证明采用了新的技术，可能涉及量子查询复杂性和随机性提取的深刻联系。论文为可认证随机性提供了更坚实的理论基础，并可能对量子密码学、随机数生成验证以及量子优势的认证产生重要影响。适合对量子密码学、量子复杂性理论以及可验证量子计算感兴趣的研究人员阅读，尤其关注理论安全性证明的读者。

该论文针对量子计算-经典通信（QCCC）密钥协商协议的不可能性问题取得了重要进展。作者在量子随机预言机模型（QROM）下，构造了针对两类受限设置的无条件攻击（即攻击者计算能力无界，仅以多项式次查询即可恢复密钥）。第一类为两消息设置：假设 Alice 在第一轮仅对预言机进行经典查询，且发送给 Bob 的消息为经典比特串，但双方在后续计算中可执行任意量子计算、进行量子查询，并在第二轮发送量子态。该攻击基于 Austrin 等人（CRYPTO 2022）的重查询学习技术和 Katz-Sela（arXiv 2401.14319）的重编程技术。第二类为轮数无关设置：作者证明 Barak-Mahmoody（CRYPTO 2009; J. Cryptology 2017）的攻击可扩展到多轮场景，前提是 Alice 和 Bob 使用经典通信，且除最后一轮外的所有轮次仅进行经典预言机查询。在两种设置下，只要诚实参与者的查询次数上界为 poly(λ)，且合法协商成功的概率为逆多项式，攻击者就能以 poly(λ) 次查询成功恢复密钥。该结果进一步推论：在 QROM 中，当密钥生成具有经典预言机访问时，任何针对经典消息的、完美性有缺陷（即有一定错误概率）的量子公钥加密（PKE）方案都无法存在，即使加密、解密和密文均为量子形式。特别地，该否定结果适用于 Bartusek 和 Khurana（CRYPTO 2025）基于两轮 OSP 构造的、完美性有缺陷的 PKE（对于单比特明文），只要经典 OSP 发送方仅进行经典随机预言机查询。这项研究从理论上划定了量子密钥协商在特定模型下的可行性边界，对后量子密码协议的设计具有指导意义。