Multi-Path Quantum Key Distribution Transport: A Four-Order Mathematical Framework with Provable Zero-Interruption Under Stated Provisioning Conditions

기술 요약: 다중 경로 양자 키 분배(QKD) 전송

문제 정의
베이징-상하이 백본 및 도쿄 QKD 테스트베드와 같은 현재의 메트로폴리탄 양자 키 분배(QKD) 네트워크는 실험적 링크에서 사용 가능한 네트워크 서비스로 전환하는 것을 가로막는 세 가지 구조적 병목 현상에 직면해 있다:

1. 단일 경로 속도 비대칭성: 개별 QKD 링크는 고전적 처리량 요구량보다 수십 배 낮은 속도로 키를 생성한다. 엄격한 경로별 보안 처리를 거치지 않고 여러 경로에서 원시 키를 집계하는 것은 정보 이론적 누설을 초0히 유발한다.
2. 대기 키 풀(Standby Key Pool)의 취약성: 기존 네트워크는 변동성을 흡수하기 위해 대기 키 풀에 의존하며, 이는 정적 키 탈취의 비제로 확률을 도입하고 순방향 비밀성(forward secrecy)을 깨뜨린다.
3. 신뢰할 수 있는 중계기(Trusted Relays)와의 불호환성: 표준 전송 프로토콜(예: TCP/IP, MPTCP)은 약 100km의 광섬유 한계를 넘어 범위를 확장하는 신뢰 중계 기반 QKD 토폴로지에 필요한 홉 단위(hop-by-hop) 키 관리에 구조적으로 부적합하다.

방법론: 4단계 수학적 프레임워크
본 논문은 점진적인 4단계 수학적 프레임워크를 기반으로 구축된 다중 경로 QKD 네트워크를 위한 완전한 전송 계층을 제안한다. 이 프레임워크는 물리 계층 메커니즘, 전송 계층 프로토콜, 그리고 엄격한 이론적 증명을 통합한다.

