Pinocchio: Nearly practical verifiable computation (2013)

by Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Venue:In IEEE Symposium on Security and Privacy