⚛️ quantum physics

Deterministic randomness extraction for quantum random number generation with partial trust

이 논문은 메모리 없는 장치를 위한 부분 신뢰 또는 준-장치 독립적 설정에서 양자 난수 생성을 위한 결정적 무작위성 추출기를 구축하고, 중첩 가정 하에서 약 7,000 회의 회차에서 양의 키율을 달성하는 것을 시뮬레이션하여 검증했습니다.

원저자: Pablo Tikas Pueyo, Tomás Fernández Martos, Gabriel Senno

게시일 2026-02-27

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Pablo Tikas Pueyo, Tomás Fernández Martos, Gabriel Senno

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

🎲 제목: "불완전한 도박에서 완벽한 운을 뽑아내는 마법"

1. 배경: 왜 '완벽한' 무작위성이 필요한가?

우리가 사용하는 암호, AI, 게임 등은 모두 **'진짜 무작위성 (True Randomness)'**에 의존합니다. 하지만 컴퓨터가 만들어내는 숫자는 사실 '가짜' 무작위성 (시뮬레이션) 일 뿐입니다. 진짜 무작위성을 얻기 위해 우리는 주사위나 동전 던지기를 하지만, 이마저도 미세한 손의 움직임이나 바람에 의해 예측될 수 있습니다.

양자 역학은 이 문제를 해결해 줍니다. 양자 입자는 본질적으로 예측 불가능하기 때문입니다. 그래서 '양자 난수 생성기'를 만듭니다.

2. 문제: "완벽한 장비를 믿을 수 없다면?"

양자 난수 생성기는 크게 두 단계로 이루어집니다.

원료 채취 (Entropy Source): 양자 현상을 이용해 '거친' 무작위 숫자 덩어리를 만듭니다.
정제 (Extraction): 이 거친 숫자를 다듬어 '완벽하게 균일한' 무작위 숫자로 만듭니다.

여기서 큰 문제가 생깁니다. 이론적으로, 아무런 추가 정보 없이 '거친' 숫자만 가지고는 '완벽한' 숫자를 뽑아낼 수 없습니다. (예를 들어, 동전이 99% 앞면으로 나오는 편향된 동전만 있다면, 아무리 잘 섞어도 완벽한 50:50 을 만들 수 없습니다.)

기존의 해결책은 **'씨앗 (Seed)'**을 사용하는 것이었습니다. 완벽한 무작위 숫자 몇 개를 미리 준비해 두고, 그것을 '촉매'처럼 써서 나쁜 숫자를 정제하는 방식입니다. 하지만 이 '씨앗'을 어디서 구할지, 그리고 그 씨앗이 해커에게 털리지 않았는지 확인하는 게 또 다른 문제입니다.

3. 이 논문의 혁신: "신뢰할 수 있는 부분만 믿자"

이 논문 (Pablo Tikas Pueyo 등) 의 핵심은 **"완벽한 장비를 믿을 필요는 없다. 신뢰할 수 있는 부분만 믿으면 된다"**는 것입니다.

저자들은 **'부분적 신뢰 (Partial Trust)'**라는 새로운 접근법을 제시합니다.

상황 A: 양자 상태를 만드는 장치는 믿을 수 없지만, 측정하는 기계는 믿을 수 있다.
상황 B: 양자 상태를 만드는 장치는 믿을 수 있지만, 측정하는 기계는 믿을 수 없다.
상황 C: 두 상태가 얼마나 비슷한지 (겹침) 만 알고 있다면, 나머지는 몰라도 된다.

이런 '불완전한 신뢰' 상황에서도, 해커가 예측할 수 없는 무작위성을 **씨앗 없이 (Seedless)**도 뽑아낼 수 있다는 것을 증명했습니다.

4. 비유: "불완전한 주사위와 마법 사기"

이 논문의 방식을 주사위 게임에 비유해 볼까요?

기존 방식 (씨앗 필요): 해커가 주사위를 조작했을지 모릅니다. 그래서 우리는 '완벽한 주사위' 몇 개를 미리 준비해 두고, 그걸 섞어서 진짜 무작위성을 만들어야 했습니다. (비싸고 귀찮음)
이 논문의 방식 (부분적 신뢰):
- "주사위 자체는 해커가 조작했을지 몰라도, **주사위를 던지는 손 (측정 장치)**은 내가 직접 보고 있으니 믿어도 돼."
- 혹은 "주사위는 내가 직접 만들었으니 믿어도 되지만, **결과를 읽는 눈 (측정)**은 해커가 가릴지 몰라."

이 논문은 **"주사위나 눈 중 하나만이라도 내가 통제할 수 있다면, 나머지 하나는 해커가 어떻게 조작하든 상관없이 '완벽한 무작위성'을 뽑아낼 수 있다"**는 마법의 공식을 찾아냈습니다.

5. 핵심 기술: "예측 불가능성의 수학적 증명"

저자들은 **'예측 확률 (Guessing Probability)'**이라는 수학적 도구를 사용했습니다.
해커가 내 결과를 맞출 확률이 100% 가 아니라면, 그 '오차'를 이용해 무작위성을 추출할 수 있다는 것입니다.

