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