Trinocchio : privacy-friendly outsourcing by distributed verifiable computation

Onderzoeksoutput: Boek/rapportRapportAcademic


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 Pinocchio system achieved faster verification than computation in practice for the first time. 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. Each worker essentially performs 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 two case studies. Keywords: veriable computation, quadratic arithmetic programs, privacy, multiparty computation, certicate validation
Originele taal-2Engels
Aantal pagina's34
StatusGepubliceerd - 2015

Publicatie series

NaamCryptology ePrint Archive

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

  • Citeer dit

    Schoenmakers, B., Veeningen, M. G., & Vreede, de, N. (2015). Trinocchio : privacy-friendly outsourcing by distributed verifiable computation. (Cryptology ePrint Archive; Vol. 2015/480). s.n.