비유: 해커가 주사위 눈금을 90% 확률로 맞출 수 있다고 치죠. 나머지 10% 의 불확실성이 바로 우리가 원하는 '진짜 무작위성'입니다. 이 논문의 수학은 그 10% 를 어떻게 모아서 100% 확실한 무작위성으로 바꾸는지 알려줍니다.

6. 실제 성과: "적은 횟수로도 가능!"

이론만 증명하는 게 아니라, 실제 실험 데이터를 시뮬레이션해 보았습니다.

결과: 놀랍게도 약 7,000 번의 시도 (라운드) 만으로도 해커가 예측할 수 없는 안전한 키 (비밀번호) 를 생성할 수 있었습니다.
의미: 과거의 방식들은 수억 번의 시도가 필요하거나, 완벽한 장비가 필요했는데, 이제는 적은 비용과 짧은 시간으로도 안전한 양자 난수를 만들 수 있게 되었습니다.

📝 요약 및 결론

이 논문은 **"완벽한 양자 장비를 갖지 못해도, 신뢰할 수 있는 부분 하나만 있으면 해커를 이길 수 있는 무작위성을 만들 수 있다"**는 것을 증명했습니다.

핵심 메시지: "완벽함 (Perfect Trust) 을 요구하지 마라. 부분적인 신뢰 (Partial Trust) 만으로도 충분하다."
실용성: 씨앗 (Seed) 없이도 작동하며, 적은 횟수로도 높은 보안을 제공합니다.
미래: 이 기술은 향후 양자 암호 통신, 안전한 AI, 그리고 우리가 일상에서 사용하는 모든 디지털 보안의 기반이 되어, 더 저렴하고 강력한 보안 시스템을 가능하게 할 것입니다.

즉, 이 논문은 **"불완전한 세상에서도 완벽한 안전을 보장하는 새로운 수학"**을 제시한 것입니다.

이 논문은 부분적인 신뢰 (partial trust) 하에서 양자 난수 생성 (QRNG) 을 위한 결정론적 난수 추출 (deterministic randomness extraction) 을 다루는 연구입니다. 고전 정보 이론에서 임의의 엔트로피 소스로부터 결정론적 절차로 이상적인 난수를 추출하는 것은 불가능하다는 것이 잘 알려져 있지만, 소스에 대한 추가적인 구조적 지식이 있을 경우 (예: 독립적인 베르누이 시행) 추출이 가능합니다. 저자들은 최근 발표된 장치 독립 (DI) 설정에서의 결정론적 추출 기법을 준비 - 측정 (prepare-and-measure, PM) 시나리오로 확장하여, 상태 준비나 측정 중 하나에 대한 신뢰가 있는 부분적 신뢰 설정에서도 유효함을 증명했습니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 문제 정의 (Problem)

배경: 양자 난수 생성기 (QRNG) 는 엔트로피 소스와 난수 추출기로 구성됩니다. 기존에는 약한 소스로부터 난수를 추출하기 위해 '시드 (seed)'가 필요하거나, 여러 소스를 결합해야 했습니다.
한계: Santha-Vazirani 정리에 따르면, 고전적으로 임의의 엔트로피 소스로부터 결정론적으로 난수를 추출하는 것은 불가능합니다.
목표: 최근 Foreman 과 Masanes (2025) 가 장치 독립 (DI) 설정 (벨 부등식 위반을 기반으로 함) 에서 결정론적 추출기를 개발했으나, 이를 더 실용적인 준비 - 측정 (PM) 시나리오로 확장하고, 부분적 신뢰 (partial trust) 모델 (상태 준비는 신뢰하지만 측정은 불신하거나 그 반대, 혹은 상태의 중첩 오버랩을 가정하는 경우) 에서도 적용 가능한지 증명하는 것입니다.

2. 방법론 (Methodology)

A. 설정 및 가정 (Settings and Assumptions)

논문은 세 가지 주요 설정을 고려합니다:

(S1) 신뢰할 수 없는 준비 (Untrusted-preparation): 준비된 상태는 불신하지만, 측정기는 신뢰하고 특성화됨.
(S2) 신뢰할 수 없는 측정 (Untrusted-measurement): 준비된 상태는 신뢰하지만, 측정기는 불신함 (단, 특성화됨).
(S3) 준-장치 독립 (Semi-DI): 두 개의 준비된 상태에 대해 중첩 (overlap) 하한 ( $\delta$ ) 이 주어지고, 측정기는 불신함. 이는 실험적으로 가장 관련성이 높은 설정입니다.

공통 가정:

메모리 없는 측정 (Memoryless measurements): 각 라운드의 측정은 현재 라운드의 시스템에만 작용.
독립적인 준비 (Independent preparations): 각 라운드의 상태는 이전 라운드와 무관.
외부 공격자 (Eve) 는 양자 사이드 정보를 가질 수 있음.

B. 핵심 기법: 추측 확률의 쌍대 문제 (Dual of Guessing Probability)

