{"id":"arxiv/2602.18034","url":"https://arxiv.org/abs/2602.18034","tags":["quant-ph","cs.CR"],"score":0,"title":"Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions","domain":"quant-ph","source":"arxiv","authors":["Mohammed Barhoush","Tomoyuki Morimae","Ryo Nishimaki","Takashi Yamakawa"],"reviews":0,"subject":"quant-ph","summary":"Mahadev [SIAM J. Comput. 2022] introduced the first protocol for classical verification of quantum computation based on the Learning-with-Errors (LWE) assumption, achieving a 4-message interactive scheme. This breakthrough naturally raised the question of whether fewer messages are possible in the plain model. Despite its importance, this question has remained unresolved. In this work, we prove that there is no quantum black-box reduction of non-interactive classical verification of quantum computation of $\\textsf{QMA}$ to any falsifiable assumption. Here, \"non-interactive\" means that after…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-02-20","reactions":{}}