[論文レビュー] Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss

Rene Allerstorfer, Andreas Blühm+1 more|arXiv (Cornell University)|Dec 19, 2023

Quantum Information and Cryptography参考文献 49被引用数 2

ひとこと要約

本稿では、プローバーの承諾フェーズ、光子存在検出、時間遅延を導入することで、任意の伝送損失下でもエンタングルド攻撃者に対して強いセキュリティを達成する、c-QPVf_BB84と呼ばれる改変量子位置検証プロトコルを提案する。このプロトコルは有効損失をプローバーのラボ内に限定し、実験的に実現可能な要件を満たしつつ、適応的攻撃に対してもスケーラブルなセキュリティを実現する長距離位置検証を可能にする。

ABSTRACT

A non-local quantum computation (NLQC) replaces an interaction between two quantum systems with a single simultaneous round of communication and shared entanglement. We study two classes of NLQC, f-routing and f-BB84, which are of relevance to classical information theoretic cryptography and quantum position-verification. We give the first non-trivial lower bounds on entanglement in both settings, but are restricted to lower bounding protocols with perfect correctness. Within this setting, we give a lower bound on the Schmidt rank of any entangled state that completes these tasks for a given function f(x,y) in terms of the rank of a matrix g(x,y) whose entries are zero when f(x,y) = 0, and strictly positive otherwise. This also leads to a lower bound on the Schmidt rank in terms of the non-deterministic quantum communication complexity of f(x,y). Because of a relationship between f-routing and the conditional disclosure of secrets (CDS) primitive studied in information theoretic cryptography, we obtain a new technique for lower bounding the randomness complexity of CDS.

研究の動機と目的

• 検証者とプローバー間の信号損失が量子位置検証（QPV）プロトコルの重大な脆弱性を引き起こす問題を是正すること。
• 特に長距離通信においても、任意の伝送損失下で依然として安全なプロトコルを構築すること。
• 誠実なプローバーの量子的要件を低く保ちつつ、攻撃者が必要とするエンタングルメント資源を削減することで、QPVを実用的かつ実現可能なものとすること。
• 非破壊的光子存在検出や部分ベル測定といった実装可能な部品を用いて、実験的実現可能性を確保すること。
• QPVf_BB84に限らず、広範なQPVプロトコルに適用可能な損失耐性フレームワークを提供すること。

提案手法

• プローバーが量子入力を受信する前に参加を承諾する承諾フェーズを導入し、適応的攻撃を防止する。
• 量子状態を測定せずに信号受信を検証できるように、プローバーで光子存在検出を実施し、量子コherenveを保持する。
• プローバーで小さな固定時間遅延を適用し、操作を同期させ、タイミングに基づく攻撃を防ぐ。
• 有効損失率をプローバーの内部ラボ損失のみに低減させ、長距離検証を可能にする。
• 攻撃者がエンタングルド状態を共有していても、承諾フェーズを破られない限りセキュリティが保証されるように、改変されたプロトコル構造を採用する。
• 2つの実験的実装方法を提案：長期的な非破壊的検出法と、標準光コンponentsを用いた近い将来の部分ベル測定アプローチ。

実験結果

リサーチクエスチョン

• RQ1 QPVプロトコルは、検証者とプローバー間の任意の伝送損失に対しても安全に保てるか？
• RQ2 プローバーに設けた承諾メカニズムは、QPVプロトコルにおける適応的攻撃を防げるか？
• RQ3 現在または近い将来の技術で、QPVに適した光子存在検出が実現可能か？
• RQ4 QPVf_BB84のセキュリティは、現実的な損失およびノイズ条件下でも維持可能か？
• RQ5 承諾メカニズムは、古典的入力サイズに応じて攻撃者が必要とするリソースが増加するようにスケーラブルか？

主な発見

• c-QPVf_BB84プロトコルは、プローバーの内部損失が低い限り、任意の伝送損失下でもエンタングルド攻撃者に対して情報理論的セキュリティを達成する。
• プロトコルは有効損失率をプローバーのラボ内損失のみに限定し、従来よりもはるかに長い距離での安全なQPVを可能にする。
• 非適応的および適応的攻撃戦略の両方に対してセキュリティが維持され、攻撃者が必要とするリソースはプロトコルラウンド数に比例して増加する。
• 部分ベル状態測定を介して標準光コンponentsと従来の単一光子検出器を用いて実装可能であり、近い将来の実験的実現が可能である。
• 非破壊的方法または簡略化された部分ベル測定の両方を用いて光子存在検出を実現可能であり、両者とも現在の技術水準で達成可能である。
• 構造化された承諾フェーズと同期化された操作のおかげで、攻撃者がタイミングや承諾の抜け穴を狙っても、プロトコルのセキュリティは頑健に保たれる。