Separating Non-interactive Classical Verification of Quantum Computation from Falsifiable Assumptions.

Mohammed Barhoush, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa

Browse the full CRYPTO paper archive.