Overview of Mahadev’s protocol for classical verification of quantum computations

Date: August 29, 2023