Verifying remote executions: from wild implausibility to near practicality
Making argument systems for outsourced computation practical (sometimes)
Making proof-based verified computation almost practical