[논문 리뷰] A simple unconditionally secure quantum bit commitment protocol via quantum teleportation

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

Quantum Information and Cryptography인용 수 3

한 줄 요약

이 논문은 양자 텔레포테이션과 고전적 정보 교환을 사용하여 무조건적 보안을 달성하는 새로운 양자 비트 기여 프로토콜(QBC5)을 제안한다. 비트 기여 결과로 벨 측정 결과를 기여하고, 열기 단계에서 양자 상태를 공개함으로써, 양자 얽힘에 의한 도용 방식을 양자 텔레포테이션에 의해 측정 결과를 제어함으로써 깨뜨림으로써 표준 불가능성 증명을 우회한다.

ABSTRACT

By using local quantum teleportation of a fixed state to one qubit of an entangled pair sent from the other party, it is shown how one party can commit a bit with only classical information as evidence that results in an unconditionally secure protocol. The well-known ``impossibility proof'' does not cover such protocols due to its different commitment and opening prescriptions, which necessitate actual quantum measurements among different possible systems that cannot be entangled as a consequence.

연구 동기 및 목표

• 양자 얽힘에 의한 도용으로 인해 무조건적 보안 QBC가 불가능하다는 오랜 신념을 해결하기 위해.
• 표준 '불가능성 증명'에서의 격차를 식별하고 수정하기 위해.
• 상대성 이론과 같은 외부 제약 조건에 의존하지 않고 양자역학의 전반적인 프레임워크 내에서 안전한 프로토콜을 설계하기 위해.
• 텔레포테이션을 통한 고전적 정보 기여가 무조건적 보안 비트 기여를 달성할 수 있음을 보여주기 위해.
• 표준 불가능성 결과에 포함되지 않는 새로운 유형의 프로토콜(유형 5 QBC)에 대해 보안 증명을 제공하기 위해.

제안 방법

• 양자 및 고전적 양방향 통신을 사용하며, Babe가 얽힌 큐비트 쌍을 준비하고 비공개 유니터리 연산을 적용한다.
• Adam은 알려진 상태(|0⟩ 또는 |1⟩)를 자신의 보조 큐비트에서 얽힌 쌍의 한 큐비트로 양자 텔레포테이션을 수행한다.
• 남은 큐비트와 제3의 시스템에 대해 벨 기저 측정 결과를 기여하고, 증거로 고전적 정보만을 전송한다.
• 열기 단계에서 Adam은 텔레포트된 상태와 남은 얽힌 쌍을 반환하여 투영 측정을 통해 검증한다.
• 프로토콜의 보안은 텔레포테이션이 Adam이 열기 전략을 얽히게 하는 것을 방지하여, 얽힘에 의한 도용 경로를 끊는다는 사실에 기반한다.
• 게임 이론적 프레임워크를 사용하여 도용 탐지 모델링을 하며, 확률적 검증과 반복을 통해 도용 확률을 0으로 이끈다.

실험 결과

연구 질문

• RQ1 표준 불가능성 증명에도 불구하고 무조건적 보안 양자 비트 기여가 달성될 수 있는가?
• RQ2 이 프로토콜과 이전 QBC 기법 간의 구조적 차이점은 무엇이며, 이를 통해 얽힘 도용이 방지되는가?
• RQ3 양자 텔레포테이션의 사용이 비트 기여 프로토콜의 보안 성질을 어떻게 변화시키는가?
• RQ4 열기 단계에서 고전적 정보 기여와 양자 상태 교환을 조합하면 은폐성과 유인성을 모두 보장할 수 있는가?
• RQ5 측정 결과 기여가 불가능성 증명의 가정을 우회하는 데 어떤 역할을 하는가?

주요 결과

• 프로토콜 QBC5는 ε-은폐성이며, 순차적 반복을 통해 ε-유인성 프로토콜으로 확장할 수 있다.
• 불가능성 증명은 이 프로토콜에 적용되지 않으며, 이는 측정 결과를 기여하고 열기 단계에서 양자 상태를 공개하는 데서 기인한 역행 기여 구조 때문이기 때문이다.
• Adam의 도용은 완벽한 성공 확률에서 벗어나 있으며, 그 최적의 도용 확률 P̄cA는 텔레포테이션과 측정 제어의 제약으로 인해 1보다 작다.
• 반복적인 검증을 통해 도용 확률 P_C가 시행 횟수 증가에 따라 0으로 수렴하는 게임 이론적 모델에서도 프로토콜은 안전하다.
• 징벌 조건 없이도 시행 횟수를 늘리고 수용 확률을 조정함으로써 도용 확률를 임의로 작게 만들 수 있다.
• 도용 당하는 측이 상태를 얽히게 하려고 해도, 텔레포테이션과 측정 과정의 구조 덕분에 프로토콜의 보안은 유지된다.