该论文研究如何在标准模型下用密码学手段让经典验证者确认量子设备确实展现了量子优势，并对一般的 BQP 计算做经典验证。作者以量子不可区分混淆（qiO）为核心工具构造了三类协议。第一，在假设 qiO 存在、且 BQP≠BPP 的一个略强变体成立的前提下，给出一个两消息的量子优势协议，验证高效且可公开验证；这被视为对 Aaronson 与 Zhang 基于 peaked random circuit sampling 的启发式量子优势方案（arXiv:2404.14493）提供了严格的密码学基础。第二，作者构造两个经典验证任意 BQP 计算的协议：第一个仅假设 qiO 存在，属私有可验证，是（量子）iO 少见的、不需要额外计算硬度假设的非平凡密码学应用；第二个额外假设后量子单向函数，从而实现公开可验证，据作者所知这是标准模型下基于计算假设的首个可公开验证的 BQP 计算经典验证协议。第三，技术层面证明上述结论在 qiO 仅对无 ancilla 的酉电路成立时依然成立，并给出针对该类电路混淆的最坏到平均情况归约，把 Canetti、Chamon、Mucciolo 与 Ruckenstein（TCC 2024）的 local-mixing 框架推广到对应的量子假设。论文属量子密码学与量子复杂性交叉的理论工作，适合研究可验证量子计算、后量子密码与量子优势实验的读者。

该论文研究的是量子优势（quantum advantage）理论中的一个核心开放问题：是否存在一类量子优势协议，其资源需求与随机电路采样（random circuit sampling, RCS）相当，同时又能仅凭量子计算输出的经典数据被经典验证者验证？作者指出，RCS 虽然资源需求低、实验上已可演示，但其输出结果在经典侧难以高效验证，因为验证者要判断采样是否来自目标分布，通常需要完成与经典对手同样困难的采样任务。为此，作者提出「模拟秘密（simulation secret）」这一新范式：验证者掌握一个只有自己知道的秘密，借助该秘密可以比经典对手更快地完成交叉熵测试（cross-entropy test），从而在经典侧高效判别量子设备是否真的完成了采样任务；而不知道秘密的经典对手即使能执行算法，也必须付出更高的计算代价才能通过同一测试。论文的具体实现基于 IQP 电路，其对应多项式为三次多项式，并带有「植入的独立空间（planted independent spaces）」。这些独立空间是多项式在一般线性群作用下的轨道中最大的独立集，并能导出对应量子态的低秩 stabilizer 分解，从而为验证者提供可高效计算的结构。作者提出两个猜想支撑安全性：第一，足够大的独立空间对计算受限的对手是「不可见」的，因此对手无法利用该结构通过协议；第二，对于均匀随机的多项式，产生能通过交叉熵测试的样本具有特定的细粒度复杂性下界。在这两个猜想成立的前提下，验证时间与经典对手通过协议所需时间之间形成多项式级别的差距，且二者都是指数级的。该方案还具有生成可经典认证的随机性的潜力，因为输出分布具有高最小熵。作者估计该植入多项式方案可在约 100 个逻辑量子比特、逻辑错误率约 10^-6 的条件下实现。