[論文レビュー] Quantum oblivious transfer and bit commitment protocols based on two non-orthogonal states coding

Li Yang|arXiv (Cornell University)|Jun 25, 2013

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

ひとこと要約

本稿では、非直交量子状態に基づく量子オービリュアス転送（R-OTおよびOT₁²）およびビットコミットメントプロトコルを提案する。固定された角度π/4をもつ2つの非直交状態を用いることで、安全な情報伝達を実現する。プロトコルは個々の攻撃に対して絶対的に安全であるが、no-go定理に従い、エンタングルメントに基づく攻撃に対しては安全でない。しかし、量子メモリや行列サイズの実用的制限により、物理的に安全である。

ABSTRACT

Oblivious transfer protocols (R-OT and OT$_{1}^{2}$) are presented based on non-orthogonal states transmission, and the bit commitment protocols on the top of OT$_{1}^{2}$ are constructed. Although these OT protocols are all unconditional secure, the bit commitment protocols based on OT protocols are not secure against attack similar to that presented by no-go theorem.

研究の動機と目的

• 非直交量子状態に基づく量子オービリュアス転送プロトコルの設計を通じて、鍵配布における絶対的セキュリティを実現すること。
• OT₁²プロトコルを基盤としてビットコミットメントプロトコルを構築し、理論的制限にもかかわらず実用的セキュリティを達成することを目的とする。
• 有限の量子メモリや行列サイズといった現実的制約下での量子ビットコミットメントの物理的実現可能性を分析すること。
• no-go定理における絶対的セキュリティを満たさないにもかかわらず、プロトコルが物理的に安全であることを示すこと。
• 量子暗号における理論的セキュリティと実装可能性の間のトレードオフを明らかにすること。

提案手法

• ビットを符号化するために、⟨Ψ₀|Ψ₁⟩ = cos(π/4) = √2/2 を満たす2つの非直交量子状態 |Ψ₀⟩ と |Ψ₁⟩ を使用し、最適確率で区別可能となる確率は 1 - √2/2 である。
• 測定基底選択戦略を採用：ボブはランダムに B₀ = {|Ψ₀⟩, |Ψ₀⟩⊥} または B₁ = {|Ψ₁⟩, |Ψ₁⟩⊥} を選択し、|Ψₓ⟩⊥ を測定した場合にのみ受理し、rₓ⊕1 を推定する。
• R-OTを用いてクレープォのフレームワークに基づきOT₁²を構築し、ボブは自身の結果からk個の確定的ビットを選択し、ランダムな基底選択 (X,Y) をコミットすることで、アリスがメッセージを暗号化できるようにする。
• XORベースの暗号化を適用：c₀ = b₀ ⊕ s₀、c₁ = b₁ ⊕ s₁ で、s₀ と s₁ は選択されたビットストリングのXORであり、ボブは1つのメッセージしか復元できない。
• ベル状態 |Φ⁻⟩ を用いたビットコミットメントプロトコルを提案し、アリスがビットストリングに応じて Ry(−π/2) 回転を適用し、ボブは射影測定によって検証する。
• 単一キュービット状態と角度符号化を用いた簡素化されたプロトコルを導入し、アリスがビットに応じて状態をπ/4回転させ、ボブはランダム基底測定で検証する。

実験結果

リサーチクエスチョン

• RQ1 エンタングルメントを必要とせず、2つの非直交量子状態のみを用いて、オービリュアス転送を安全に実装できるか？
• RQ2 no-go定理が絶対的セキュリティを禁止するにもかかわらず、ビットコミットメントプロトコルをどれほど物理的に安全にできるか？
• RQ3 有限の量子メモリや行列サイズといった実用的制限が、エンタングルメントに基づく攻撃の実現可能性に与える影響は何か？
• RQ4 測定基底の選択と状態符号化の選択が、量子オービリュアス転送の成功確率とセキュリティに与える影響は何か？
• RQ5 理論的には絶対的セキュリティを満たさないにしても、実用的に安全なビットコミットメントプロトコルを構築できるか？

主な発見

• R-OTプロトコルは、単純な測定基底戦略を用いることで、1キュービットあたり1/4の確定的ビット成功確率を達成し、誠実なボブは約n/4の確定的ビットを取得する。
• OT₁²プロトコルは、n → ∞ のとき、誠実なボブがk個以上の確定的ビットを取得する確率p₁が指数的に1に近づき、悪意あるボブが2k個以上のビットを取得する確率p₂が指数的に0に近づく限り、絶対的に安全である。
• ベル状態 |Φ⁻⟩ を用いたビットコミットメントプロトコルは、エンタングルメントに基づく攻撃のため、絶対的セキュリティを満たさないが、大規模ユニタリ行列（例：2k=200の場合に2²⁰⁰ × 2²⁰⁰）を格納・操作することが現実的に不可能であるため、物理的に安全である。
• 角度符号化を用いた単一キュービット状態の簡素化されたプロトコルは、ボブがコミットフェーズ中に測定すれば量子メモリの必要性を回避できるが、検出器が完全でない限り、キュービット省略攻撃に対しては脆弱である。
• プロトコルの物理的セキュリティは、必要とされるユニタリ変換の膨大なサイズ（例：2²⁰⁰の行列要素数）と、量子メモリの寿命の制限に起因し、実用的には攻撃が不可能である。
• no-go定理における絶対的セキュリティの完全な条件を満たさないにもかかわらず、量子操作および格納の実用的制限により、プロトコルは物理的に安全である。