Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin.
Verifying remote executions: from wild implausibility to near practicality
Making proof-based verified computation almost practical