Pinocchio: Nearly practical verifiable computation (2013)

by B Parno, C Gentry, J Howell, M Raykova
Venue:In IEEE Symposium on Security and Privacy