Article Dans Une Revue ACM Transactions on Quantum Computing Année : 2025

Non-Interactive and Non-Destructive Zero-Knowledge Proofs on Quantum States and Multi-Party Generation of Authorized Hidden GHZ States

Résumé

We propose the first generalization of the famous Non-Interactive Zero-Knowledge (NIZK) proofs to quantum languages (NIZKoQS) and we provide a protocol to prove advanced properties on a received quantum state non-destructively and non-interactively (a single message being sent from the prover to the verifier).In our second orthogonal contribution, we improve the costly Remote State Preparation protocols [Cojocaru et al. 2019; Gheorghiu and Vidick 2019] that can classically fake a quantum channel (this is at the heart of our NIZKoQS protocol) by showing how to create a multi-qubit state from a single superposition.Finally, we generalize these results to a multi-party setting and prove that multiple parties can anonymously distribute a GHZ state in such a way that only participants knowing a secret credential can share this state, which could have applications to quantum anonymous transmission, quantum secret sharing, quantum onion routing and more.

Dates et versions

hal-03452711 , version 1 (27-11-2021)

Identifiants

Citer

Léo Colisson, Frédéric Grosshans, Elham Kashefi. Non-Interactive and Non-Destructive Zero-Knowledge Proofs on Quantum States and Multi-Party Generation of Authorized Hidden GHZ States. ACM Transactions on Quantum Computing, 2025, 6 (2), pp.1-56. ⟨10.1145/3721487⟩. ⟨hal-03452711⟩
214 Consultations
0 Téléchargements

Altmetric

Partager

  • More