[논문 리뷰] Quantum Cryptography Based Solely on Bell's Theorem

Esther Hänggi, Renato Renner외 1명|arXiv (Cornell University)|2009. 11. 23.

Quantum Information and Cryptography참고 문헌 40인용 수 25

한 줄 요약

이 논문은 양자역학이나 신뢰할 수 있는 장치에 의존하지 않고, 비신호 원리와 벨의 정리에 기반하여 절대적 안전성을 확보하는 장치 독립형 양자 키 분배 프로토콜을 제안한다. 비국소적 상관관계의 단독성과 부분적으로 비밀인 비트의 XOR 조합을 활용하여, 노이즈가 있는 채널과 공격자에 대비하여도 높은 기밀성을 확보하며, 양호한 키율을 달성하는 효율적인 고전적 및 양자 통신을 실현한다.

ABSTRACT

Information-theoretic key agreement is impossible to achieve from scratch and must be based on some - ultimately physical - premise. In 2005, Barrett, Hardy, and Kent showed that unconditional security can be obtained in principle based on the impossibility of faster-than-light signaling; however, their protocol is inefficient and cannot tolerate any noise. While their key-distribution scheme uses quantum entanglement, its security only relies on the impossibility of superluminal signaling, rather than the correctness and completeness of quantum theory. In particular, the resulting security is device independent. Here we introduce a new protocol which is efficient in terms of both classical and quantum communication, and that can tolerate noise in the quantum channel. We prove that it offers device-independent security under the sole assumption that certain non-signaling conditions are satisfied. Our main insight is that the XOR of a number of bits that are partially secret according to the non-signaling conditions turns out to be highly secret. Note that similar statements have been well-known in classical contexts. Earlier results had indicated that amplification of such non-signaling-based privacy is impossible to achieve if the non-signaling condition only holds between events on Alice's and Bob's sides. Here, we show that the situation changes completely if such a separation is given within each of the laboratories.

연구 동기 및 목표

• 양자 이론이나 신뢰할 수 있는 장치에 의존하지 않고 정보 이론적 안전성을 확보하는 양자 키 분배 프로토콜을 개발하는 것.
• 빛보다 빠른 신호 전파가 일어나지 않는다는 최소한의 물리적 가정만으로도 안전한 키 생성을 가능하게 하는 것.
• 양자 채널의 노이즈를 견디면서도 효율적인 고전적 및 양자 통신을 실현하는 것.
• 비신호 조건 하에서 부분적으로 비밀인 비트의 XOR 조합이 매우 기밀적인 결과를 낳는다는 것을 보여주는 것.
• 이전의 키율이 0 또는 음수인 프로토콜을 초월하여, 비신호 원리만을 사용해 장치 독립형 안전성을 확립하는 것.

제안 방법

• 엔트랑글 상태에 대한 시공간적으로 분리된 측정을 통해 앨리스와 보브 사이의 비신호 조건을 강제한다.
• 측정 결과의 동시확률 분포가 비신호 조건을 만족할 경우, 특정 비트의 XOR 결과가 매우 기밀이 된다는 사실을 활용한다.
• 보안 증명은 비신호 분포를 분석하고, 부분적으로 비밀인 비트(S1, S2, S3)의 XOR 결과가 개별 비트가 부분적으로 비밀일지라도 균일 분포가 된다는 것을 보여준다.
• 세 명의 당사자(앨리스, 보브, 이브)로 구성된 시스템을 사용하고, 공동 확률에 대한 제약 조건을 유도하여 비신호 가정 하에서 XOR 출력의 균일성을 증명한다.
• 균일 분포와 XOR 연산에 관한 수학적 보조정리를 적용하여, 양자역학을 가정하지 않고도 관련 측정 결과로부터 비밀 키를 추출할 수 있음을 보여준다.
• 비신호 조건이 유지되는 한, XOR 출력의 기밀성이 높게 유지되도록 하여 노이즈에 강건한 설계를 한다.

실험 결과

연구 질문

• RQ1 비신호 원리와 벨의 정리만을 사용하여 장치 독립형 보안을 확보할 수 있는 양자 키 분배 프로토콜을 설계할 수 있는가?
• RQ2 비신호 조건 하에서 부분적으로 비밀인 비트로부터 매우 기밀적인 키를 생성할 수 있는가?
• RQ3 이러한 프로토콜이 양자 채널의 노이즈에 견디며도 효율적일 수 있는가?
• RQ4 비신호 조건 하에서 여러 개의 부분적으로 비밀인 비트의 XOR이 매우 기밀적인 결과를 낳을 수 있는가?
• RQ5 비신호 상관관계를 활용하여 고전적 비신호 프레임워크가 할 수 없는 방식으로 프라이버시를 강화할 수 있는가?

주요 결과

• 비신호 조건 하에서 세 개의 부분적으로 비밀인 비트(S1, S2, S3)의 XOR 결과는 균일 분포를 이룬다. 이는 최종 키의 높은 기밀성을 보장한다.
• 프로토콜은 양호한 비밀 키율을 확보하여, 이전의 비신호 기반 프로토콜에서의 키율 0 문제를 해결한다.
• 보안 증명은 빛보다 빠른 신호 전파가 일어나지 않는다는 유일한 가정에 기반하여 이루어지며, 양자역학에 의존하지 않는다.
• 비신호 조건이 유지되는 한, 양자 채널의 노이즈에 대해서도 XOR 출력의 기밀성이 유지되어 프로토콜은 노이즈에 강건하다.
• 내부적으로 각 당사자의 실험실 내에서 분리된 구조가 존재할 경우, 비신호 프레임워크에서 프라이버시 강화가 가능하다는 것을 보여준다.
• 이전의 지수적 통신 비용을 요구하는 기법들과 달리, 고전적 및 양자 통신 측면에서 효율적인 프로토콜이다.