기존 DI 설정에서는 벨 부등식 위반이 추출기의 전제 조건으로 사용되었습니다.
본 논문에서는 Eve 의 추측 확률 (Guessing Probability) 을 정의하는 반정부호 프로그래밍 (SDP) 의 쌍대 해 (dual solution) 를 활용합니다.
주요 기술적 기여 (Theorem 1): SDP 의 쌍대 해로부터 유도된 연산자 부등식 (Operator Inequality) 을 증명했습니다. 이 부등식은 측정 장치의 보조 시스템 (ancillary system) 힐베르트 공간에서 작용하며, 관측된 행동 (behavior) 과 상태 중첩 오버랩을 기반으로 예측 가능성 (predictability) 을 상한으로 묶습니다.
- 수식적으로: $\pm \text{Tr}_S[(\rho \otimes \mathbb{1})(\Pi_0 - \Pi_1)] \preceq G_M$ 형태의 부등식을 유도하여, 추출기의 안전성을 보장합니다.

C. 결정론적 추출기 적용

단일 비트 추출: XOR 함수를 사용하여 $n$ 개의 원시 비트를 1 비트로 압축합니다.
다중 비트 추출: [9] 번 문헌에서 제안된 함수족을 적용하여 $m$ 비트의 난수를 추출합니다.
안전성 증명: 추출된 키와 Eve 의 사이드 정보 간의 트레이스 거리 (trace distance) 가 $\epsilon$ 이하임을 증명하여, 보편적으로 조립 가능한 (universally composable) 안전성을 확보했습니다.

3. 주요 결과 (Key Results)

A. 이론적 증명

Theorem 2 & 3: 제안된 연산자 부등식을 바탕으로, XOR 함수와 다중 비트 함수가 (S1), (S2), (S3) 설정 모두에서 유효한 결정론적 추출기임을 증명했습니다.
수렴성: 원시 비트 수 ( $n_r$ ) 가 무한대로 갈 때, 쌍대 목적 함수가 1 보다 작다면 (즉, 결과가 완전히 예측 가능하지 않다면) 추출된 난수는 이상적인 균일 분포에 수렴합니다.

B. 프로토콜 및 시뮬레이션 (Semi-DI 설정 중심)

스팟 체킹 프로토콜 (Spot-checking Protocol): 일부 라운드를 추정 (estimation) 에 사용하고 나머지를 키 생성에 사용하는 프로토콜을 설계했습니다.
시뮬레이션 결과:
- 실험적 관련성: VCSEL(수직 공동 표면 방출 레이저) 기반의 편광 스위칭 현상을 모사한 새로운 행동족 (family of behaviors) 을 시뮬레이션에 적용했습니다.
- 유한 크기 (Finite-size) 성능: $7 \times 10^3$ (약 7,000) 라운드만으로도 양의 키율 (positive key rate) 을 달성할 수 있음을 확인했습니다.
- 비교: 기존 DI 프로토콜에 비해 추정 확률 ( $p_e$ ) 의 제약이 덜하며, $\delta \neq 0, 1$ 인 한 임의의 작은 예측 불가능성에서도 추출이 가능합니다.
- 내구성: 잡음 (noise) 에 대한 내성이 다른 양자 암호 원시물 (예: B92 QKD) 에 비해 상대적으로 높게 나타났습니다.

4. 기여 및 의의 (Contributions and Significance)

이론적 확장: 장치 독립 (DI) 설정에서만 가능했던 결정론적 추출 기법을, 더 실용적이고 실험적으로 달성 가능한 준비 - 측정 (PM) 및 준-장치 독립 (Semi-DI) 설정으로 성공적으로 확장했습니다.
새로운 안전성 기준: 벨 부등식 대신 상태 중첩 오버랩과 쌍대 SDP 해를 기반으로 한 새로운 안전성 증명을 제시했습니다.
실용적 가능성:
- 낮은 라운드 수: 소수의 라운드 (약 7,000 회) 만으로도 안전한 난수 생성이 가능하여, 실시간 응용 및 저비용 하드웨어 구현에 유리합니다.
- 시드 불필요 (Seedless): 시드 (완벽한 난수) 가 필요 없는 결정론적 추출 방식을 제공하므로, 초기 시드 생성의 부담을 제거합니다.
한계 및 전망:
- 현재 제안된 시드 없는 (seedless) 프로토콜의 키율은 시드가 있는 추출기 (seeded extraction) 에 비해 낮습니다.
- 향후 산업적 적용을 위해서는 프로토콜의 효율성 (키율) 을 크게 개선해야 하지만, 부분적 신뢰 모델에서의 결정론적 추출 가능성은 중요한 이정표입니다.

결론

이 논문은 양자 난수 생성 분야에서 결정론적 추출의 적용 범위를 넓혔습니다. 특히, 완전한 장치 독립성을 요구하지 않고도 (부분적 신뢰 하에) 안전하고 효율적인 난수 생성이 가능함을 이론적으로 증명하고 시뮬레이션을 통해 검증함으로써, 향후 상용 QRNG 개발에 중요한 이론적 토대를 마련했습니다.