Verifiable Delegation of Computation over Large Datasets

  • Siavosh Benabbas
  • Rosario Gennaro
  • Yevgeniy Vahlis
Conference paper

DOI: 10.1007/978-3-642-22792-9_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6841)
Cite this paper as:
Benabbas S., Gennaro R., Vahlis Y. (2011) Verifiable Delegation of Computation over Large Datasets. In: Rogaway P. (eds) Advances in Cryptology – CRYPTO 2011. CRYPTO 2011. Lecture Notes in Computer Science, vol 6841. Springer, Berlin, Heidelberg


We study the problem of computing on large datasets that are stored on an untrusted server. We follow the approach of amortized verifiable computation introduced by Gennaro, Gentry, and Parno in CRYPTO 2010. We present the first practical verifiable computation scheme for high degree polynomial functions. Such functions can be used, for example, to make predictions based on polynomials fitted to a large number of sample points in an experiment. In addition to the many non-cryptographic applications of delegating high degree polynomials, we use our verifiable computation scheme to obtain new solutions for verifiable keyword search, and proofs of retrievability. Our constructions are based on the DDH assumption and its variants, and achieve adaptive security, which was left as an open problem by Gennaro et al.(albeit for general functionalities).

Our second result is a primitive which we call a verifiable database (VDB). Here, a weak client outsources a large table to an untrusted server, and makes retrieval and update queries. For each query, the server provides a response and a proof that the response was computed correctly. The goal is to minimize the resources required by the client. This is made particularly challenging if the number of update queries is unbounded. We present a VDB scheme based on the hardness of the subgroup membership problem in composite order bilinear groups.

Download to read the full conference paper text

Copyright information

© International Association for Cryptologic Research 2011

Authors and Affiliations

  • Siavosh Benabbas
    • 1
  • Rosario Gennaro
    • 2
  • Yevgeniy Vahlis
    • 3
  1. 1.University of TorontoUSA
  2. 2.IBM ResearchUSA
  3. 3.Columbia UniversityUSA

Personalised recommendations