A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto - View it on GitHub