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 is missing.