[논문 리뷰] Security of quantum key distribution from generalised entropy accumulation

Tony Metger, Renato Renner|arXiv (Cornell University)|2022. 03. 09.

Quantum Information and Cryptography인용 수 3

한 줄 요약

이 논문은 일반 공격에 대한 유한 크기 보안을 입증하기 위한 일반적 프레임워크를 제안한다. 이는 문제를 집합적 공격에 대한 보안 분석으로 환원함으로써 준비-측정 양자 키 분배(QKD) 프로토콜에 대한 일반적 공격에 대한 보안을 입증하는 데 기반한다. 일반화된 엔트로피 춴적 정리(GEAT)를 사용하여, 양자 상태를 양자 얽힘 기반 등가물로 변환하지 않고도 프로토콜을 직접 분석할 수 있게 하며, 차원에 영향을 받지 않는 보안 한계를 도출한다. 이는 B92 및 드레프-상태 BB84 프로토콜에 대해 검증되었으며, 점점 무한한 라운드 수로 갈수록 최적의 키율에 수렴한다.

ABSTRACT

The goal of quantum key distribution (QKD) is to establish a secure key between two parties connected by an insecure quantum channel. To use a QKD protocol in practice, one has to prove that a finite size key is secure against general attacks: no matter the adversary's attack, they cannot gain useful information about the key. A much simpler task is to prove security against collective attacks, where the adversary is assumed to behave identically and independently in each round. In this work, we provide a formal framework for general QKD protocols and show that for any protocol that can be expressed in this framework, security against general attacks reduces to security against collective attacks, which in turn reduces to a numerical computation. Our proof relies on a recently developed information-theoretic tool called generalised entropy accumulation and can handle generic prepare-and-measure protocols directly without switching to an entanglement-based version.

연구 동기 및 목표

• 일반(일관성 있는) 공격에 대한 QKD 프로토콜의 유한 크기 보안을 입증하기 위한 일반적 방법을 수립하는 것.
• 일반 공격 보안 증명의 복잡성을 집합적 공격 분석으로 줄이는 것. 이는 수치적으로 다룰 수 있는 문제로 간주된다.
• 양자 얽힘 기반 등가물로 변환하지 않고도 준비-측정 프로토콜에 대한 직접 보안 분석을 가능하게 하는 것.
• 보안 한계가 양자 상태의 힐베르트 공간 차원에 의존하지 않고 고전적 출력 수에만 의존하는, 차원에 영향을 받지 않는 보안 한계를 제공하는 것.
• B92 및 드레프-상태 BB84 프로토콜에 대해 이 프레임워크의 효과를 입증함으로써, 유한 크기 보안을 입증하는 것.

제안 방법

• 이 프레임워크는 일반적인 준비-측정 QKD 프로토콜의 구조를 포괄하는 일반적 템플릿 프로토콜(프로토콜 1)에 기반한다.
• 일반화된 엔트로피 춴적 정리(GEAT)를 적용하여, 고전적 정보 및 부가 정보 조건 하에서 원시 키의 최소 엔트로피를 한정한다.
• GEAT를 통해 일반 공격에 대한 보안이 집합적 공격에 대한 보안으로 환원되며, 이는 조건부 최소 엔트로피에 대한 날카로운 하한을 제공한다.
• 집합적 공격에 대한 한계는 볼록 최적화를 통해 계산되며, 이는 임의의 프로토콜 인스턴스에 대해 수치적 평가를 가능하게 한다.
• 이 방법은 힐베르트 공간 차원에 대한 가정 없이도, 기저 선택, 강도 설정, 탐지 결과와 같은 임의의 프로토콜을 지원한다.
• 이 프레임워크는 B92 및 드레프-상태 BB84 프로토콜에 적용되었으며, 집합적 공격 보안에 대한 분석적 및 수치적 한계가 유도되었다.

실험 결과

연구 질문

• RQ1 일반 준비-측정 QKD 프로토콜의 유한 크기 보안이 일반 공격에 대해 집합적 공격 분석으로 환원될 수 있는가?
• RQ2 일반화된 엔트로피 춴적 정리(GEAT)를 사용하여 QKD 프로토콜에 대해 날카로운, 차원에 영향을 받지 않는 보안 한계를 도출할 수 있는가?
• RQ3 이 프레임워크는 양자 얽힘 기반 등가물로 변환하지 않고도 준비-측정 프로토콜에 직접 적용될 수 있는가?
• RQ4 이 프레임워크는 무한한 횟수의 회차에서 최적의 점근적 키율로 수렴하는 키율을 도출하는가?
• RQ5 기존의 집합적 공격에 대한 수치 기법을 이 일반적 프레임워크 내에서 한계 계산에 적응시킬 수 있는가?

주요 결과

• 논문은 이 프레임워크에 속하는 임의의 프로토콜에 대해 일반 공격에 대한 보안이 집합적 공격에 대한 보안으로 환원되며, 이는 수치적으로 해결 가능한 문제임을 입증한다.
• 이 프레임워크는 점점 무한한 라운드 수로 갈수록 최적의 키율로 수렴하는 B92 프로토콜에 대한 첫 번째 유한 크기 보안 증명을 가능하게 한다.
• 드레프-상태 BB84 프로토콜의 경우, 전송 및 실패 확률에 대한 분석적 표현을 통해 집합적 공격에 대한 한계를 도출하였으며, 이는 프로토콜의 관측 가능한 통계와 연결되어 있다.
• 유도된 보안 한계는 기초가 되는 힐베르트 공간의 차원에 영향을 받지 않고, 고전적 출력 유형의 수에만 의존한다. 이는 무한한 포크 공간을 가진 광학적 QKD에 적합하다.
• 이 방법은 집합적 공격 함수에 대한 애핀 하한을 제공하며, 이는 직접적으로 정리 II.4에 적용되어 일반 공격에 대한 유한 크기 보안을 유추하는 데 사용될 수 있다.
• 이 방법은 일반적이며 확장 가능하며, 이론적 기법을 라운드 단위에서 블록 단위로 적용함으로써 애드밴티지 디스틸레이션을 갖는 프로토콜에의 적응이 가능하다.