[논문 리뷰] Oblivious transfer and quantum non-locality

Stefan Wolf, Jürg Wullschleger|ArXiv.org|2005. 02. 04.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 5

한 줄 요약

이 논문은 온전한 정보이론적 동치성을 도입하여 무관심 전송(OT)과 Popescu-Rohrlich(PR) 비국소성 원리 간의 완벽한 등가성을 확립한다: 단일 PR 상자로부터 OT를 완벽하게 실현할 수 있으며, 그 반대도 마찬가지로 가능하다. 이는 오직 고전적 통신만을 사용할 때 가능하다. 핵심 기여는 대칭적이고 단일 복사본 기반의 감소법으로, 정보이론적 환경에서 OT가 본질적으로 대칭임을 드러내며, 보안 양자간 계산 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

Oblivious transfer, a central functionality in modern cryptography, allows a party to send two one-bit messages to another who can choose one of them to read, remaining ignorant about the other, whereas the sender does not learn the receiver's choice. Oblivious transfer the security of which is information-theoretic for both parties is known impossible to achieve from scratch. - The joint behavior of certain bi-partite quantum states is non-local, i.e., cannot be explained by shared classical information. In order to better understand such behavior, which is classically explainable only by communication, but does not allow for it, Popescu and Rohrlich have described a "non-locality machine": Two parties both input a bit, and both get a random output bit the XOR of which is the AND of the input bits. - We show a close connection, in a cryptographic sense, between OT and the "PR primitive." More specifically, unconditional OT can be achieved from a single realization of PR, and vice versa. Our reductions, which are single-copy, information-theoretic, and perfect, also lead to a simple and optimal protocol allowing for inverting the direction of OT.

연구 동기 및 목표

• 무관심 전송(OT)과 Popescu-Rohrlich(PR) 비국소성 원리 간의 암호학적 관계를 조사하는 것.
• 정보이론적 환경에서 OT가 대칭인지 여부라는 오랜 미해결 문제를 해결하는 것.
• OT와 PR 간에 최소화되고 완벽하며 단일 복사본 기반의 감소법을 수립하여 역방향 OT 기능을 가능하게 하는 것.
• 비국소성의 역할을 보안 양자간 계산에서 명확히 하고, 양자 비국소성과의 연결 고리를 밝혀내는 것.

제안 방법

• 수신자가 선택 비트를 입력하고, PR 상자가 출력의 XOR이 입력의 AND와 일치하도록 출력을 생성함으로써, 고전적 비트 1개의 통신을 사용해 OT를 PR로 감소시키는 방법.
• 단일 OT 인스턴스와 1비트의 통신을 사용해 PR에서 OT로의 역방향 감소를 수행함으로써 OT의 방향을 뒤집는 방법.
• 공유된 난수를 통해 OT 시뮬레이션을 가능하게 하는 중간 단계로 '무관심 키'(OK) 원리를 사용하는 방법.
• OT가 B에서 A로의 전송을 A에서 B로의 전송으로 변환할 수 있도록, 3비트의 통신 프로토콜을 통해 대칭적 프로토콜을 구성하는 방법.
• 조건부 확률 분포와 정보이론적 보안을 사용한 완벽하고 최적의 감소법에 대한 공식적 증명.
• PR 상자의 대칭성을 활용하여, 비대칭적으로 보일 수 있지만 OT는 본질적으로 대칭임을 입증하는 방법.

실험 결과

연구 질문

• RQ1 무관심 전송은 단일 PR 비국소성 원리 인스턴스로부터 완벽하게 실현될 수 있는가?
• RQ2 오직 고전적 통신과 단일 OT 인스턴스만을 사용해 OT의 방향을 뒤집는 것이 가능한가?
• RQ3 PR 상자는 OT에 대해 대칭적인 기초를 제공하는가? 이는 정보이론적 모델에서 OT가 본질적으로 대칭임을 암시하는가?
• RQ4 최대 얽힘 상태인 EPR 쌍의 행동을 암호학적으로 안전한 방식으로 PR 원리를 사용해 완벽하게 시뮬레이션할 수 있는가?

주요 결과

• 단일 PR 원리 인스턴스를 사용해 고전적 통신 1비트만으로도 OT를 완벽하게 실현할 수 있다.
• 반대로, 단일 OT 인스턴스를 사용해 PR 원리를 완벽하게 실현할 수 있으며, 이는 상하좌우 대칭적이고 완벽한 감소법을 수립함을 의미한다.
• 오직 1비트의 통신만으로 OT의 방향을 뒤집을 수 있으며, 이는 정보이론적 환경에서 OT가 대칭임을 입증한다.
• OT의 방향 뒤집기 프로토콜은 최적이다. 왜냐하면 1비트의 통신이 뒤집기의 필요 조건이자 충분 조건이기 때문이다.
• 무관심 키(OK) 원리는 대칭적이며, 3비트의 통신을 통해 OT를 시뮬레이션할 수 있고, 통신 없이도 뒤집을 수 있다.
• PR 원리는 최대 얽힘 상태인 EPR 쌍의 통계를 완벽하게 시뮬레이션할 수 있지만, 본 논문은 이러한 시뮬레이션에서 암호학적 기밀성이 유지되지 않을 수 있음을 언급하며, 이를 여전히 미해결 문제로 남겨둔다.