Suppose a user claims that he ran an expensive quantum computation and got a given answer.

How can he convince a classical verifier that indeed this answer is correct? This question was first answered in a breakthrough work of Mahadev (STOC 2018). In this talk, we will cover recent advancements, and in the process explain the high-level idea behind the Mahadev construction.