Succinct Classical Verification of Quantum Computation

James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang 0001. Succinct Classical Verification of Quantum Computation. IACR Cryptology ePrint Archive, 2022:857, 2022. [doi]

Abstract

Abstract is missing.