Making argument systems for outsourced computation practical (sometimes) Verifying remote executions: from wild implausibility to near practicality Michael Walfish NYU and…
