Pinocchio: Nearly Practical Verifiable Computation [pdf]research.microsoft.com2 pointsalanfranzoni10 years ago