Quantum Statistical Witness Indistinguishability

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Nassar, Shafik, Ramachandran, Ronak
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866909765849841664
author Nassar, Shafik
Ramachandran, Ronak
author_facet Nassar, Shafik
Ramachandran, Ronak
contents Statistical witness indistinguishability is a relaxation of statistical zero-knowledge which guarantees that the transcript of an interactive proof reveals no information about which valid witness the prover used to generate it. In this paper we define and initiate the study of QSWI, the class of problems with quantum statistically witness indistinguishable proofs. Using inherently quantum techniques from Kobayashi (TCC 2008), we prove that any problem with an honest-verifier quantum statistically witness indistinguishable proof has a 3-message public-coin malicious-verifier quantum statistically witness indistinguishable proof. There is no known analogue of this result for classical statistical witness indistinguishability. As a corollary, our result implies SWI is contained in QSWI. Additionally, we extend the work of Bitansky et al. (STOC 2023) to show that quantum batch proofs imply quantum statistically witness indistinguishable proofs with inverse-polynomial witness indistinguishability error.
format Preprint
id arxiv_https___arxiv_org_abs_2509_01945
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Quantum Statistical Witness Indistinguishability
Nassar, Shafik
Ramachandran, Ronak
Quantum Physics
Computational Complexity
Cryptography and Security
Statistical witness indistinguishability is a relaxation of statistical zero-knowledge which guarantees that the transcript of an interactive proof reveals no information about which valid witness the prover used to generate it. In this paper we define and initiate the study of QSWI, the class of problems with quantum statistically witness indistinguishable proofs. Using inherently quantum techniques from Kobayashi (TCC 2008), we prove that any problem with an honest-verifier quantum statistically witness indistinguishable proof has a 3-message public-coin malicious-verifier quantum statistically witness indistinguishable proof. There is no known analogue of this result for classical statistical witness indistinguishability. As a corollary, our result implies SWI is contained in QSWI. Additionally, we extend the work of Bitansky et al. (STOC 2023) to show that quantum batch proofs imply quantum statistically witness indistinguishable proofs with inverse-polynomial witness indistinguishability error.
title Quantum Statistical Witness Indistinguishability
topic Quantum Physics
Computational Complexity
Cryptography and Security
url https://arxiv.org/abs/2509.01945