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