[논문 리뷰] Cryptography In the Bounded Quantum-Storage Model

Damgaard, Ivan, Fehr, Serge외 2명|ArXiv.org|2005. 08. 30.

Quantum Computing Algorithms and Architecture인용 수 10

한 줄 요약

이 논문은 유한한 양자 스토리지 모델에서, 신뢰할 수 있는 당사자들이 양자 메모리를 사용하지 않고도 고전적 통신만으로 절대적 안전성의 온스톨러브 트랜스퍼(OT)와 비트 커밋먼트(BC)를 달성하는 새로운 암호 프레임워크를 제안한다. 핵심 기여는 악성 공격자가 프로토콜을 깨기 위해 최소 n/2 큐비트를 저장해야 한다는 점으로, 이는 고전적 유한 메모리 모델보다 훨씬 큰 보안 갭을 제공하며, 현재 기술로도 실행 가능한 효율적이고 비상호작용 프로토콜을 가능하게 한다.

ABSTRACT

We initiate the study of two-party cryptographic primitives with unconditional security, assuming that the adversary's quantum memory is of bounded size. We show that oblivious transfer and bit commitment can be implemented in this model using protocols where honest parties need no quantum memory, whereas an adversarial player needs quantum memory of size at least n/2 in order to break the protocol, where n is the number of qubits transmitted. This is in sharp contrast to the classical bounded-memory model, where we can only tolerate adversaries with memory of size quadratic in honest players' memory size. Our protocols are efficient, non-interactive and can be implemented using today's technology. On the technical side, a new entropic uncertainty relation involving min-entropy is established.

연구 동기 및 목표

• 표준 모델에서 절대적 안전성의 양자 간섭 암호화가 불가능한 문제를 해결하기 위해 물리적으로 타당한 보안 가정을 도입한다.
• 특히 양자 메모리의 제한을 활용하여 신뢰할 수 있는 당사자와 공격자 간의 스토리지 용량 간 격차를 좁힌다.
• 무한한 고전적 계산 능력과 메모리가 있는 공격자에게도 안전한 효율적이고 비상호작용 프로토콜을 설계한다.
• 유한한 양자 스토리지 가정 하에서 보안을 공식적으로 증명하기 위해 최소 엔트로피를 포함하는 새로운 엔트로픽 불확실성 관계를 수립한다.
• 노이즈 있는 메모리 시나리오로 모델을 확장하여, 악성 공격자의 메모리가 소실 또는 분산 채널과 같은 특정 노이즈 과정을 겪더라도 보안이 유지됨을 보여준다. 이는 공격자가 큰 하지만 불완전한 메모리를 가질 수 있는 경우에도 성립한다.

제안 방법

• 공격자의 양자 스토리지가 최대 γn 큐비트 이하로 제한되는 새로운 보안 모델인 유한한 양자 스토리지 모델을 제안한다. 보안을 확보하기 위해 γ < 1/2여야 한다.
• 공격자가 정보를 획득할 수 없도록 양자 불확실성 원리를 활용하기 위해, BB84 스타일의 큐비트 준비 및 케이스 기반 측정을 사용하는 비상호작용 문자열 온스톨러브 트랜스퍼(Rot) 프로토콜을 설계한다.
• 측정 결과를 압축하기 위해 두 개의 유일한 해시 함수를 사용하여, 공격자가 최종 키를 높은 확률로 예측할 수 없도록 보장한다. 이는 공격자가 큐비트의 대부분을 저장하지 않는 한 성립한다.
• 최소 엔트로피를 기반으로 한 새로운 엔트로픽 불확실성 관계를 수립하여, 공격자가 신뢰할 수 있는 당사자와 다른 기저에서 측정할 경우 그 지식이 제한됨을 증명한다.
• 개인 정보 압축 정리(privacy amplification theorem)를 사용하여 보안을 증명한다. γ < 1/2 이면, 공격자가 랭크가 최대 2^γn인 혼합 상태를 가질지라도, 최종 키에 대한 지식은 무시할 수 있을 정도로 낮아진다.
• 노이즈 있는 메모리 모델로 분석을 확장하여, 공격자의 메모리가 소실 채널(확률 > 1−γ) 또는 분산 채널(오차 확률 p = 1−γ)을 겪는 경우, 상태의 효과적 랭크가 감소함을 보여주며, 동일한 임계값 하에서 보안이 유지됨을 입증한다.

실험 결과

연구 질문

• RQ1 신뢰할 수 있는 당사자들이 양자 메모리를 필요로 하지 않지만, 공격자의 양자 스토리지 용량이 제한된 모델에서 절대적 안전성의 온스톨러브 트랜스퍼와 비트 커밋먼트를 달성할 수 있는가?
• RQ2 고전적 유한 메모리 모델에서 공격자의 메모리가 신뢰할 수 있는 당사자보다 제곱 크기로 제한되는 것과 비교해, 신뢰할 수 있는 당사자와 공격자 간의 스토리지 용량 격차를 크게 개선할 수 있는가?
• RQ3 양자 불확실성과 엔트로픽 불확실성 관계를 활용하여, 공격자가 무한한 고전적 메모리와 계산 능력을 가진 상태에서도 안전한 프로토콜을 설계할 수 있는가?
• RQ4 악성 공격자의 메모리에서 현실적인 노이즈 과정(예: 소실 또는 분산 채널)이 발생할 경우, 메모리가 크더라도 프로토콜의 보안이 유지되는 정도는 어느 정도인가?
• RQ5 일般적인 감소를 통한 방법보다 더 효율적인 통신 복잡도를 갖는 문자열 커밋먼트 또는 1-m OT를 지원하도록 프로토콜을 확장할 수 있는가?

주요 결과

• 제안된 프로토콜은 신뢰할 수 있는 당사자들이 양자 메모리를 사용하지 않고도 고전적 통신만으로 절대적 안전성의 온스톨러브 트랜스퍼와 비트 커밋먼트를 달성한다.
• 공격자가 프로토콜을 깨기 위해 최소 n/2 큐비트를 저장해야 하며, 이는 n이 전송된 큐비트 수일 때 고전적 유한 메모리 모델보다 훨씬 큰 보안 갭을 제공한다.
• 보안은 최소 엔트로피를 포함하는 새로운 엔트로픽 불확실성 관계에 기반하며, 이는 공격자가 신뢰할 수 있는 당사자와 다른 기저에서 측정할 경우 최종 키에 대한 지식이 제한됨을 보여준다.
• 노이즈 있는 메모리 모델에서도 프로토콜은 안전하다. 공격자의 메모리가 소실 채널을 통해 확률 > 1−γ로 작용하거나, 오차 확률 p = 1−γ인 분산 채널을 겪는 경우, γ < 1/2 이면 보안이 유지된다.
• 비트 커밋먼트 프로토콜은 비상호작용이며, 오직 수신 메시지만으로 커밋먼트를 수행할 수 있다. 이는 표준 모델에서는 불가능한 성질이다.
• 비트 단위 커밋먼트를 통해 문자열 커밋먼트로 확장 가능하지만 통신 복잡도가 증가한다. 더 효율적인 구조는 여전히 열린 문제이다.