arXiv cs.CR·8d agoOn quantum interactive proofs with a laconic prover#quantum-computing#interactive-proofs#qszkResearch