Short Proofs of Delegated Computation: Foundations and Feasibility 1 Posted September 28, 2016 by Nehora Krolzig