A question posed by [[Scott Aaronson]]. The general problem was solved by Mahadev, see [[Klassisk verifisering av kvanteberegninger]]. The tricky part is that this has to work on [[NISQ]] devices.