Making argument systems for outsourced computation practical (sometimes) Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson,…