.png){kind=icon}
Return
Device-independent quantum randomness-enhanced zero-knowledge proof
.png){kind=icon}
OA
AI
DOI：10.1073/pnas.2205463120.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
device-independent quantum cryptography
Bell nonlocality
zero-knowledge proof
postquantum cryptography
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
P
IF:
9.1
Papers:
10.8W
Citations:
73.5W
Organization
Cited Papers
ShareSaveFluid semantics for passive stochastic process algebra cooperation.png)
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
OAAI
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and ToolsIF0
OAAIShareSaveShareSaveShareSaveShareSave
View more