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

Abstract

We propose the first generalization of the famous Non-Interactive\nZero-Knowledge (NIZK) proofs to quantum languages (NIZKoQS) and we provide a\nprotocol to prove advanced properties on a received quantum state\nnon-destructively and non-interactively (a single message being sent from the\nprover to the verifier).\n In our second orthogonal contribution, we improve the costly Remote State\nPreparation protocols [CCKW18,CCKW19,GV19] that can classically fake a quantum\nchannel (this is at the heart of our NIZKoQS protocol) by showing how to create\na multi-qubits state from a single superposition.\n Finally, we generalize these results to a multi-party setting and prove that\nmultiple parties can anonymously distribute a GHZ state in such a way that only\nparticipants knowing a secret credential can share this state, which could have\napplications to quantum anonymous transmission, quantum secret sharing, quantum\nonion routing and more.\n