[논문 리뷰] How to Build Unconditionally Secure Quantum Bit Commitment Protocols

Horace P. Yuen|ArXiv.org|2003. 05. 23.

Quantum Information and Cryptography인용 수 8

한 줄 요약

이 논문은 표준 EPR 공격에서 다루지 않은 고려되지 않은 프로토콜 유형을 식별함으로써, 무조건적 안전성의 양자 비트 구속(QBC)에 대한 광범위하게 수용된 불가능성 증명에 도전한다. 이는 양방향 양자 통신과 고전적 난수를 사용하는 QBC1, QBC2, QBC4, QBC5라는 네 가지 새로운 QBC 프로토콜을 제안하며, 표준 불가능성 프레임워크를 피하는 새로운 보안 논증을 통해 양측의 사기 행동에 대해 무조건적으로 안전하다고 증명한다.

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 프로토콜이 표준 불가능성 프레임워크의 가정을 피할 경우 무조건적으로 안전하게 만들 수 있음을 보여주는 것.
• 여섯 가지의 새로운 QBC 프로토콜 유형을 분류하고 분석하며, 그 중 네 가지에 대한 보안 증명을 제공하는 것(예: QBC1, QBC2, QBC4, QBC5).
• 이전에 제안된 QBC 프로토콜의 보안성에 대한 모순된 주장, 특히 QBC2와 QBC2.1p에 대한 내용을 해결하는 것.
• 무조건적 안전성의 QBC가 실현 가능하다면 양자 동전 던지기 및 기타 암호학적 작업이 안전하게 실현될 수 있음을 보여주는 것.

제안 방법

• 표준 불가능성 증명(IP)을 분석하고, 고정된 밀도 연산자와 측정 후 얽힘 상태에 의존하는 특정 가정에 기반하고 있음을 밝혀내며, 이는 모든 가능한 QBC 프로토콜을 다루지 못한다.
• QBC 프로토콜을 여섯 가지 유형으로 분류하며, 유형 1~5는 고전적 난수와 지연 측정을 포함한 다양한 프로토콜 설계 기법에 기반한다.
• 아담이 측정을 연기하는 것으로 사기할 수 없도록 하고, 베이브가 얽힘을 통해 정보를 확보할 수 없도록 함으로써 QBC1, QBC2, QBC4, QBC5를 안전한 프로토콜로 제안한다.
• 표준 IP에서의 EPR 공격를 방지하기 위해 단일 얽힌 상태 $| ilde{ ho}_{f b} angle$의 형성을 막는 수정된 보안 프레임워크를 사용한다.
• 연산자 이론적 논증을 적용하여, 베이브가 먼저 많은 양자 비트 쌍을 보낸 경우 QBC5p와 QBC5 프로토콜이 $$-은폐성임을 보여준다. 이는 얽힘에 의한 사기 공격를 방지한다.
• 이전에 QBC2와 QBC2.1p에 대해 내세운 주장들을 재검토하여, 이들 프로토콜이 적절한 난수화와 측정 제어가 없이선 얽힘에 의한 사기 공격로 인해 안전하지 않음을 밝힌다.

실험 결과

연구 질문

• RQ1 왜 표준 QBC 불가능성 증명이 양방향 양자 통신 프로토콜의 특정 유형을 다루지 못하는가?
• RQ2 표준 IP에서 고려되지 않은 고전적 난수와 지연 측정 전략을 사용하여 무조건적 안전성의 QBC를 달성할 수 있는가?
• RQ3 표준 QBC 프로토콜과 불가능성 증명을 피하는 새로운 프로토콜 유형(예: 유형 3, 유형 5) 사이의 구조적 차이는 무엇인가?
• RQ4 왜 이전에 안전하다고 주장된 프로토콜들인 QBC2와 QBC2.1p가 실제로는 안전하지 않은가? 그리고 어떻게 수정할 수 있는가?
• RQ5 현재의 양자 기술로 실현 가능한 안전한 QBC 프로토콜을 구성할 수 있는가? 예를 들어, 코herent 상태를 사용하는가?

주요 결과

• 표준 QBC 불가능성 증명은 고전적 난수와 두 방향 통신을 포함한 모든 가능한 프로토콜 설계를 다루지 않기 때문에 불완전하다.
• QBC1, QBC2, QBC4, QBC5라는 네 가지 새로운 QBC 프로토콜이 무조건적으로 안전하다고 증명되었으며, 특히 QBC2는 코herent 상태와 근접한 양자 하드웨어로도 실현 가능하다.
• 유형 3 프로토콜은 얽힘 기반 전략을 포함하지만, 베이브의 측정을 지연시키고 그의 얽힘 상태를 제어함으로써 EPR 공격를 피할 수 있도록 하면 안전하게 만들 수 있다.
• 베이브가 먼저 많은 얽힌 양자 비트 쌍을 보낸 경우 QBC5p가 $\epsilon$-은폐성임을 입증하여, 그녀가 비트 값을 파악할 수 없도록 한다.
• 이전에 QBC2와 QBC2.1p의 보안성에 대해 내세운 주장은 철회되었으며, 이들 프로토콜은 적절한 난수화 없이선 얽힘에 의한 사기 공격로 인해 안전하지 않다.
• 이 논문은 QBC가 실현 가능하다면 안전한 동전 던지기 작업이 가능하다는 점을 보여줌으로써 양자 동전 던지기 문제를 해결한다. 이는 이전에 표준 IP 하에서는 불가능하다고 여겨졌지만, 실제로는 가능하다는 것을 시사한다.