• Layer 0 (물리 계층): $K$개의 독립적인 광섬유 경로에 대해 데코이 상태(decoy states)를 포함한 BB84를 활용한다. 혁신 사항으로는 핫 풀(hot-pool) 수준에 기반한 WDM 3모드 제어(Power/Normal/Throttling), DoS 완화를 위한 다중 주소 풀 회전(16개 주소), 그리고 가로채기-재전송(intercept-resend) 공격을 식별하기 위한 지연 베이스라인 변조 탐지가 포함된다.
• Layer 1 (전송 계층): "핫 풀(Hot Pool, 실시간)"과 "콜드 풀(Cold Pool, OPES)"을 통해 키 인벤토리를 관리한다. 동적 $\alpha$ 하이브리드 암호화(양자 OTP와 Post-Quantum Kyber-768의 혼합)를 채택하고, 키 자원을 절약하기 위한 SegmentGroup 기반 선택적 재전송 및 2D 데이터 전송을 위한 행렬 기반 전송을 사용한다.
• Layer 2 (수학적 프레임워크): 네 가지 정리를 구성하는 핵심 이론 엔진이다.
  1. 정리 1 (디커플링): 젠슨의 부등식(Jensen's inequality)을 통해, 독립적인 경로별 보안 처리가 원시 키의 물리적 결합보다 엄격하게 더 안전한 키($K_{indep} \ge K_{concat}$)를 생성함을 증명한다.
  2. 정리 2 (할당): 최적의 트래픽 할당($w^*_i \propto 1/\lambda_i$)을 위한 폐쇄형 "그림자 가격(shadow-price)" 해를 도출하며, 한계 키 소비 비용에 따라 트래픽을 동적으로 라우팅한다.
  3. 정리 3 & 3' (버퍼 차원 결정): 대편차 원리(Large Deviation Principles, LDP)를 사용하여 얇은 꼬리(thin-tailed) 수요에 대한 최소 핫-버퍼 용량을 계산한다. 정리 3'은 이를 서브 엑스포넨셜(subexponential) 헤비 테일(Pareto) 수요로 확장하여, 표준 LDP가 실패하는 점근적 경계를 제공한다.
  4. 정리 4 (무중단): 물리적 공리(쓰기 1회, 읽기 1회, 단방향 흐름)를 가진 일회성 삭제 가능 저장(One-Pass Erasable Storage, OPES)을 정의한다. 특정 프로비저닝 조건 하에서 서비스 중단 확률이 동일하게 0($P_{interruption} = 0$)임을 증명한다.
• Layer 3 (응용 계층): 애플리케이션이 순수 양자 보안과 양자 내성 컴퓨팅 효율성 사이의 균형을 맞추기 위해 $\alpha$ 파라미터를 통해 암호화 강도를 선택할 수 있도록 한다.

주요 기여

1. 최초의 완전한 전송 계층: 본 논문은 물리적 키 생성과 응용 계층 서비스 사이의 간극을 해결하는, 다중 경로 QKD 네트워크를 위해 특별히 설계된 최초의 전송 계층을 제시한다.
2. 증명 가능한 무중단(Zero-Interruption): OPES 콜드 풀과 정리 4를 통해, 본 프레임워크는 서비스 중단을 확률적 지표(예: 99.999%)에서 물리적 확실성으로 변환하여 결정론적인 무중단 보장을 제공한다.
3. 결합 가능한 보안 체인: 저자들은 Shor–Preskill 축소, 다중 경로 결합, 그리고 하이브리드 암호화를 체이닝하여 최종 엔드 투 엔드 보안 경계 $\epsilon_{total} \le 10^{-8}$을 달하는 공식 보안 정리를 확립한다.
4. 정보 이론적 순방향 비밀성: OPES의 "읽기 1회(read-once)" 공리는 하드웨어적 난해성 가정에 의존하는 계산적 순방향 비밀성보다 강력한 물리적 순방향 비밀성($I(K_{pre}; O_{post}) = 0$)을 제공한다.
5. 심층 방어(Defense-in-Depth) 아키텍처: 4단계 방어 체인(주소 회전, 행렬 복구, 지연 탐지, OPES)을 공식화하여, 결합된 우회 확률이 단일 계층 방어보다 수십 배 낮음을 보여준다.

결과
본 프레임워크는 $K=4$ 경로, 3-홉 토폴로지 상에서 14,400초(네 개의 3,600초 시나리오: 베이스라인, DoS 재밍, 지연 가로채기-재전송, 결합 공격) 동안의 이산 사건 시뮬레이션을 통해 검증되었다.

• 중단율: 모든 시나리오에서 서비스 중단이 0으로 관찰되었다.
• 버퍼 역학: 핫 풀은 용량의 $\ge 10.2\%$ 이상의 최소 수준을 유지했다. OPES 콜드 풀 활용도는 낮게 유지되었으며(3,600초 동안 0.65%), 이는 프로비저닝 모델의 효율성을 확인시켜 준다.
• 공격 탄력성:
  • DoS 타격률은 이론적 $1/N$ 경계(N=16일 때 6.25%)와 일치했다.
  • 지연 기반 변조 탐지는 오탐 없이 100% 민감도를 달달성했다.
  • 하이브리드 암호화 방식은 서비스 저하 없이 키 공급 변동에 성공적으로 적응했다.
• 확장성: 처리량은 경로의 수($K=1 \to 16$)에 따라 거의 선형적으로 확장되어, 실시간 AES-256 키 갱신에 충분한 ~150 kbps에 도달했다.

의의
본 논문은 다중 경로 QKD를 위한 최초의 수학적으로 엄격한 전송 계층을 제공함으로써, 분야의 패러다임을 "QKD 링크가 존재한다"에서 "QKD는 사용 가능한 네트워크 서비스이다"로 전환한다고 주장한다. 물리적 공리(OPES)와 네트워크 성능(무중단) 사이의 증명 가능한 연결을 확립함으로써, 본 연구는 기존 메트로폴리탄 광섬유 인프라 위에 견고한 다중 홉 QKD 네트워크를 배치하기 위한 청사진을 제공한다. 이 프레임워크는 특정 가정(A1–A4)을 충족하는 모든 QKD 프로토콜과 호환되도록 설계되었으며, 대량 트래픽에는 PQC를 활용하면서 핵심 데이터 세그먼트에는 정보 이론적 보안을 제공하는 PQC의 보완적 접근 방식으로 기능한다.