Trinocchio: privacy-preserving outsourcing by distributed verifiable computation

B. Schoenmakers, M. Veeningen, N. De Vreede

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)


Verifiable computation allows a client to outsource computations to a worker with a cryptographic proof of correctness of the result that can be verified faster than performing the computation. Recently, the highly efficient Pinocchio system was introduced as a major leap towards practical verifiable computation. Unfortunately, Pinocchio and other efficient verifiable computation systems require the client to disclose the inputs to the worker, which is undesirable for sensitive inputs. To solve this problem, we propose Trinocchio: a system that distributes Pinocchio to three (or more) workers, that each individually do not learn which inputs they are computing on. We fully exploit the almost linear structure of Pinochhio proofs, letting each worker essentially perform the work for a single Pinocchio proof; verification by the client remains the same. Moreover, we extend Trinocchio to enable joint computation with multiple mutually distrusting inputters and outputters and still very fast verification. We show the feasibility of our approach by analysing the performance of an implementation in a case study.

Original languageEnglish
Title of host publicationApplied Cryptography and Network Security
Subtitle of host publication14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
EditorsM. Manulis, A.-R. Sadeghi, S. Schneider
Place of PublicationDordrecht
Number of pages21
ISBN (Electronic)978-3-319-39555-5
ISBN (Print)978-3-319-39554-8
Publication statusPublished - 2016
Event14th International Conference on Applied Cryptography and Network Security (ACNS 2016), 19-22 June 2016, London (Guildford), UK - University of Surrey, London (Guildford), United Kingdom
Duration: 19 Jun 201622 Jun 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference14th International Conference on Applied Cryptography and Network Security (ACNS 2016), 19-22 June 2016, London (Guildford), UK
Abbreviated titleACNS 2016
Country/TerritoryUnited Kingdom
CityLondon (Guildford)
Internet address


Dive into the research topics of 'Trinocchio: privacy-preserving outsourcing by distributed verifiable computation'. Together they form a unique fingerprint.

Cite this