You can find the online document here.
Publication appeared in Nature Physics
Schematic of a quantum computation with verification sub-routines. We consider multiple runs of the protocol, where the verifier randomly chooses to run an actual computation or a verification test. The result of the verification test then allows us to conclude whether the computation was performed correctly.