1403.2777
Revision for Mid 1
Multi-Party Proofs and Computation Based in part on materials from Cornell class CS 4830.