[논문 리뷰] Two-Source Extractors Secure Against Quantum Adversaries

Roy Kasher, Julia Kempe|arXiv (Cornell University)|2010. 05. 04.

Adversarial Robustness in Machine Learning참고 문헌 27인용 수 4

한 줄 요약

이 논문은 양자 공격자, 특히 얽힌 양자 상태를 공유하는 공격자에게도 안전한 최초의 이원 소스 추출기(Extractor)를 제안한다. Chor-Goldreich의 내적 추출기와 Dodis 등이 제안한 다비트 변형이 양자 유한 저장소 및 얽힘 조건 하에서도 여전히 안전함을 증명하며, 오차와 최소 엔트로피 요구 조건이 고전적 경우와 정확히 일치하는 매개변수를 확보한다.

ABSTRACT

We initiate the study of multi-source extractors in the quantum world. In this setting, our goal is to extract random bits from two independent weak random sources, on which two quantum adversaries store a bounded amount of information. Our main result is a two-source extractor secure against quantum adversaries, with parameters closely matching the classical case and tight in several instances. Moreover, the extractor is secure even if the adversaries share entanglement. The construction is the Chor-Goldreich [CG88] two-source inner product extractor and its multi-bit variant by Dodis et al. [DEOR04]. Previously, research in this area focused on the construction of seeded extractors secure against quantum adversaries; the multi-source setting poses new challenges, among which is the presence of entanglement that could potentially break the independence of the sources.

연구 동기 및 목표

• 양자 공격자가 양자 정보를 저장할 경우 다원 소스 추출기가 여전히 안전한지 조사하기 위해.
• 공격자 간의 얽힘이 이원 소스 추출기의 안전성을 해칠 수 있는지 확인하기 위해.
• 이원 소스 추출기가 양자 지식을 고려할 때도 안전하기 위해 필요한 최소 엔트로피 및 오차의 명시적 상한을 설정하기 위해.
• 특히 얽힘 상태가 존재하는 상황에서 고전적 다원 소스 추출기와 그 양자 안전한 복제본 사이의 격차를 메우기 위해.

제안 방법

• Chor-Goldreich의 이원 소스 내적 추출기와 Dodis 등이 제안한 다비트 변형을 양자 환경에 적응시킴.
• 양자 공격자의 지식과 측정 전략을 모델링하기 위해 '매우 좋은 측정'(Pretty Good Measurement, PGM) 프레임워크를 사용함.
• XOR-레마를 적용하여 다비트 추출기의 안전성을 일비트 강력 추출기의 경우로 환원함.
• 결과로 얻은 양자 안전 이원 소스 추출기를, 양자 지식에 대비한 시드 기반 추출기와 조합하여 출력 길이를 증폭함.
• 트레이스 거리 상한과 양자 정보 이론적 도구를 활용해 유한 저장소를 가진 양자 공격자에 대한 보안을 정량화함.
• 예를 들어 [DPVR09]에서 제시된 알려진 결과를 활용하여, 최소한의 시드 오버헤드로 전체 출력 길이를 확보함.

실험 결과

연구 질문

• RQ1 양자 공격자가 양자 정보를 저장하고 서로 얽힌 상태를 공유할 경우, 이원 소스 추출기가 여전히 안전한가?
• RQ2 표준 고전적 이원 소스 추출기, 예를 들어 내적 추출기 등이 양자 유한 저장소 공격자에게도 여전히 안전한가?
• RQ3 이원 소스 추출기가 양자 공격자에게 안전하기 위해 도달 가능한 최소한의 최소 엔트로피 및 오차 매개변수는 무엇인가?
• RQ4 공격자 간의 얽힘이 양자 환경에서 다원 소스 추출기의 독립성과 안전성에 어떤 영향을 미치는가?
• RQ5 양자 지식 조건 하에서 다비트 이원 소스 추출기의 안전성은 일비트 경우로 환원될 수 있는가?

주요 결과

• Chor-Goldreich 내적 추출기는 양자 공격자와 유한 저장소 조건 하에서도 안전하며, 공격자 간의 얽힘 상태가 존재하더라도 여전히 유효하다.
• 최소 엔트로피 $k_1$ 및 $k_2$를 가진 이원 소스 추출기의 경우, $k_1 + k_2 \gtrapprox n + 6\log \varepsilon^{-1}$ 일 때 안전성이 확보되며, 고전적 경우의 매개변수와 로그 인자 수준에서 정확히 일치한다.
• 일비트 경우에 대해선 $k_1 + k_2 \geq n - 2 + 6\log \varepsilon^{-1}$ 일 때, $(k_1, k_2, \varepsilon)$ X-strong (Y-strong) 추출기로 간주된다.
• 다비트 경우에 대해선 $k_1 + k_2 \geq 6m + n - 2 + 6\log \varepsilon^{-1}$ 일 때 추출기 $E_D$ 가 안전하며, 거의 균일한 출력 $m$ 비트를 생성한다.
• 길이 $d = O(\log^3(n/\varepsilon))$ 인 양자 안전 시드 기반 추출기와 조합함으로써, 최종 구조는 $m = \frac{1}{6}(k_1 + k_2 - n - 6\log \varepsilon^{-1}) + k_1 - 8\log k_1 - 8\log \varepsilon^{-1} - O(1)$ 비트의 출력을 달성한다.
• 보안 증명을 통해 추출기 출력과 균일 분포 사이의 트레이스 거리가 $\sqrt{\varepsilon}$ 이하로 제한됨을 입증하여, 양자 지식에 대한 강건성을 확보한다.