Geppetto: Versatile Verifiable Computation

Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Cloud computing sparked interest in Verifiable Computation protocols, which allow a weak client to securely outsource computations to remote parties. Recent work has dramatically reduced the client's cost to verify the correctness of their results, but the overhead to produce proofs remains largely impractical.

Geppetto introduces complementary techniques for reducing prover overhead and increasing prover flexibility. With Multi QAPs, Geppetto reduces the cost of sharing state between computations (e.g, For MapReduce) or within a single computation by up to two orders of magnitude. Via a careful choice of cryptographic primitives, Geppetto's instantiation of bounded proof bootstrapping improves on prior bootstrapped systems by up to five orders of magnitude, albeit at some cost in universality. Geppetto also efficiently verifies the correct execution of proprietary (i.e, Secret) algorithms. Finally, Geppetto's use of energy-saving circuits brings the prover's costs more in line with the program's actual (rather than worst-case) execution time.

Geppetto is implemented in a full-fledged, scalable compiler and runtime that consume LLVM code generated from a variety of source C programs and cryptographic libraries.
Original languageEnglish
Title of host publication2015 IEEE Symposium on Security and Privacy
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages18
ISBN (Electronic)978-1-4673-6949-7
Publication statusPublished - 20 Jul 2015
Event2015 IEEE Symposium on Security and Privacy - The Fairmont, San Jose, CA, United States
Duration: 18 May 201520 May 2015

Publication series

ISSN (Print)1081-6011
ISSN (Electronic)2375-1207


Conference2015 IEEE Symposium on Security and Privacy
Country/TerritoryUnited States
CitySan Jose, CA
Internet address


Dive into the research topics of 'Geppetto: Versatile Verifiable Computation'. Together they form a unique fingerprint.

Cite this