Experimental quantum key distribution certified by Bell's theorem
arXiv:2109.14600 · doi:10.1038/s41586-022-04941-5
Abstract
Cryptographic key exchange protocols traditionally rely on computational conjectures such as the hardness of prime factorisation to provide security against eavesdropping attacks. Remarkably, quantum key distribution protocols like the one proposed by Bennett and Brassard provide information-theoretic security against such attacks, a much stronger form of security unreachable by classical means. However, quantum protocols realised so far are subject to a new class of attacks exploiting implementation defects in the physical devices involved, as demonstrated in numerous ingenious experiments. Following the pioneering work of Ekert proposing the use of entanglement to bound an adversary's information from Bell's theorem, we present here the experimental realisation of a complete quantum key distribution protocol immune to these vulnerabilities. We achieve this by combining theoretical developments on finite-statistics analysis, error correction, and privacy amplification, with an event-ready scheme enabling the rapid generation of high-fidelity entanglement between two trapped-ion qubits connected by an optical fibre link. The secrecy of our key is guaranteed device-independently: it is based on the validity of quantum theory, and certified by measurement statistics observed during the experiment. Our result shows that provably secure cryptography with real-world devices is possible, and paves the way for further quantum information applications based on the device-independence principle.
arXiv comment5+1 pages in main text and methods with 4 figures and 1 table; 42 pages of supplementary material (replaced with revision accepted for publication in Nature; original title: "Device-Independent Quantum Key Distribution")
References in corpus (15)
- Channel polarization: A method for constructing capacity-achieving codes for symmetric binary-input memoryless channels
- Device-independent quantum key distribution secure against collective attacks
- Security in Quantum Cryptography
- Quantum Information Processing with Finite Resources -- Mathematical Foundations
- Spatially Coupled LDPC Codes Constructed from Protographs
- Duality Between Smooth Min- and Max-Entropies
- Diluted maximum-likelihood algorithm for quantum tomography
- Capacity-achieving ensembles for the binary erasure channel with bounded complexity
- Trevisan's extractor in the presence of quantum side information
- Simple and tight device-independent security proofs
- Device-independent randomness expansion against quantum side information
- Key recycling in authentication
- Improved DIQKD protocols with finite-size analysis
- Impossibility of Growing Quantum Bit Commitments
- Explicit combinatorial design
Cited by in corpus (8)
- Experimental device-independent quantum key distribution between distant users
- Entangling single atoms over 33 km telecom fibre
- Entanglement of trapped-ion qubits separated by 230 meters
- Photonic verification of device-independent quantum key distribution against collective attacks
- Propagating Quantum Microwaves: Towards Applications in Communication and Sensing
- Fundamental limitations on the device-independent quantum conference key agreement
- Receiver-Device-Independent Quantum Key Distribution Protocols
- Receiver-Device-Independent Quantum Key Distribution