Classical Verification of Quantum Computations with Efficient Verifier.

Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa

Browse the full TCC paper archive.