[논문 리뷰] Generalised entropy accumulation

Tony Metger, Omar Fawzi외 2명|arXiv (Cornell University)|2022. 03. 09.

Physical Unclonable Functions (PUFs) and Hardware Security인용 수 5

한 줄 요약

이 논문은 측정된 측면 정보 모델의 더 넓은 범주로 확장된 엔트로피 축적 정리(일반화된 EAT)를 소개한다. 이는 동적으로 업데이트되는 측면 정보를 허용하며, 원래 EAT에서 요구하는 마르코프 조건을 완화함으로써 양자 암호에서 더 날카롭고 광범위하게 적용 가능한 보안 증명을 가능하게 한다. 이는 일반적인 적대자에 대한 블라인드 랜덤성 확장의 첫 보안 증명을 가능하게 한다.

ABSTRACT

Consider a sequential process in which each step outputs a system $A_i$ and updates a side information register $E$. We prove that if this process satisfies a natural "non-signalling" condition between past outputs and future side information, the min-entropy of the outputs $A_1, \dots, A_n$ conditioned on the side information $E$ at the end of the process can be bounded from below by a sum of von Neumann entropies associated with the individual steps. This is a generalisation of the entropy accumulation theorem (EAT), which deals with a more restrictive model of side information: there, past side information cannot be updated in subsequent rounds, and newly generated side information has to satisfy a Markov condition. Due to its more general model of side-information, our generalised EAT can be applied more easily and to a broader range of cryptographic protocols. As examples, we give the first multi-round security proof for blind randomness expansion and a simplified analysis of the E91 QKD protocol. The proof of our generalised EAT relies on a new variant of Uhlmann's theorem and new chain rules for the Renyi divergence and entropy, which might be of independent interest.

연구 동기 및 목표

• 측면 정보가 라운드 간에 업데이트될 수 있는 양자 프로토콜에서 최소 엔트로피를 근사화하기 위한 더 일반적인 프레임워크를 개발하는 것.
• 측면 정보에 대해 제한적인 마르코프 조건을 요구하는 원래 엔트로피 축적 정리(EAT)의 한계를 극복하는 것.
• 예를 들어 블라인드 랜덤성 확장과 같은 신뢰할 수 없는 장치 독립적 양자 암호 프로토콜에 대한 보안 증명을 가능하게 하는 것.
• E91 유형의 양자 키 분배와 같은 더 넓은 범위의 양자 암호 프로토콜에 적용 가능한 도구를 제공하는 것.
• 순차적 엔트로피 축적에서 마르코프 조건의 자연스러운 대체로 비신호 조건을 설정하는 것.

제안 방법

• 일반화된 EAT는 각 라운드에서 시스템 $A_i$를 출력하고 측면 정보 레지스터 $E$를 업데이트하는 순차적 양자 과정을 모델링하며, 과거 출력과 미래 측면 정보 사이에 비신호 조건이 존재한다.
• 완전한 출력 시퀀스 $A_1^n$의 부드러운 최소 엔트로피 $H_{ extnormal{min}}^{ar{ε}}(A_1^n|E_n)$가 개별 라운드의 볼츠만 엔트로피 합으로 아래에서 유계임을 증명한다.
• 비신호 조건이 원래 EAT의 마르코프 조건을 대체하여 측면 정보를 라운드 간에 업데이트하고 재사용할 수 있도록 한다.
• 레니 엔트로피의 체인 규칙을 강화하기 위해 레니 분산과 스펙트럴 핑거 기법을 사용한다.
• 최소 무역함수는 엔트로피 불확실성 관계를 사용하여 구성되며, E91 및 블라인드 랜덤성 확장과 같은 프로토콜에서 최소 엔트로피의 하한을 도출하는 데 도움이 된다.
• 이 프레임워크는 고전적 및 양자 측면 정보에 조건을 붙일 수 있으며, 비신호 조건을 만족시키기 위해 측면 정보 레지스터에 추가되는 시스템 $X^n$ 등을 포함한다.

실험 결과

연구 질문

• RQ1 순차적 양자 프로토콜에서 동적으로 업데이트되는 측면 정보를 허용하기 위해 엔트로피 축적 정리를 일반화할 수 있는가?
• RQ2 원래 EAT의 마르코프 조건을 완화하면서도 날카로운 최소 엔트로피 하한을 유지할 수 있는가?
• RQ3 일반화된 EAT는 블라인드 랜덤성 확장과 같은 신뢰할 수 없는 장치 독립적 프로토콜에 적용될 수 있는가?
• RQ4 비신호 조건은 엔트로피 축적에서 마르코프 측면 정보 구조를 대체하는 데 어떤 역할을 하는가?
• RQ5 일반화된 EAT는 E91과 같은 양자 키 분배 프로토콜에 대해 향상된 보안 증명을 도출할 수 있는가?

주요 결과

• 비신호 조건 하에서 일반화된 EAT는 부드러운 최소 엔트로피 $H_{ extnormal{min}}^{ar{ε}}(A^n|E_n)$가 개별 라운드의 볼츠만 엔트로피 합 $H(A_i|E_i)$로 아래에서 유계임을 확립한다.
• 이 정리는 일반적인 적대자에 대한 블라인드 랜덤성 확장의 첫 보안 증명을 가능하게 하며, 이는 원래 EAT의 범위를 벗어난 프로토콜이었다.
• 원래 EAT에서 마르코프 조건을 만족시키기 위해 보조 시스템 $\bar{A}_i$를 추가할 필요가 없어지며, 이로 인해 보안 경계에서 엔트로피 페널티 항이 감소한다.
• 이 방법은 측면 정보를 라운드 간에 업데이트할 수 있도록 하며, 양자 시스템 $Q_i^n\bar{Q}_i^n$과 고전적 데이터 $X_i$를 포함하여 측면 정보 레지스터 $E_i$에 통합할 수 있다.
• 엔트로피 불확실성 관계에서 유도된 최소 무역함수를 사용할 수 있어, E91 QKD와 같은 프로토콜에서 구체적인 하한을 도출할 수 있다.
• 측면 정보에 대해 독립적 동일분포(i.i.d.) 또는 마르코프 조건을 요구하지 않기 때문에, 일반화된 EAT는 더 날카롭고 더 영리한 보안 경계를 달성한다.