Verifier-on-a-Leash：具有拟线性资源的可验证委托量子计算新方案

可靠地认证量子设备所执行计算结果的问题正迅速获得相关性。我们提出了两种协议，允许经典验证者将量子计算可验证地委托给两个不通信但纠缠的量子证明者。就验证者和诚实证明者所使用的总资源而言，我们的协议具有近最优复杂度，每方的操作总数（包括诚实证明者所需的纠缠量子比特对数量）在委托大小为 $g$ 的电路时按 $O(g\log g)$ 标度。这与先前的协议形成对比，后者均需要大得不可接受的多项式开销。我们的第一个协议所需的轮数与被委托电路的深度成线性关系，并且是盲的，意味着任何证明者都无法获知被委托的电路。第二个协议不是盲的，但仅需常数轮交互。我们的主要技术创新是一个高效的刚性定理，允许验证者测试两个纠缠证明者是否在它们各自共享的 $m$ 对 EPR 对的一半上执行由任意 $m$ 量子比特单量子比特 Clifford 可观测量的张量积所指定的测量，且其鲁棒性与 $m$ 无关。通过将该刚性定理与 Broadbent (Theory of Computing, 2018) 提出的用于可验证委托量子计算的单证明者量子验证者协议相结合，我们获得了双证明者经典验证者委托协议。