[論文レビュー] How to Build Unconditionally Secure Quantum Bit Commitment Protocols

Horace P. Yuen|ArXiv.org|May 23, 2003

Quantum Information and Cryptography被引用数 8

ひとこと要約

この論文は、標準的なEPR攻撃がカバーしない被忽略されたプロトコルタイプを特定することで、絶対的安全な量子ビットコミットメント（QBC）の広く受け入れられている不可能性証明に挑戦する。2方向の量子通信と古典的ランダムネスを用いた4つの新しいQBCプロトコル—QBC1、QBC2、QBC4、QBC5—を提案し、標準的な不可能性フレームワークを回避する新しいセキュリティ証明により、両方の不正参加者に対して絶対的に安全であることを示す。

ABSTRACT

The ``impossibility proof'' on unconditionally secure quantum bit commitment is critically analyzed. Many possibilities for obtaining a secure bit commitment protocol are indicated, purely on the basis of two-way quantum communications, which are not covered by the impossibility proof formulation. They are classified under six new types of protocols, with security proofs for specific examples on four types. Reasons for some previously failed attempts at obtaining secure protocols are also indicated.

研究の動機と目的

• 絶対的安全な量子ビットコミットメント（QBC）の標準的不可能性証明における重要なギャップを特定・是正すること。
• 従来、不安全と見なされていた特定のQBCプロトコルが、標準的不可能性フレームワークの仮定を避けることで絶対的に安全にできるということを示すこと。
• 6種類の新しいQBCプロトコルタイプを分類・分析し、そのうち4つ（QBC1、QBC2、QBC4、QBC5）に対してセキュリティ証明を行うこと。
• 以前のQBCプロトコル（特にQBC2およびQBC2.1p）に関するセキュリティに関する矛盾を解消すること。
• 絶対的に安全なQBCが達成可能であるならば、量子コイントスや他の暗号的タスクが安全に実現可能であることを示すこと。

提案手法

• 標準的不可能性証明（IP）を分析し、固定密度演算子や測定後のエンタングルメントに依存する特定の仮定に依存していることを特定し、これらはすべての可能なQBCプロトコルをカバーしないことを示す。
• QBCプロトコルを6種類のタイプに分類し、タイプ1〜5は、古典的ランダムネスの使用や遅延測定を含む、異なるプロトコル設計技術に基づく。
• アダムが測定を延期して不正を働くのを防ぎ、ベイブがエンタングルメントを通じて情報を得られないようにすることで、QBC1、QBC2、QBC4、QBC5を安全なプロトコルとして提示する。
• IPにおけるEPR攻撃を回避するため、単一のエンタングルド状態 $| ilde{ ho}_{f b} angle$ の形成を防ぐことで、修正されたセキュリティフレームワークを用いる。
• 演算子論的議論を適用し、ベイブが最初に多数のベル状態を送信する場合、QBC5pやQBC5が $$-隠蔽的であることを示す。
• QBC2およびQBC2.1pに関する以前の主張を再検討し、適切なランダムネスと測定制御が施されない限り、エンタングルメントによる不正攻撃の影響を受けるため、これらは不安全であると示す。

実験結果

リサーチクエスチョン

• RQ1 なぜ標準的不可能性証明が、2方向の量子通信プロトコルの特定のタイプをカバーしないのか？
• RQ2 標準的IPで考慮されていない古典的ランダムネスと遅延測定戦略を用いることで、絶対的に安全なQBCを達成できるか？
• RQ3 標準的QBCプロトコルと、不可能性証明を回避する新しいプロトコルタイプ（例：タイプ3、タイプ5）との構造的差異は何か？
• RQ4 なぜ以前に安全であると主張されたプロトコル（例：QBC2およびQBC2.1p）は実際には不安全なのか、そしてどのように修正できるか？
• RQ5 現在の量子技術で実用可能な、例えばコherent状態を用いた安全なQBCプロトコルを構築できるか？

主な発見

• 標準的不可能性証明は、古典的ランダムネスや2方向通信を含む特定のプロトコル設計をカバーしていないため、不完全である。
• QBC1、QBC2、QBC4、QBC5という4つの新しいQBCプロトコルが、絶対的に安全であることが証明され、特にQBC2はコherent状態と近い未来の量子ハードウェアで実装可能である。
• エンタングルメントに基づく戦略を用いるタイプ3プロトコルは、ベイブの測定を遅延させ、彼女のエンタングルメントを制御することで安全にできる。これによりEPR攻撃を回避できる。
• ベイブが最初に多数のエンタングルドベル状態を送信する場合、QBC5pが $\epsilon$-隠蔽的であることが示された。
• QBC2およびQBC2.1pに関する以前のセキュリティ主張は撤回され、適切なランダムネスが施されない限り、エンタングルメントによる不正攻撃の影響を受けるため、これらは不安全である。
• 本論文は、安全なQBCが達成可能であるならば、安全なコイントスが実現可能であることを示し、量子コイントス問題を解決した。これは、従来、標準的IPの下では不可能であるとされてきた。