Breadcrumb Home About Us All News Dec. 1: Efficient Verification of Computation on Untrusted Platforms Dec. 1: Efficient Verification of Computation on Untrusted Platforms