{"id":"arxiv/2609.38387","url":"https://arxiv.org/abs/2609.38387","tags":["quant-ph","cs.CR"],"score":0,"title":"On Removing Interaction from Quantum Proofs","domain":"quant-ph","source":"arxiv","authors":["Nicholas Spooner","Max Tromanhauser"],"reviews":0,"subject":"quant-ph","summary":"An important open question in quantum cryptography is the construction of publicly-verifiable NIZKs for QMA. Classically, one can construct NIZKs for NP in the random oracle model (and sometimes in the standard model) by compiling an honest-verifier ZK (HVZK) $Σ$-protocol for NP using the Fiat-Shamir transformation. Broadbent and Grilo introduced a quantum analog of a $Σ$-protocol (which they call a $Ξ$-protocol) in which the prover's first message is quantum, and show that HVZK $Ξ$-protocols exist for QMA. However, it is not clear how to compile such protocols into NIZKs in the (Q)ROM,…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}