arXiv cs.CR·8d agoVerifiable Quantum Advantage and Computation via Quantum Circuit Obfuscation#quantum-advantage#indistinguishability-obfuscation#bqpResearch2
arXiv cs.CR·8d agoOn quantum interactive proofs with a laconic prover#quantum-computing#interactive-proofs#qszkResearch
arXiv cs.CR·9d agoClassical Verification of Quantum Computation with Quasilinear Resources, from Compiled Nonlocal Games#quantum-computation#bqp#lweResearch