Quantum Statistical Witness Indistinguishability

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Nassar, Shafik, Ramachandran, Ronak
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_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