[论文解读] Verified delegated quantum computation requires techniques beyond cut-and-choose

Fabian Wiesner, Anna Pappa|arXiv (Cornell University)|Mar 10, 2026

Quantum Information and Cryptography被引用 0

一句话总结

该论文证明可验证的委托量子计算若仅依赖裁剪与选择（cut-and-choose）将无法同时具备安全性与高效性；并在标准安全概念下建立定量权衡与不可行性结论。

ABSTRACT

Delegated quantum computation enables a client with limited quantum capabilities to outsource computations to a more powerful quantum server while preserving correctness and privacy. Verification is crucial in this setting to ensure that the untrusted quantum server performs the computation honestly and returns correct results. A common verification method is the quantum cut-and-choose technique. Inspired by classical verification methods for two-party computation, the client uses the majority of the delegated rounds to test the server's honesty, while keeping the remaining ones for the actual computation. Combining this technique with other methods, such as quantum error correction, could help achieve negligible cheating probabilities for the server; however, such methods can impose significant overheads making implementations unfeasible for the near-term future. In this work, we investigate whether cut-and-choose can yield efficient and secure verifiable quantum computation without additional costly techniques. We find that verifiable delegated quantum computation protocols relying solely on cut-and-choose techniques cannot be secure and efficient at the same time.

研究动机与目标

• 将量子计算委托给不可信服务器以尽量降低客户端量子能力的前提动机
• 评估仅用裁剪与选择是否足以实现对带量子输出的可验证委托量子计算
• 形式化一个不可行性结论，显示基于裁剪与选择的VDQC在效率与安全之间的固有权衡
• 推导在独立同分布与可组合安全下的拒绝概率与不诚实施行为概率的定量界限
• 强调额外技术（如量子错误纠正）在克服这些限制中的作用

提出的方法

• 对夹杂测试轮次与计算轮次的VDQC协议建模（裁剪与选择）
• 为VDQC界定基于保真度的独立性安全性和可组合安全性
• 构造一个可分离的i.i.d.攻击，利用裁剪与选择结构
• 推导界限，显示ε_H（拒绝概率）与ε_D（未被发现的偏差）在该攻击下的关系
• 使用迹距离与Holevo-Helstrom论证来界定诚实执行与不诚实现之间的可区分性
• 给出ε_H+ε_D作为期望测试轮次数N的函数的明确下界

实验结果

研究问题

• RQ1 裁剪与选择是否能够单独提供带量子输出的安全可验证委托量子计算？
• RQ2 裁剪与选择VDQC协议在效率、正确性和安全性之间的根本权衡是什么？
• RQ3 相较于独立安全，组合安全定义是否会收紧这些权衡？
• RQ4 实现实用VDQC是否需要额外结构，如量子错误纠正？
• RQ5 攻击策略如何影响在现实测试计划下对接受/拒绝概率的界限？

主要发现

• 在没有额外技术辅助的情况下，裁剪与选择的可验证委托量子计算在带量子输出的场景下不可能同时实现安全性与高效性
• 对于独立安全，ε_H+ε_D ≥ 1/(7N)，其中N为期望的测试轮次数
• 对于可组合安全，基于迹距离的度量其界限为Ω(1/√N)
• 论文构造了一个与轮次分布无关的i.i.d.攻击，表明在广义条件下不可行性成立
• 一个显式攻击利用对被委托单元的量子比特相位旋转，可以在委托单元前后应用，导致难以区分的失败模式
• 结果意味着要在实践中实现高效且安全的VDQC，需要量子错误纠正等技术手段