Related Experiment Video
Updated: Jul 31, 2026

09:23
Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators
Published on: May 30, 2014
Simple proof of security of the BB84 quantum key distribution protocol
Physical Review Letters
|September 16, 2000
Summary
We prove the 1984 Bennett and Brassard (BB84) quantum key distribution protocol is secure. This is achieved by first demonstrating a secure entanglement purification protocol, which then implies the security of BB84.
Area of Science:
- Quantum Information Science
- Cryptography
- Quantum Computing Security
Background:
- The Bennett and Brassard (BB84) protocol is a foundational quantum key distribution (QKD) method.
- Proving the security of QKD protocols against all possible attacks is crucial for practical implementation.
Purpose of the Study:
- To rigorously prove the security of the BB84 protocol.
- To establish a new QKD protocol based on entanglement purification that leverages advanced coding techniques.
Main Methods:
- Development of an entanglement purification protocol for quantum key distribution.
- Application of Calderbank-Shor-Steane (CSS) codes to simplify and secure the protocol.
- Utilizing security proof methodologies from Lo and Chau.
Main Results:
- Demonstration of a secure entanglement purification based QKD protocol.
- Proof that the security of the new protocol directly implies the security of the BB84 protocol.
- Elimination of the need for quantum computation in the security proof by using CSS code properties.
Conclusions:
- The BB84 quantum key distribution protocol is proven secure.
- Entanglement purification offers a viable and secure approach to QKD.
- The use of CSS codes enhances the security and practicality of quantum cryptographic protocols.
Related Concept Videos
Norton's Theorem
Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the one depicted in...
BIBO stability of continuous and discrete -time systems
System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system.
Net Change Theorem
The Net Change Theorem is a fundamental principle in calculus that establishes a direct relationship between a function’s rate of change and its accumulated change over an interval. Mathematically, it states that the definite integral of a function's derivative over a given interval [a,b] yields the net change in the original function:This theorem has significant applications in various real-world scenarios, including physics, economics, and engineering. A particularly useful application is in...
Fundamental Theorem of Algebra
The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as: with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the Complete Factorization...
Green’s Theorem
Green’s Theorem establishes a relationship between a line integral around a closed plane curve and a double integral over the region enclosed by that curve. It applies to a vector field F(x, y) = 〈P(x, y), Q(x, y)〉, where P and Q have continuous first partial derivatives on an open set containing the region.Let C be a positively oriented, simple, closed, piecewise smooth curve, and let R be the plane region bounded by C. Green’s Theorem states that\begin{equation*}\oint_C P\,dx+Q\,dy =\iint_R...
Extended Versions of Green’s Theorem
Green’s Theorem connects the circulation of a vector field around a closed curve with the behavior of the field across the region enclosed by that curve. It provides a way to replace a line integral around a boundary with a double integral over the interior region, making it especially useful in plane geometry, fluid flow, and vector calculus.Although Green’s Theorem is often introduced using simple regions without gaps, it can also be applied to regions made from several simple parts. This...

