Dec. 1: Efficient Verification of Computation on Untrusted Platforms