Short Proofs of Delegated Computation: Foundations and Feasibility 1

Posted by