Classical Verification of Quantum Computations with Efficient Verifier

Nai-Hui Chia, Kai-Min Chung, Takashi Yamakawa. Classical Verification of Quantum Computations with Efficient Verifier. IACR Cryptology ePrint Archive, 2020:1273, 2020. [doi]

Abstract

Abstract is missing.