Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources
Andrea Coladangelo Alex Grilo Stacey Jeffery Thomas Vidick



























compatibility=false
theoremTheorem
proposition[theorem]Proposition
conjecture[theorem]Conjecture
lemma[theorem]Lemma
claim[theorem]Claim
fact[theorem]Fact
corollary[theorem]Corollary

remark[theorem]Remark

definition[theorem]Definition
example[theorem]Example




