Two protocols for delegation of computation

Ran Canetti*, Ben Riva, Guy N. Rothblum

*Corresponding author for this work

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

Abstract

Consider a weak client that wishes to delegate computation to an untrusted server and be able to succinctly verify the correctness of the result. We present protocols in two relaxed variants of this problem. We first consider a model where the client delegates the computation to two or more servers, and is guaranteed to output the correct answer as long as even a single server is honest. In this model, we show a 1-round statistically sound protocol for any log-space uniform circuit. In contrast, in the single server setting all known one-round succinct delegation protocols are computationally sound. The protocol extends the arithemetization techniques of [Goldwasser-Kalai-Rothblum, STOC 08] and [Feige-Kilian, STOC 97]. Next we consider a simplified view of the protocol of [Goldwasser-Kalai-Rothblum, STOC 08] in the single-server model with a non-succinct, but public, offline stage. Using this simplification we construct two computationally sound protocols for delegation of computation of any circuit C with depth d and input length n, even a non-uniform one, such that the client runs in time n·poly(log(|C|), d). The first protocol is potentially practical and easier to implement for general computations than the full protocol of [Goldwasser-Kalai-Rothblum, STOC 08], and the second is a 1-round protocol with similar complexity, but less efficient server.

Original languageEnglish
Title of host publicationInformation Theoretic Security - 6th International Conference, ICITS 2012, Proceedings
Pages37-61
Number of pages25
DOIs
StatePublished - 2012
Event6th International Conference on Information Theoretic Security, ICITS 2012 - Montreal, QC, Canada
Duration: 15 Aug 201217 Aug 2012

Publication series

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

Conference

Conference6th International Conference on Information Theoretic Security, ICITS 2012
Country/TerritoryCanada
CityMontreal, QC
Period15/08/1217/08/12

Fingerprint

Dive into the research topics of 'Two protocols for delegation of computation'. Together they form a unique fingerprint.

Cite this