[論文レビュー] 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）だけに依存する場合に安全で効率的にはなりえないことを証明し、定量的なトレードオフと標準的な安全性 notions の下でのノーゴー結果を確立する。

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.

研究の動機と目的

• 信頼されていないサーバへ量子計算を安全に委任する動機づけを、クライアントの量子能力を最小化した状態で行う。
• cut-and-choose のみが検証可能な委任量子計算の量子出力を含む場合に十分であるかを評価する。
• cut-and-choose に基づく VDQC における本質的な効率-安全性トレードオフを示すノーゴー結果を形式化する。
• stand-alone および composable な安全性の下で拒否確率 ε_H および不正行為確率 ε_D の定量的境界を導出する。
• これらの制限を克服する追加技術（例：量子誤り訂正）の役割を強調する。

提案手法

• 計算回とテスト回を交互に含む VDQC プロトコルをモデル化する（cut-and-choose）。
• VDQC の fidelity ベースの stand-alone 安全性と composable 安全性を定義する。
• cut-and-choose 構造を利用する separable i.i.d. 攻撃を構築する。
• 攻撃の下で ε_H（拒絶確率）と ε_D（検出不能な逸脱）の関係を示す下限を導出する。
• 正直な実行と不正実行の識別可能性を境界づけるためにトレース距離と Holevo-Helstrom 論法を使用する。
• テスト回数の期待値 N の関数として ε_H+ε_D の具体的な下限を提供する。

実験結果

リサーチクエスチョン

• RQ1 cut-and-choose のみで量子出力を伴う安全な検証可能な委任量子計算を提供できるか？
• RQ2 cut-and-choose VDQC プロトコルの効率、正確性、安全性の基本的なトレードオフはどうなるか？
• RQ3 composable 安全性の定義は stand-alone 安全性と比較してトレードオフを厳しくするか？
• RQ4 実用的な VDQC を達成するためには量子誤り訂正などの追加構造が必要か？
• RQ5 現実的なテストスケジュールの下で、攻撃戦略が受理/拒否確率の境界にどう影響するか？

主な発見

• cut-and-choose に基づく検証可能な委任量子計算は、量子出力と併せて、追加技術なしでは安全かつ効率的には両立し得ない。
• stand-alone 安全性の場合、ε_H+ε_D ≥ 1/(7N) となる（N は期待されるテスト回数）。
• composable 安全性の場合、トレース距離ベースの指標で境界は Ω(1/√N) にスケールする。
• 回の分布に依存しない i.i.d. 攻撃を構築しており、広い条件下でノーゴーが成り立つことを示している。
• 具体的な攻撃は、 delegated ユニタリの前後どちらかで適用可能な qubit の位相回転を利用し、識別不可能性に基づく失敗モードを生み出す。
• これらの結果は、実務的な Efficient かつ Secure な VDQC を実現するには量子誤り訂正のような技術が必要であることを示唆する。