Scaling proof-based verifiable computation Download pdf Tags: 1514422 SaTC Pi Meeting 2017 Project Slides License: Creative Commons 2.5 Submitted by Michael Walfish on Wed, 12/14/2016 - 09:03