TY - RPRT TI - Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions AU - Mohammed Barhoush AU - Tomoyuki Morimae AU - Ryo Nishimaki AU - Takashi Yamakawa PY - 2026 UR - https://arxiv.org/abs/2602.18034 ID - 2602.18034 ER -