[논문 리뷰] A brief review on the impossibility of quantum bit commitment

Gilles Brassard, Claude Crépeau외 2명|ArXiv.org|1997. 12. 10.

Quantum Computing Algorithms and Architecture참고 문헌 19인용 수 28

한 줄 요약

이 논문은 무조건적 안전성을 갖춘 양자 비트 구속의 일반적인 불가능성을 확립하며, 모든 양자 프로토콜이 양자 변환을 통해 얽힌 상태를 조작함으로써 발신자(앨리스) 또는 수신자(밥)의 속임수를 방지할 수 없음을 증명한다. 주요 기여는 무한한 계산 능력 하에서도 유한한 유닛리 변환의 존재로 인해 얽힘과 양자 측정을 사용하더라도 구속성과 은폐성 조건을 동시에 만족할 수 없다는 엄밀한 증명이다.

ABSTRACT

The desire to obtain an unconditionally secure bit commitment protocol in quantum cryptography was expressed for the first time thirteen years ago. Bit commitment is sufficient in quantum cryptography to realize a variety of applications with unconditional security. In 1993, a quantum bit commitment protocol was proposed together with a security proof. However, a basic flaw in the protocol was discovered by Mayers in 1995 and subsequently by Lo and Chau. Later the result was generalized by Mayers who showed that unconditionally secure bit commitment is impossible. A brief review on quantum bit commitment which focuses on the general impossibility theorem and on recent attempts to bypass this result is provided.

연구 동기 및 목표

• 무조건적 안전성을 갖춘 양자 비트 구속의 일반적인 불가능성을 확립하여 양자 암호화 분야에서 오랫동안 대두된 논의를 해결한다.
• 이전의 보안 결함을 우회하고자 한 제안된 양자 비트 구속 프로토콜을 분석하고 반박한다.
• 비트 구속의 기초적 역할과 관련 프로토콜에 대한 영향을 명확히 한다.
• 양자 비트 구속 프로토콜의 발전 과정과 그 궁극적 실패를 종합적으로 검토한다. 이는 본질적인 양자 제약 때문이며,
• 측정과 고전적 통신을 사용하는 프로토콜조차도 무조건적 안전성을 달성할 수 없다는 것을 보여준다.

제안 방법

• 앨리스가 구속 단계 동안 준비한 양자 상태의 구조를 분석하기 위해 얽힌 상태 |φ₀⟩와 |φ₁⟩의 슈미트 분해를 사용한다.
• |e₀⁽⁰⁾⟩를 |e₀⁽¹⁾⟩로 매핑하는 유닛리 변환을 적용함으로써 앨리스가 감지되지 않게 한 상태에서 다른 상태로 자신의 상태를 변환할 수 있도록 한다.
• 밥의 밀도 행렬 ρ₀ᴮ과 ρ₁ᴮ이 거의 동일한 경우를 고려하며, ⟨ψ₀|ψ₁⟩² ≥ 1 − 2×2⁻ᵃⁿ 이면 거의 완벽한 겹침이 있음을 보여준다.
• 앨리스가 공통의 순수화 상태 |ψ₀⟩를 준비하고, 유닛리 F를 사용해 이를 상태 |φ₁⟩로 변환함으로써, 그녀가 b=1에 구속했다고 가장할 수 있도록 한다.
• |ψ₀⟩와 |ψ₁⟩ 사이의 내적 값이 1에 지수적으로 가까워지므로, 실질적으로 변환을 감지할 수 없다는 사실에 기반한다.
• 밥의 임의의 측정도 오차 확률이 1/2에 지수적으로 가까워야 하므로, ρ₀ᴮ과 ρ₁ᴮ는 거의 구별 불가능하다.

실험 결과

연구 질문

• RQ1 무한한 계산 능력을 갖춘 상태에서, 어떤 양자 비트 구속 프로토콜도 발신자와 수신자 양측에 대해 무조건적으로 안전할 수 있는가?
• RQ2 BCJL 프로토콜과 유사한 방법들이 보안을 주장함에도 불구하고 실패하는 근본적인 이유는 무엇인가?
• RQ3 측정과 고전적 통신이 양자 프로토콜에서 양측의 속임수를 얼마나 효과적으로 방지할 수 있는가?
• RQ4 얽힌 상태의 슈미트 분해가 양자 비트 구속에서 속임수 전략을 가능하게 하는 방식은 무엇인가?
• RQ5 상태 겹침(⟨ψ₀|ψ₁⟩²)이 양자 비트 구속에서 속임수의 가능성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 양자 비트 구속 프로토콜은 양측이 무한한 양자 자원을 확보한 경우, 발신자 또는 수신자에 의한 속임수에 취약하다.
• BCJL 프로토콜은 앨리스가 자신의 얽힌 상태의 슈미트 분해를 이용해 감지되지 않게 한 상태에서 다른 상태로 전환할 수 있으므로 안전하지 않다.
• 밥의 밀도 행렬 ρ₀ᴮ과 ρ₁ᴮ이 정확히 동일하지 않더라도, 트레이스 거리에서 지수적으로 가까운 경우, 앨리스는 높은 확률로 속임수를 칠 수 있다.
• 내적 ⟨ψ₀|ψ₁⟩² ≥ 1 − 2×2⁻ᵃⁿ 이면 두 상태가 지수적으로 가까워지므로, 앨리스는 오차가 거의 없는 상태로 한 상태에서 다른 상태로 변환할 수 있다.
• 측정이나 고전적 통신을 사용하든 말든, 이 불가능성 결과는 유지되며, 이러한 조치는 속임수 전략을 방지할 수 없다.
• 비트 구속의 실패는 양자 오블리비우스 전송과 같은 프로토콜의 보안 기초를 훼손하지만, 양자 키 분배는 여전히 안전하다.