[論文レビュー] Position-Based Quantum Cryptography and the Garden-Hose Game

Florian Speelman|arXiv (Cornell University)|Oct 16, 2012

Quantum Computing Algorithms and Architecture参考文献 6被引用数 4

ひとこと要約

本学位論文は、もつれを用いた位置ベース量子暗号プロトコルに対する攻撃を特徴付ける、新たな通信複雑性枠組み「garden-hoseモデル」を導入する。このモデルは、もつれを用いた攻撃に対する通信複雑性と、単一キュービットの位置検証プロトコルを破るのに必要なEPR対の数の間の直接的な関係を確立し、関数のgarden-hose複雑性が高ければ、もつれを用いた攻撃に対して強い安全性が保証されることを示している。

ABSTRACT

We study position-based cryptography in the quantum setting. We examine a class of protocols that only require the communication of a single qubit and 2n bits of classical information. To this end, we define a new model of communication complexity, the garden-hose model, which enables us to prove upper bounds on the number of EPR pairs needed to attack such schemes. This model furthermore opens up a way to link the security of position-based quantum cryptography to traditional complexity theory.

研究の動機と目的

• 位置ベース量子暗号におけるもつれを用いた攻撃を捉えるために、新たな通信複雑性モデル（garden-hoseモデル）を考案すること。
• 関数のgarden-hose複雑性とその関数に基づく単一キュービットの位置検証プロトコルの攻撃耐性との関係を分析し、安全性を評価すること。
• garden-hose複雑性が位置ベース量子暗号と古典的複雑性理論を結びつける手がかりを提供することを示し、このようなプロトコルを破るためのもつれの必要量に上限を与えること。
• もつれを用いた攻撃の限界を調査し、一般の量子攻撃と比較して、もつれの必要量がgarden-hose複雑性が示唆する量よりも著しく少ない可能性があるかどうかを検討すること。

提案手法

• AliceとBobが入力を保有し、共有もつれを用いて局所操作と古典的通信によって古典関数をシミュレートする2者間の通信問題としてgarden-hoseゲームを定義する。
• 位置検証プロトコルに対する攻撃を、garden-hoseゲームとしてモデル化し、もつれと局所操作のみを用いて正しい出力をシミュレートすることを目的とする。
• Aliceの操作後の量子状態の内積を用いて、異なる攻撃戦略の区別可能性を制限し、必要なもつれの下界を導出する。
• 関数のgarden-hose複雑性が高ければ、もつれを用いた攻撃は多数のEPR対を必要とすることを証明し、攻撃コストの下界を確立する。
• 等価性や多数決などの特定関数を分析し、garden-hose複雑性の上界と下界を導出し、一部のケースで多項式のギャップが生じることを明らかにする。
• garden-hoseモデルの確率的変種を検討し、計算制限（例：多項式時間計算）を考慮することで、安全性の証明を強化する。

実験結果

リサーチクエスチョン

• RQ1 等価性や多数決といった基本的関数のgarden-hose複雑性は何か？ また、上界と下界の間にはどのような差があるか？
• RQ2 garden-hoseモデルを用いることで、位置検証プロトコルを破るために必要なEPR対の数に対する意味のある下界を証明できるか？
• RQ3 garden-hose複雑性と実際の量子攻撃コスト（特にもつれの必要量）の間に顕著なギャップがあるか、特に多数決関数などにおいてその可能性は？
• RQ4 garden-hoseゲームでわずかな誤り確率を許容することで複雑性にどのような影響があるか？ また、これにより上界や下界が改善される可能性はあるか？
• RQ5 プロトコルの並列反復によって、不正な証明者の検出確率が向上し、もつれを用いた攻撃に対するセキュリティが強化されるか？

主な発見

• 関数のgarden-hose複雑性は、単一キュービットの位置検証プロトコルに対するもつれを用いた攻撃に必要なEPR対の数の下界を提供する。
• 単射関数の場合、入力サイズに関して少なくとも線形のgarden-hose複雑性を有する必要があることが、区別可能な攻撃状態間の内積の上限における矛盾から示される。
• 多数決関数などの関数に関しては、既知の上界と下界の間に多項式のギャップが存在し、より鋭い解析の余地があることが示された。
• garden-hoseモデルは確率的設定へと拡張可能であり、等価性関数に関しては共有の確率的ランダムネスが、確率的と決定的garden-hose複雑性の間に大きなギャップを生じることがある。
• 同じ関数についてのgarden-hose下界と量子下界の間に指数的ギャップが存在し、もつれを用いた攻撃が一般の量子攻撃に比べて著しく弱い可能性を示唆している。
• プロトコルの並列反復により、不正な証明者の検出確率が向上する可能性があるが、これは未解決の問題であり、今後の研究の重要な課題の一つである。