Device-Independent QKD

Device-Independent QKD

Standard QKD requires trusting your measurement devices. If a manufacturer installs a backdoor in a photon detector, the security proof breaks down. Device-independent QKD (DI-QKD) removes this requirement: security is certified by the observed violation of Bell inequalities, requiring no assumptions about the internal workings of Alice's or Bob's devices.

The CHSH Bell Inequality

Recall the CHSH test from the Bell inequalities lesson earlier in this track: for any two-qubit experiment with local hidden variables (classical physics), S = |E(a,b) − E(a,b') + E(a',b) + E(a',b')| ≤ 2

Where E(x,y) = correlation between Alice measuring in direction x and Bob measuring in direction y.

Quantum mechanics violates this: For the optimal settings with a Bell pair, S = 2√2 ≈ 2.828.

Why this matters for security: If Eve has intercepted and replaced the qubits with classical correlated bits, S ≤ 2 (classical bound). A violation of S > 2 proves genuine entanglement was used, which in turn certifies that no classical hidden variable (including a backdoor in the device) could have predetermined the measurement outcomes.

DI-QKD Protocol Structure

The key insight is that a high CHSH value S certifies not just that the devices are quantum, but specifically that the measurements have sufficient quantum randomness to support key extraction.

2022 Experimental Breakthrough

All three closed both loopholes (detection and locality) for the first time, validating DI-QKD as experimentally feasible. Three simultaneous papers (Oxford, Munich, NIST groups) published in Nature in 2022 demonstrated loophole-free Bell test experiments:

Detection loophole: If detectors miss too many photons, the experimental sample is biased and may not represent the true quantum statistics. Closing this requires high-efficiency detectors (>82.8% for two parties).