RESUMEN
Zero-knowledge proof (ZKP) is a fundamental cryptographic primitive that allows a prover to convince a verifier of the validity of a statement without leaking any further information. As an efficient variant of ZKP, noninteractive zero-knowledge proof (NIZKP) adopting the Fiat-Shamir heuristic is essential to a wide spectrum of applications, such as federated learning, blockchain, and social networks. However, the heuristic is typically built upon the random oracle model that makes ideal assumptions about hash functions, which does not hold in reality and thus undermines the security of the protocol. Here, we present a quantum solution to the problem. Instead of resorting to a random oracle model, we implement a quantum randomness service. This service generates random numbers certified by the loophole-free Bell test and delivers them with postquantum cryptography (PQC) authentication. By employing this service, we conceive and implement NIZKP of the three-coloring problem. By bridging together three prominent research themes, quantum nonlocality, PQC, and ZKP, we anticipate this work to inspire more innovative applications that combine quantum information science and the cryptography field.
RESUMEN
Bell's theorem states that the quantum mechanical description of physical quantities cannot be fully explained by local realistic theories, laying a solid basis for various quantum information applications. Hardy's paradox is celebrated as the simplest form of Bell's theorem concerning its "All versus Nothing" approach to test local realism. However, due to experimental imperfections, existing tests of Hardy's paradox require additional assumptions of the experimental systems, and these assumptions constitute potential loopholes for faithfully testing local realistic theories. Here, we experimentally demonstrate Hardy's nonlocality through a photonic entanglement source. By achieving a detection efficiency of 82.2%, a quantum state fidelity of 99.10%, and applying high-speed quantum random number generators for the measurement setting switching, the experiment is implemented in a loophole-free manner. During 6 h of running, a strong violation of P_{Hardy}=4.646×10^{-4} up to 5 standard deviations is observed with 4.32×10^{9} trials. A null hypothesis test shows that the results can be explained by local realistic theories with an upper bound probability of 10^{-16348}. These testing results provide affirmative evidence against local realism, and establish an advancing benchmark for quantum information applications based on Hardy's paradox.