Device-Independent Quantum Key Distribution: Protocols, Quantum Games, and Security

TL;DR

This paper reviews the principles, protocols, security proofs, experimental progress, and future challenges of Device-Independent Quantum Key Distribution, which offers secure communication without trusting device internals, based on Bell inequality violations.

Contribution

It provides a comprehensive overview of DIQKD protocols, security analyses, experimental implementations, and outlines open problems and future research directions.

Findings

Review of foundational principles and security definitions.

Analysis of various DIQKD protocols and their security proofs.

Discussion of recent experimental progress and open challenges.

Abstract

Quantum Key Distribution (QKD) is based on the laws of quantum mechanics to enable provably secure communication. Despite its theoretical security promise, practical QKD systems are vulnerable to serious attacks, including side-channel attacks and detector loopholes, and assumes a trusted device characterization. Device-Independent Quantum Key Distribution (DIQKD) overcomes these limitations by relying solely on observed nonlocal correlations, certified through Bell inequality violations, thereby removing assumptions about the internal workings of the measurement devices. In this paper, we first review the foundational principles underlying DIQKD, including Bell tests and security definitions. We then examine a range of protocol designs, including CHSH-based schemes, and non-local game frameworks, alongside with their security proofs. We also assess recent experimental implementations and discuss source architectures, detection technologies, and finite-key analyses. Finally, we identify current open problems, such as noise tolerance, generation rates, and integration with quantum networks, and outline promising directions for future research to realize robust, high-performance DIQKD.