[論文レビュー] Unconditionally Secure Quantum Bit Commitment

Horace P. Yuen|ArXiv.org|May 18, 2005

Quantum Information and Cryptography被引用数 5

ひとこと要約

この論文は、古典的ランダムネスとエンタングルメントに基づく検証を活用することで、広く受け入れられている不可能性証明を回避する、絶対的安全な量子ビットコミットメント（QBC）プロトコルを提案する。スプリットエンタングルド状態と二段階プロトコルを用い、バーブがアーデムにエンタングルド・キュービット対を送信することで、完全な隠蔽性と $\epsilon$-binding セキュリティを実現する。これにより、エンタングルメント・チーティングがエンタングルメントによって打ち破られることを示し、不可能性証明の基礎的仮定に挑戦する。

ABSTRACT

The ``impossibility proof'' on unconditionally secure quantum bit commitment is examined. It is shown that the possibility of juxtaposing quantum and classical randomness has not been properly taken into account. A specific protocol that beats entanglement cheating with entanglement is proven to be unconditionally secure.

研究の動機と目的

• 絶対的安全な量子ビットコミットメント（QBC）の広く受け入れられている不可能性証明に挑戦すること。この証明は、EPR型エンタングルメント・チーティングがQBCを根本的になおざらにすると主張している。
• この不可能性証明が、状態の純化と測定検証の文脈において、古典的ランダムネスの役割を無視していることを示すこと。
• エンタングルド状態と古典的乱数生成を用いることで、エンタングルメントと古典的ランダムネスを組み合わせた具体的なQBCプロトコルを構築し、バインディングとコンシールィングの両方の攻撃に対して安全であることを示すこと。
• エンタングルメント・チーティングが、自らエンタングルメントを戦略的に使用するプロトコルによって打ち破られることを示し、不可能性証明の一般性を揺るがすこと。
• 安全なQBCの実現可能性を証明することで、安全なマルチパーティ計算を含む絶対的安全な量子暗号の基盤を築くこと。

提案手法

• プロトコルは二段階のプロセスを用いる。バーブが、古典的ランダム選択による状態 $|g^{k'}_m\rangle_j$ と確率 $p_{k'j}$ を用いて、エンタングルドキュービット対 $|\Psi_{n\mu}\rangle|\Psi_{n\nu}\rangle$ を準備し、アーデムに送信する。
• ビットコミットメント $b=0$ の場合、アーデムはユニタリ操作 $V_i$ を彼の系に適用し、彼のキュービットをバーブのものとエンタングルさせ、結合状態 $|\Phi_{n\mu}\rangle|\Phi_{n\nu}\rangle$ を生成する。$b=1$ の場合、彼はキュービット対の順序を入れ替えてからそれらを返す。
• アーデムは、$b$、各対におけるキュービットの順序、および彼の系 $\{\mathcal{H}^A_n\}$ を発表して開示する。バーブは、$|\Phi_{n\mu}\rangle\langle\Phi_{n\mu}|$ および $|\Phi_{n\nu}\rangle\langle\Phi_{n\nu}|$ に対する射影測定を用いて検証する。
• プロトコルは、バーブが固定された測定基底を用いて検証しなければならないという事実に依存しており、これによりアーデムが彼女の検証戦略を事前に知ることができず、EPR風チーティングが阻止される。
• セキュリティは、$N$ 個の独立した対に対してプロトコルを繰り返すことで強化される。チーティング確率 $\bar{P}^A_c$ は $N$ と共に指数関数的に減少し、任意の $\epsilon > 0$ に対して $\epsilon$-binding セキュリティを達成する。
• プロトコルは完全に隠蔽的である。なぜなら、バーブがキュービットの順序を知らない限り、$b=0$ と $b=1$ の状態 $|\Phi_{n\mu}\rangle|\Phi_{n\nu}\rangle$ を区別できないからであり、アーデムは除去できないエンタングルメント構造のため、完全にチーティングできない。

実験結果

リサーチクエスチョン

• RQ1 EPRエンタングルメント・チーティングに基づく広く受け入れられている不可能性証明があるにもかかわらず、絶対的安全な量子ビットコミットメントを達成できるか？
• RQ2 量子プロトコルに古典的ランダムネスを組み込むことで、状態の純化と測定戦略の文脈における不可能性証明の仮定が無効化されるか？
• RQ3 エンタングルメントを検証プロセスに戦略的に使用することで、エンタングルメント・チーティングを打ち破ることができるQBCプロトコルを構築できるか？
• RQ4 量子操作と古典的ランダムネスのみを用いて、完全な隠蔽性と $\epsilon$-binding セキュリティを同時に達成できるQBCプロトコルは存在するか？
• RQ5 不可能性証明は、すべての可能なQBCプロトコルに普遍的に適用可能か、それとも、古典的ランダムネスと構造的エンタングルメントを適切に考慮すれば、抜け穴が存在するか？

主な発見

• 絶対的安全なQBCの不可能性証明は、古典的ランダムネスと量子状態の純化の間の相互作用、特に測定基底選択の文脈を適切に考慮していない。
• 提案されたプロトコル QBC4 は完全に隠蔽的である。なぜなら、バーブがキュービットの順序を知らない限り、$b=0$ と $b=1$ のコミットメントを区別できないからである。順序は開示時のみ明らかになる。
• アーデムのチーティング確率 $\bar{P}^A_c$ は、$b=0$ の開示確率が1に限りなく近い場合、上界 $p_A = \frac{1}{2}$ で抑えられ、$N$（ラウンド数）とともに指数関数的に減少する。
• $N$ を増やすことで、任意の $\epsilon > 0$ に対して $\epsilon$-binding セキュリティを達成できる。チーティング成功確率は $N$ と共に指数関数的に低下する。
• プロトコルは、バーブが固定された測定基底を用いて検証する必要があることから、EPR型エンタングルメント・チーティングを阻止する。これにより、アーデムが彼女の戦略を事前に知ることができず、不可能性証明が仮定する対称性が破られる。
• プロトコルは、エンタングルメントを用いてエンタングルメント・チーティングを打ち破ることを示し、『エンタングルメントでエンタングルメントを打ち破る』ことが量子暗号における実現可能な戦略であることを示している。