TY - RPRT TI - Succinct Classical Verification of Quantum Computation AU - James Bartusek AU - Yael Tauman Kalai AU - Alex Lombardi AU - Fermi Ma AU - Giulio Malavolta AU - Vinod Vaikuntanathan AU - Thomas Vidick AU - Lisa Yang PY - 2022 UR - https://arxiv.org/abs/2206.14929 ID - 2206.14929 ER -