[salawat]

...so if you're going to redo the computation you just sent off to the adversary to do in order to check that the adversary did the computation you wanted them to, why mess with outsourcing the outsourcing of the computation at all?

[ssmiler]

The idea behind verifiable computation is that the verification phase should be less expensive than the computation phase itself.