[논문 리뷰] Efficient Certifiable Randomness from a Single Quantum Device

Urmila Mahadev, Umesh Vazirani외 1명|arXiv (Cornell University)|2022. 04. 24.

Cryptography and Data Security인용 수 4

한 줄 요약

이 논문은 단일 신뢰할 수 없는 양자 장치를 사용하여 검증 가능한 난수 생성을 위한 새로운 프로토콜을 제안하며, 유출에 강한 LWE(학습 오차 문제) 구조를 활용하여 거의 최적의 난수 생성 비율을 달성한다. 프로토콜은 상수 라운드 내에서 O(n)의 통신량을 사용해 통계적으로 무작위인 출력을 Ω(n) 비트 생성하며, 이는 이전 연구에 비해 크게 향상되었고, 양자 이후 LWE 가정 하에서 보안성을 유지한다.

ABSTRACT

Brakerski et. al [BCM+18] introduced the model of cryptographic testing of a single untrusted quantum device and gave a protocol for certifiable randomness generation. We use the leakage resilience properties of the Learning With Errors problem to address a key issue left open in previous work - the rate of generation of randomness. Our new protocol can certify $Ω(n)$ fresh bits of randomness in constant rounds, where $n$ is a parameter of the protocol and the total communication is $O(n)$, thus achieving a nearly optimal rate. The proof that the output is statistically random is conceptually simple and technically elementary.

연구 동기 및 목표

• 단일 양자 장치 기반의 이전 검증 가능한 난수 생성 프로토콜에서 낮은 난수 생성 비율 문제를 해결하기 위해.
• 학습 오차 문제(LWE) 가정 하에서 통계적 보안성을 유지하면서 난수 생성의 효율성과 비율을 향상시키기 위해.
• 노이즈가 있는 트랩도어 클로저 없는 기능(NTCFs)에 대한 의존성을 제거하기 위해, 유출에 강한 특성을 가진 새로운 암호 primitive를 도입하기 위해.
• 기존의 병렬 반복 또는 복잡한 원리에 기반한 프로토콜과는 달리, 보다 단순하고 직접적인 정당성 증명을 제공하기 위해.
• 장치가 약간의 n 큐비트의 양자 메모리를 갖는지 확인함으로써 난수와 함께 장치의 양자 차원을 검증하기 위해.

제안 방법

• 학습 오차 문제(LWE)에서 유도된 손실 행렬을 사용하며, 이는 계산적으로 균일 분포와 구분 불가능하지만 큰 커널을 지녀 다수의 전이상태를 가능하게 한다.
• NTCFs에서 사용하는 2대1 함수가 아니라, k대1 함수를 사용하며, 여기서 k는 지수적으로 크다. 이는 각 라운드당 log k 비트의 난수를 검증 가능하게 한다.
• 검증자는 두 단계 프로토콜을 수행한다: 첫 번째로 손실 행렬과 도전 벡터를 전송하고, 두 번째로 측정 결과를 하다드-유사 테스트를 통해 검증한다.
• 암호학에서의 유출에 강한 기법을 활용하여, 테스트에 통과하는 모든 검증자는 많은 전이상태에 대한 중첩 상태를 준비해야 하며, 이는 더 많은 난수 생성을 가능하게 한다.
• 트랩도어가 필요 없이 프로버의 상태를 추출할 수 있는 양자 검증자 추출 프로토콜을 사용하여, 프로버의 행동을 효율적으로 검증한다.
• 보안 증명은 LWE 문제의 어려움으로 환원되며, 통계적 거리 기준을 사용하여 검증자의 입력에 조건부로 적용된 경우에도 출력의 최소 엔트로피가 높음을 보여준다.

실험 결과

연구 질문

• RQ1 단일 신뢰할 수 없는 양자 장치만을 사용하여, O(n)의 통신량에 대해 Ω(n) 비트의 난수를 생성하는 검증 가능한 난수 생성이 가능한가?
• RQ2 유출에 강한 LWE 구조가 양자 검증 프로토콜의 핵심 원리로 NTCFs를 대체할 수 있는가?
• RQ3 선형 통신량을 사용하는 상수 라운드 프로토콜이 LWE 가정 하에 여전히 높은 최소 엔트로피 출력을 보장할 수 있는가?
• RQ4 프로토콜이 난수 외에도 장치의 양자 차원, 즉 적어도 n 큐비트의 양자 메모리를 갖는지를 검증할 수 있는가?
• RQ5 손실 행렬을 사용할 경우 NTCFs 대신 더 단순하고 직접적인 정당성 증명이 가능해지는가?

주요 결과

• 프로토콜은 상수 라운드 내에서 Ω(n) 비트의 통계적으로 무작위 출력을 생성하며, 통신 비용 대비 거의 최적의 난수 생성 비율을 달성한다.
• 검증자의 난수 질문과 고전적 대화 기록에 조건부로 적용된 경우에도 출력의 최소 엔트로피는 최소 n − ℓ log q − O(1) 이상이다.
• 양자 이후 학습 오차 문제(QLWE) 가정 하에서 보안성을 유지하며, 오차 한계는 ε = 5δ^{1/4} + 무시할 만한(λ)으로 정량화된다.
• 정당성 증명은 개념적으로 단순하고 기술적으로 기본적이며, NTCFs와 같은 복잡한 원리가 아닌 유출에 강한 특성에 기반한다.
• 프로토콜은 양자 차원 검증이 가능하다: 성공적인 프로버는 필요한 중첩 상태를 생성하기 위해 최소 n 큐비트의 양자 메모리를 가져야 한다.
• 기존 연구와 동일한 완전성 및 타당성 보장을 유지하면서도, 훨씬 뛰어난 효율성과 더 직접적인 보안 환원을 달성한다.