该论文研究的是「量子计算的经典验证」这一核心问题：如何让一个只能进行经典计算的验证者，去核实一台不受信任的量子证明者是否正确地执行了量子电路。作者 Holler 与 Natarajan 基于「计算自测试」(computational self-testing) 框架——即经典验证者能够对单个、计算能力受限的证明者的量子寄存器施加控制——构造出首个在电路模型下总资源需求为准线性的 BQP 论证系统 (argument system)。其安全基础是 LWE (Learning With Errors) 假设，总资源开销为 O(poly(λ, log g)·g)，其中 g 是所委托电路的门数，λ 是 LWE 安全参数；这意味着验证开销对电路规模近似线性、对安全参数为多项式级，是该方向上首次达到准线性总资源。技术上，作者构造了一个新的计算自测试，用于对证明者的量子态进行认证，并借此将 Broadbent (ToC 2018) 的高效验证协议「去量子化」，即将原本需要量子验证者的部分转化为纯经典可执行的验证。该自测试能够以可验证且随机的方式，远程制备单量子比特 Clifford 可观测量 σ_X、σ_Y、σ_Z、(σ_Y−σ_X)/√2 与 (σ_Y+σ_X)/√2 的张量积态，并具有常数鲁棒性——验证误差与所制备量子比特的数量无关，这是实现准线性资源的关键。方法论上，多证明者场景下的类似结果此前由 Coladangelo 等人 (ToC 2024) 提出；本文利用 Kalai 等人 (STOC 2023) 提出的编译器（可将任意非局域博弈 nonlocal game 转化为单证明者论证系统），将其应用于经过修改的自测试，从而在单证明者设置下复现了该结果。论文属于量子密码学与复杂性理论交叉方向。