[논문 리뷰] Bit Commitment from Non-Local Correlations

Severin Winkler, Stefan Wolf외 1명|arXiv (Cornell University)|2008. 11. 21.

Wireless Communication Security Techniques참고 문헌 14인용 수 1

한 줄 요약

이 논문은 메시지 전송 없이도 비국소적 상관관계를 갖는 비자명한 두 당사자 입력-출력 시스템—특히 국소적 숨겨진 변수로는 시뮬레이션할 수 없는 시스템—이 조건부로 안전한 비트 기록을 실현할 수 있음을 보여준다. 핵심 결과는 이러한 시스템, 특히 숨겨진 변수 모델을 갖지 않는 두 큐비트 상태를 포함하여, 메시지 전송 없이도 정보 이론적으로 안전한 비트 기록을 위한 기초를 제공한다는 것이다.

ABSTRACT

Central cryptographic functionalities such as encryption, authentication, or secure two-party computation cannot be realized in an information-theoretically secure way from scratch. This serves as a motivation to study what (possibly weak) primitives they can be based on. We consider as such starting points general two-party input-output systems that do not allow for message transmission, and show that they can be used for realizing unconditionally secure bit commitment as soon as they are non-trivial, i.e., cannot be realized from distributed randomness only. In particular, our result implies that any twoqubit state without hidden-variable model has an input-output behavior allowing for unconditional bit commitment.

연구 동기 및 목표

• 메시지 전송이 없는 약한密码 기반 원천이 비트 기록과 같은 더 강력한 기반 원천이 될 수 있는지 여부를 규명하는 것.
• 비국소적 상관관계로부터 조건부로 안전한 비트 기록이 가능해지는 최소 조건을 규명하는 것.
• 양자 시스템에서 숨겨진 변수 모델의 부재와 안전한 비트 기록의 가능성 사이의 연결 고리를 설정하는 것.
• 비자명한 두 당사자 시스템—특히 비국소적 상관관계를 갖는 시스템—이 조건부로 안전한 비트 기록을 지원하는지 여부를 보여주는 것.

제안 방법

• 메시지 전송이 허용되지 않는 일반적인 두 당사자 입력-출력 시스템을 분석한다.
• 시스템이 국소적 랜덤성과 공유 랜덤성만으로는 시뮬레이션할 수 없을 경우 비자명하다고 정의한다.
• 비국소적 상관관계—특히 벨 부등식 위반으로 정의되는 상관관계—를 핵심 자원으로 사용한다.
• 기기 독립적 양자 암호의 프레임워크를 적용하여, 비국소성이 안전한 비트 기록 존재를 암시함을 보여준다.
• 숨겨진 변수 모델을 갖지 않는 임의의 두 큐비트 상태가 이러한 비국소적 상관관계를 생성함을 입증한다.
• 시스템 내 비국소적 상관관계 존재는 조건부로 안전한 비트 기록을 실현하기 위해 필수적이고도 충분한 조건임을 확립한다.

실험 결과

연구 질문

• RQ1 메시지 전송이 허용되지 않는 두 당사자 시스템으로부터 조건부로 안전한 비트 기록을 구성할 수 있는가?
• RQ2 기기 독립적 환경에서 조건부로 안전한 비트 기록을 달성하기 위해 필요한 최소 물리적 자원은 무엇인가?
• RQ3 양자 시스템에서 숨겨진 변수 모델의 부재는 안전한 비트 기록의 가능성과 어떻게 관련되는가?
• RQ4 비자명한 모든 두 당사자 시스템—특히 비국소적 상관관계를 갖는 시스템—은 비트 기록을 가능하게 하는가?
• RQ5 숨겨진 변수 모델을 갖지 않는 임의의 두 큐비트 상태는 조건부로 안전한 비트 기록을 구현하는 데 사용될 수 있는가?

주요 결과

• 비자명한 두 당사자 입력-출력 시스템—즉, 국소적 숨겨진 변수나 분산 랜덤성으로는 시뮬레이션할 수 없는 시스템—은 조건부로 안전한 비트 기록을 실현하는 데 사용될 수 있다.
• 벨 부등식 위반으로 정의되는 비국소적 상관관계는 조건부로 안전한 비트 기록을 실현하는 데 충분하다.
• 메시지 전송이 없더라도 결과가 성립하여, 비국소성 자체가 암호학적 원천을 제공함을 보여준다.
• 특히, 숨겨진 변수 모델을 갖지 않는 두 큐비트 양자 상태는 조건부로 안전한 비트 기록을 지원한다.
• 논문은 기초적인 양자 특성(비국소성)과 실용적 암호 보안 사이의 직접적인 연결 고리를 설정한다.
• 이 구조는 정보 이론적으로 안전하므로, 무제한 계산 능력을 지닌 모든 공격자에 대해서도 안전하다.