Cloud

Toward Practical and Unconditional Verification of Remote Computations

Download Now Free registration required

Executive Summary

This paper revisits a classic question: how can a machine specify a computation to another one and then, without executing the computation, check that the other machine carried it out correctly? The applications of such a primitive include cloud computing (a computationally limited device offloads processing to the cloud but does not assume the cloud's correctness); volunteer computing (some 30 projects use the BOINC software platform to leverage volunteers' spare cycles, but some "Volunteers" return wrong answers); and high-assurance computing (a machine may be remotely deployed and subject to physical tampering).

  • Format: PDF
  • Size: 151.7 KB