Interactive Oracle Arguments in the QROM and Applications to Succinct Verification of Quantum Computation

ePrint Report: Interactive Oracle Arguments in the QROM and Applications to Succinct Verification of Quantum Computation

Islam Faisal

This work is motivated by the following question: can an untrusted quantum server convince a classical verifier of the answer to an efficient quantum computation using only polylogarithmic communication? We show how to achieve this in the quantum random oracle model (QROM), after a non-succinct instance-independent setup phase.


We introduce and formalize the notion of post-quantum interactive oracle arguments for languages in …

applications communication computation eprint report instance islam non oracle quantum question random report server untrusted verification work