本论文研究量子密码学在随机预言机模型（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 下的时间-空间权衡提供了更紧、更统一的证明工具，适合密码学理论、后量子迁移安全论证方向的研究者阅读。