Device-independent quantum key distribution (DI-QKD) offers the strongest form of security against eavesdroppers bounded by the laws of quantum mechanics. However, a practical implementation is still pending due to the requirement of combinations of visibility and detection efficiency that are beyond those possible with current technology. This mismatch motivates the search for DI-QKD protocols that can close the gap between theoretical and practical security. In this work, we present two DI-QKD protocols whose security relies on Bell inequalities with more than two inputs and two outputs. We show that, for maximally entangled states and perfect visibility, a protocol based on a Bell inequality with three inputs and four outputs requires a slightly lower detection efficiency than the protocols based on Bell inequalities with two inputs and two outputs.
Device-independent quantum key distribution (DI-QKD) offers the strongest form of security against eavesdroppers bounded by the laws of quantum mechanics. However, a practical implementation is still pending due to the requirement of combinations of visibility and detection efficiency that are beyond those possible with current technology. This mismatch motivates the search for DI-QKD protocols that can close the gap between theoretical and practical security. In this work, we present two DI-QKD protocols whose security relies on Bell inequalities with more than two inputs and two outputs. We show that, for maximally entangled states and perfect visibility, a protocol based on a Bell inequality with three inputs and four outputs requires a slightly lower detection efficiency than the protocols based on Bell inequalities with two inputs and two outputs.
Abstract Device-independent quantum key distribution (DI-QKD) provides the gold standard for secure key exchange. Not only does it allow for information-theoretic security based on quantum mechanics, but it also relaxes the need to physically model the devices, thereby fundamentally ruling out many quantum hacking threats to which non-DI QKD systems are vulnerable. In practice though, DI-QKD is very challenging. It relies on the loophole-free violation of a Bell inequality, a task that requires high quality entanglement to be distributed between distant parties and close to perfect quantum measurements, which is hardly achievable with current technology. Notwithstanding, recent theoretical and experimental efforts have led to proof-of-principle DI-QKD implementations. In this article, we review the state-of-the-art of DI-QKD by highlighting its main theoretical and experimental achievements, discussing recent proof-of-principle demonstrations, and emphasizing the existing challenges in the field.
The concept of the Device-Independent Quantum Key Distribution (DI-QKD) constitutes the minimalist paradigm for quantum cryptography, in which the security of the distributed secret key is fully assured by the statistical properties of the data being shared between the parties that perform a quantum-based protocol. In particular, the secrecy of the distributed key is ultimately guaranteed not only thanks to the quantum nature of the underlying scheme, but also without making any assumptions about the operation of the devices being employed. Such a conservative approach is possible thanks to the non-local correlations exhibited within the shared data, i.e., the correlations of genuine quantum origin that, due to violation of a particular Bell inequality, cannot be explained by any form of common randomness pre-available to the parties. Such violation, however, must be revealed without performing any post-selection on the data, what would then open the so-called detection loophole and jeopardize the security of the protocol. In spite of the tremendous advances recently made to achieve higher detection efficiencies in Bell-violation experiments, DI-QKD remains a very experimentally difficult task due to the exponential increase of loss in the channel, e.g., implemented with optical fibres, with the distance separating the parties involved. Here, we describe a new and plausible solution to overcome the crucial problem of channel loss in the frame of DI-QKD optical implementations. In particular, we propose a novel protocol inspired by the entanglement swapping schemes, which by the usage of the state-of-the-art (e.g., quantum-dot-based or heralded) single-photon sources has potential, for the first time, to be implementable with current photonic and linear optics technologies. While allowing for any transmission losses that only decrease the rate of the key distribution without creating vulnerability, it tolerates overall detection efficiency at the 90% level even when requiring strict device-independence. We compare our scheme against protocols that involve sources based on spontaneous parametric down-conversion (SPDC), in order to explicitly show and explain why such SPDC-based proposals—even when enhanced by the entanglement swapping or qubit amplification techniques—are then largely outperformed when physical imperfections are rigorously taken into account.
Multipartite device-independent quantum key distribution (DI-QKD), also known as device-independent conference key agreement, enables more than two remote parties to share a common key with information-theoretic security even without trusting the devices. So far, several multipartite DI-QKD protocols have been proposed where Greenberger-Horne-Zeilinger (GHZ) states are used as multipartite entanglement. A natural question is then whether one can construct multipartite DI-QKD with the other type of multipartite entanglement. W state is of particular interest since it is intrinsically different from GHZ state and in some cases, easier to optically implement. In this paper, we show that multipartite DI-QKD is possible with W states. To this end, we construct Bell inequalities largely violated by W states, which can be used for the multipartite DI-QKD. Furthermore, we consider several different implementation scenarios. First, we analyze the minimum required detection efficiencies to extract finite amount of keys. Then we propose a long-distance multipartite DI-QKD protocol with single-photon interference and make detailed analyses with several physical implementation scenarios. We show that the protocol enables secret key distribution over longer distances than the existing multipartite DI-QKD protocols based on GHZ states. This study provides new insight about the relationship between multipartite entanglement and device-independent quantum information processing as well as opens an alternative path toward long-distance multipartite DI-QKD.
Abstract We present a generic study on the information-theoretic security of multi-setting device-independent quantum key distribution (DIQKD) protocols, i.e. ones that involve more than two measurements (or inputs) for each party to perform, and yield dichotomic results (or outputs). The approach we develop, when applied in protocols with either symmetric or asymmetric Bell experiments, yields nontrivial upper bounds on the secure key rates, along with the detection efficiencies required upon the measuring devices. The results imply that increasing the number of measurements may lower the detection efficiency required by the security criterion. The improvement, however, depends on (i) the choice of multi-setting Bell inequalities chosen to be tested in a protocol, and (ii) either a symmetric or asymmetric Bell experiment is considered. Our results serve as an advance toward the quest for evaluating security and reducing efficiency requirement of applying DIQKD in scenarios without heralding.
Abstract Device-independent quantum key distribution (DIQKD) provides the strongest form of secure key exchange, using only the input–output statistics of the devices to achieve information-theoretic security. Although the basic security principles of DIQKD are now well understood, it remains a technical challenge to derive reliable and robust security bounds for advanced DIQKD protocols that go beyond the previous results based on violations of the CHSH inequality. In this work, we present a framework based on semidefinite programming that gives reliable lower bounds on the asymptotic secret key rate of any QKD protocol using untrusted devices. In particular, our method can in principle be utilized to find achievable secret key rates for any DIQKD protocol, based on the full input–output probability distribution or any choice of Bell inequality. Our method also extends to other DI cryptographic tasks.
Abstract Quantum key distribution (QKD) is a technique enabling provable secure communication but faces challenges in device characterisation, posing potential security risks. Device-independent (DI) QKD protocols overcome this issue by making minimal device assumptions but are limited in distance because they require high detection efficiencies, which refer to the ability of the experimental setup to detect quantum states. It is thus desirable to find QKD protocols that are based on realistic assumptions on the devices as well as implementable over long distances. In this work, we consider a one-sided DI QKD scheme with two measurements per party and show that it is secure against coherent attacks up to detection efficiencies greater than 50.1% specifically on the untrusted side. This is almost the theoretical limit achievable for protocols with two untrusted measurements. Interestingly, we also show that, by placing the source of states close to the untrusted side, our protocol is secure over distances comparable to standard QKD protocols.