Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, Michael Walfish · 2011
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