Trinocchio: privacy-preserving outsourcing by distributed verifiable computation

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Samenvatting

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.

Originele taal-2Engels
TitelApplied Cryptography and Network Security
Subtitel14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
RedacteurenM. Manulis, A.-R. Sadeghi, S. Schneider
Plaats van productieDordrecht
UitgeverijSpringer
Pagina's346-366
Aantal pagina's21
ISBN van elektronische versie978-3-319-39555-5
ISBN van geprinte versie978-3-319-39554-8
DOI's
StatusGepubliceerd - 2016
Evenement14th International Conference on Applied Cryptography and Network Security (ACNS 2016), 19-22 June 2016, London (Guildford), UK - University of Surrey, London (Guildford), Verenigd Koninkrijk
Duur: 19 jun 201622 jun 2016
http://acns2016.sccs.surrey.ac.uk/

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9696
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres14th International Conference on Applied Cryptography and Network Security (ACNS 2016), 19-22 June 2016, London (Guildford), UK
Verkorte titelACNS 2016
LandVerenigd Koninkrijk
StadLondon (Guildford)
Periode19/06/1622/06/16
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'Trinocchio: privacy-preserving outsourcing by distributed verifiable computation'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Schoenmakers, B., Veeningen, M., & De Vreede, N. (2016). Trinocchio: privacy-preserving outsourcing by distributed verifiable computation. In M. Manulis, A-R. Sadeghi, & S. Schneider (editors), Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings (blz. 346-366). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9696). Springer. https://doi.org/10.1007/978-3-319-39555-5_19