[논문 리뷰] Efficient Quantum Key Distribution Based Solely on Bell's Theorem

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

Quantum Information and Cryptography인용 수 4

한 줄 요약

이 논문은 양자 이론의 정확성에 의존하지 않고 오직 비신호 원리(non-signaling principle)에 기반하여 기기독립적 보안을 달성하는 새로운 효율적인 양자 키 분배 프로토콜을 제안한다. 비신호 조건 하에서 부분적으로 비밀인 비트들의 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.

연구 동기 및 목표

• 양자역학의 정확성에 의존하지 않는 기기독립적 양자 키 분배 프로토콜을 개발하는 것.
• 이전의 기기독립적 프로토콜들—예를 들어 2005년 Barrett-Hardy-Kent 방법—의 비효율성과 노이즈에 대한 민감성 문제를 해결하는 것.
• 비신호 조건을 각 당사자의 국소 실험실 내에서 적용할 경우 비신호 기반 기밀성의 증폭이 가능하다는 것을 보여주는 것.
• 최소한의 물리적 가정 하에 무조건적 보안을 유지하면서도 효율적인 고전적 및 양자 통신을 달성하는 것.

제안 방법

• 프로토콜은 양자역학이나 얽힘의 정밀도에 의존하지 않고 오직 비신호 원리를 유일한 물리적 가정으로 사용한다.
• 비신호 조건이 앨리스와 보브의 실험실 내부에서 별도로 강제되는 구조를 사용하여 더 강력한 기밀성 증폭을 가능하게 한다.
• 최종 키의 보안은 부분적으로 비밀인 비트들의 XOR에 기반하며, 비신호 제약 조건 하에서 매우 기밀이 된다.
• 실제 적용에서 효율성을 높이기 위해 고전적 및 양자 통신을 최소화하도록 설계되었다.
• 양자 채널이 노이즈가 있어도 안전한 키를 생성할 수 있도록 비신호 상관관계의 구조를 새로운 방식으로 활용한다.
• 비신호 조건 하에서 XOR 출력의 기밀성을 보장하는 수학적 프레임워크를 사용하며, 특히 비신호 조건이 각 당사자별로 국소화된 경우에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 기존 프로토콜에 비해 상당히 감소된 통신 오버헤드로 기기독립적 보안을 달성할 수 있는가?
• RQ2 비신호 원리에 기반한 보안을 유지하면서도 양자 채널의 노이즈를 견딜 수 있는가?
• RQ3 비신호 제약 조건을 각 당사자의 국소 시스템에 적용할 경우 비신호 기반 기밀성이 증폭될 수 있는가?
• RQ4 완전한 양자 이론 없이도 국소 비신호 조건 하에서 부분적으로 비밀인 비트들의 XOR이 매우 기밀이 될 수 있는가?
• RQ5 초기 신호 전파의 불가능성에만 기반하여 실용적이고 효율적인 QKD 프로토콜을 구성할 수 있는가?

주요 결과

• 비신호 조건이 성립한다는 유일한 가정 하에 기기독립적 보안을 달성하며, 양자역학의 정확성에 대한 어떤 가정도 필요로 하지 않는다.
• 고전적 및 양자 통신 모두에서 효율적이며, 2005년 Barrett-Hardy-Kent 프로토콜과 같은 이전 방법들에 비해 뚜렷이 뛰어나다.
• 양자 채널의 노이즈를 견딜 수 있어 이전의 비신호 기반 방법들에 비해 중대한 개선을 이룬다.
• 비신호 제약 조건이 각 당사자의 실험실 내에서 적용될 경우 다수의 부분적으로 비밀인 비트들의 XOR이 매우 기밀이 되어 효과적인 기밀성 증폭이 가능하다.
• 키의 보안은 비신호 상관관계의 구조에 의해 보장되며, 특히 비신호 조건이 각 당사자별로 국소적으로 강제될 경우에 특히 강력하다.
• 결과적으로 비신호 조건이 각 실험실 내에서 적용될 경우 비신호 기반 기밀성 증폭이 가능하며, 이는 이전에 믿어왔던 제약 조건을 해결한다.