[ssmiler]

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