[논문 리뷰] Certifiable Quantum Dice - Or, testable exponential randomness expansion

Umesh Vazirani, Thomas Vidick|arXiv (Cornell University)|2011. 11. 25.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 19

한 줄 요약

이 논문은 진정으로 무작위성을 생성하는 검증 가능한 양자 랜덤성 확장 프로토콜을 제안한다. 이 프로토콜은 오직 비신호 원칙(no-signaling principle)을 보안 가정으로 사용하여 $ n $ 비트의 진정한 무작위성을 $ O(\log n) $ 비트의 균일한 랜덤 시드 비트로부터 생성한다. 프로토콜은 양자 공격자에 대비한 테스트 가능한 지수적 랜덤성 확장을 가능하게 하며, 장치가 해커와 얽힌 상태여도 작은 시드로부터 $ \Omega(n) $ 비트의 검증된 랜덤성을 확보한다.

ABSTRACT

We introduce a protocol through which a pair of quantum mechanical devices may be used to generate n bits of true randomness from a seed of O(log n) uniform bits. The bits generated are certifiably random based only on a simple statistical test that can be performed by the user, and on the assumption that the devices obey the no-signaling principle. No other assumptions are placed on the devices' inner workings. A modified protocol uses a seed of O(log^3 n) uniformly random bits to generate $n$ bits of true randomness even conditioned on the state of a quantum adversary who may have had prior access to the devices, and may be entangled with them.

연구 동기 및 목표

• 최소한의 랜덤성으로부터 검증 가능한 랜덤 비트를 생성하는 프로토콜을 개발하여, 장치가 악성 제어되더라도 출력이 진정으로 무작위가 되도록 보장한다.
• 지수적 랜덤성 확장—즉, $ O(\log n) $ 비트의 시드에서 $ n $ 비트의 랜덤성을 생성하는 것—을 달성하면서도 테스트 가능성을 유지한다.
• 장치와 얽힌 양자 공격자에 대비한 보안을 제공하여, 공격자의 양자 상태에 조건부로 적용되더라도 출력이 여전히 랜덤성을 유지하도록 보장한다.
• 장치 내부에 대한 가정 없이 단순한 통계적 테스트(예: CHSH 게임 위반)와 비신호 원칙에만 의존하는 프로토콜을 설계한다.

제안 방법

• 대부분의 라운드는 고정된 입력(0,0)을 사용하는 반면, 소수의 라운드는 비정상적인 상관관계를 테스트하기 위해 랜덤 입력을 사용하는 '벨 블록'을 포함하는 CHSH 게임 순서를 사용한다.
• 출력에 대한 통계적 테스트를 적용한다: 각 블록에서 최소 84%의 라운드에서 CHSH 조건을 충족해야 출력을 수락한다.
• 작은 랜덤 시드를 사용하여 벨 블록을 선택하고, 양자 행동에서의 편차가 예상 성공률에서의 통계적 편차를 통해 감지 가능하도록 보장한다.
• 보안을 증명하기 위해 추측 게임으로의 환원을 사용한다: 만약 공격자가 출력을 높은 정확도로 예측할 수 있다면, 이는 신호 전달을 의미하며 비신호 원칙을 위반하게 된다.
• 벨 블록을 뭉치로 묶고 체인 규칙 증명을 통해, 고확률로 적어도 하나의 블록에서 공격자의 예측이 정확하고 CHSH 조건도 충족됨을 보여준다.
• 최종 출력은 벨 블록의 CHSH 게임 결과에서 추출되며, 예측된 출력과의 일치 여부에 기반한 최종 결정 규칙을 통해 랜덤성을 검증한다.

실험 결과

연구 질문

• RQ1 비신호 원칙만을 사용하여 작은 랜덤 시드로 큰 수의 검증 가능한 랜덤 비트를 생성할 수 있는가?
• RQ2 장치와 얽힌 양자 공격자에 대비하여 프로토콜이 여전히 보안을 확보할 수 있는가?
• RQ3 단지 통계적 테스트와 장치 신뢰 없이도 지수적 랜덤성 확장(예: $ O(\log n) $ 시드에서 $ n $ 비트)을 달성할 수 있는가?
• RQ4 실제로 적용 가능한 테스트 가능성을 확보할 수 있는가? 장치의 세부 사항이 아닌 관측 가능한 통계 자료에만 의존한다.

주요 결과

• 프로토콜은 $ O(\log n) $ 비트의 균일한 랜덤 시드로부터 $ \Omega(n) $ 비트의 검증 가능한 랜덤 출력을 생성하여 지수적 랜덤성 확장을 달성한다.
• 출력의 보안성은 확률 $ 1 - \exp(-\Omega(\Delta)) $로 보장되며, 여기서 $ \Delta $ 는 오류율과 보안 수준을 제어한다.
• 시드 비트를 $ O(\log^3 n) $ 로 수정한 프로토콜은 장치가 공격자와 사전 얽힌 양자 상태를 가진 경우에도 안전한 $ n $ 비트의 랜덤성을 생성한다.
• 공격자가 출력을 높은 정확도로 예측할 수 있다면 이는 신호 전달을 의미하며, 비신호 원칙 위반으로 이어지므로 실제로 발생할 수 없다.
• 체인 규칙 증명을 통해, 적어도 하나의 벨 블록에서 CHSH 조건이 충족되고 공격자의 예측도 높은 확률로 정확할 것임을 증명한다.
• 최종 출력은 예측된 출력과의 일치 여부에 기반한 결정 규칙을 통해 추출되며, 이로 인해 공격자가 예측 성공률가 제한된 경우에도 최종 비트가 균일성과 구분이 불가능해진다.