Pinocchio: Nearly practical verifiable computation (2013)

by Bryan Parno, Jon Howell
Venue:In Proceedings of the IEEE Symposium on Security and Privacy