Delegating quantum computations previously demanded verifier resources that grew exponentially with circuit size. Now, ...