{"id":"arxiv/2609.39495","url":"https://arxiv.org/abs/2609.39495","tags":["quant-ph","cs.CC","cs.CR"],"score":0,"title":"On quantum interactive proofs with a laconic prover","domain":"quant-ph","source":"arxiv","authors":["Zihan Hu","Yupan Liu"],"reviews":0,"subject":"quant-ph","summary":"Interactive proof systems with a laconic prover, studied by Goldreich, Vadhan, and Wigderson (CC, 2002), capture problems verifiable with logarithmic prover communication in the classical setting. For two-message quantum analogs, even a single-bit prover response contains quantum statistical zero-knowledge ($\\sf QSZK$), introduced by Watrous (FOCS 2002). However, restricting the verifier's question to classical public coins collapses the corresponding class to $\\sf BQP$, as shown by Beigi, Shor, and Watrous (ToC, 2011). We further study two-message quantum interactive proof systems with a…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}