Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
The authors establish a framework for zero-knowledge proofs across multiparty quantum networks by exploiting quantum state indistinguishability under operational physical constraints. Addressing the reliance of classical ZKPs on computational hardness assumptions and bipartite topologies, this work extends verification guarantees to complex network architectures. The resulting protocols achieve information-theoretic security against arbitrary colluding subsets of verifiers regardless of their joint computational resources.
Unconditional zero-knowledge verification across distributed networks is achievable without computational hardness assumptions, enforced purely by the physical indistinguishability of quantum states under local operations.
Zero-knowledge proofs (ZKPs) enable the verification of a statement without revealing any information beyond its validity and constitute a fundamental primitive in cryptography and information theory. However, existing constructions rely on computational assumptions and are predominantly confined to bipartite settings, leaving their information-theoretic realization in bipartite or network scenarios largely unexplored. Here we develop a framework for zero-knowledge verification based on the indistinguishability of quantum states under operational constraints. Exploiting the fundamental limitations imposed by local operations, we show that a verifier is inherently restricted from extracting information about the underlying state while retaining the ability to verify correctness. We construct explicit protocols for multiparty quantum networks that achieve information-theoretic security, ensuring that no subset of collaborating parties can gain knowledge beyond the validity of the statement, independent of their joint computational power.