QKD security proofs for decoy-state BB84: protocol variations, proof techniques, gaps and limitations
Abstract
We review the current status of security proofs for practical decoy-state Quantum Key Distribution using the BB84 protocol, focusing on optical implementations with weak coherent pulses and threshold photodetectors. The primary aim of this review is to highlight gaps in the existing literature. Such gaps may arise, for instance, from mismatches between detailed protocol specifications and proof technique elements, reliance on earlier results based on different assumptions, or protocol choices that overlook real world requirements. While substantial progress has been made, our overview draws attention to the details that still demand careful attention.
Cite
@article{arxiv.2502.10340,
title = {QKD security proofs for decoy-state BB84: protocol variations, proof techniques, gaps and limitations},
author = {Devashish Tupkary and Ernest Y. -Z. Tan and Shlok Nahar and Lars Kamin and Norbert Lütkenhaus},
journal= {arXiv preprint arXiv:2502.10340},
year = {2025}
}
Comments
Added an additional Section 7 on comparison between proof techniques. Modified formatting. Added discussion on hash families and authentication aborts. New references and minor edits. Comments and feedback are strongly encouraged and very welcome