Key points are not available for this paper at this time.
우리는 IID 집합 공격에 대한 Renner 프레임워크에서 가변 길이 QKD에 대한 보안 증명을 제시합니다. 우리의 증명은 포스트 선택 기법을 사용하여 일관된 공격으로 확장될 수 있습니다. 우리의 첫 번째 주요 결과는 특정 조건을 만족하는 고정 길이 프로토콜에 대한 보안 증명의 연속성을 가변 길이 프로토콜에 대한 보안 증명으로 변환하는 정리입니다. 이 변환은 새로운 계산이 필요하지 않으며, 최종 키 길이 또는 오류 수정 정보의 양을 변경할 필요가 없고 최대 두 배로 보안 매개변수가 증가합니다. 우리의 두 번째 주요 결과는 사용자가 QKD 프로토콜을 실행하기 전에 연결된 채널의 정직한 행동을 특성화할 필요가 없는 보다 일반적인 가변 길이 QKD 프로토콜의 설명과 보안 증명입니다. 대신 이 프로토콜은 프로토콜 중에 이루어진 관찰을 바탕으로 최종 키의 길이와 오류 수정을 위해 사용할 정보의 양을 적응적으로 결정합니다. 우리는 이러한 결과를 큐빗 BB84 프로토콜에 적용하고 가변 길이 구현이 고정 길이 구현보다 높은 예상 키 비율로 이어진다는 것을 보여줍니다.
Tupkary et al. (Mon,)은 이 질문을 연구했습니다.