[논문 리뷰] Unconditionally Secure Quantum Bit Commitment

Horace P. Yuen|ArXiv.org|2005. 05. 18.

Quantum Information and Cryptography인용 수 5

한 줄 요약

이 논문은 고전적 난수와 얽힘 기반 검증을 활용하여 널리 수용된 불가능성 증명을 우회함으로써 조건부로 안전한 양자 비트 기록(QBC) 프로토콜을 제안한다. 베이브가 애덤에게 얽힌 큐비트 쌍을 전송하는 두 단계 프로토콜과 분할 얽힘 상태를 사용함으로써, 프로토콜은 완벽한 은폐성과 $\epsilon$-바인딩 보안성을 확보한다. 이는 얽힘에 의한 도용이 얽힘으로써도 극복될 수 있음을 보여주며, 불가능성 증명의 기본 가정을 도전한다.

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의 가능성을 입증함으로써 기초를 마련한다.

제안 방법

• 프로토콜은 두 단계 과정을 사용하며, 베이브가 고전적 난수 선택을 통해 준비한 상태 $|\Psi_{n\mu}\rangle|\Psi_{n\nu}\rangle$와 확률 $p_{k'j}$를 사용하여 큐비트 쌍을 준비하고 애덤에게 전송한다.
• 비트 기록 $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$-바인딩 보안성을 달성한다.
• 프로토콜은 완벽하게 은폐되어 있는데, 이는 $b=0$과 $b=1$의 상태 $|\Phi_{n\mu}\rangle|\Phi_{n\nu}\rangle$가 큐비트 순서를 알지 못하는 베이브에게 구분 불가능하기 때문이다. 또한, 제거할 수 없는 얽힘 구조 때문에 애담은 완벽하게 도용할 수 없다.

실험 결과

연구 질문

• RQ1 EPR 얽힘 도용에 기반한 널리 수용된 불가능성 증명에도 불구하고, 조건부로 안전한 양자 비트 기록을 달성할 수 있는가?
• RQ2 양자 프로토콜에 고전적 난수가 포함될 경우, 특히 상태 정제와 측정 전략 맥락에서 불가능성 증명의 가정이 무너지는가?
• RQ3 얽힘 도용이 검증 과정에서 얽힘을 전략적으로 활용함으로써 극복될 수 있는 QBC 프로토콜을 구성할 수 있는가?
• RQ4 오직 양자 연산과 고전적 난수만을 사용하여, 완벽한 은폐성과 $\epsilon$-바인딩 보안성을 동시에 확보할 수 있는가?
• 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$-바인딩 보안성을 달성한다. 성공적인 도용 확률은 $N$에 따라 지수적으로 감소하기 때문이다.
• 프로토콜은 베이브가 고정된 측정 기저를 사용하여 검증해야 하므로, 애담이 사전에 그의 전략을 알 수 없게 하여 EPR 스타일의 도용을 차단한다. 이는 불가능성 증명에서 가정된 대칭성을 깨뜨린다.
• 프로토콜은 얽힘으로써 얽힘 도용을 극복할 수 있음을 보여주며, '얽힘으로 얽힘을 이기기'는 양자 암호에서 실현 가능한 전략임을 입증한다.