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

Date: