How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption
- Bryan ParnoAffiliated withMicrosoft Research
- , Mariana RaykovaAffiliated withColumbia University
- , Vinod VaikuntanathanAffiliated withUniversity of Toronto
The wide variety of small, computationally weak devices, and the growing number of computationally intensive tasks makes it appealing to delegate computation to data centers. However, outsourcing computation is useful only when the returned result can be trusted, which makes verifiable computation (VC) a must for such scenarios.
In this work we extend the definition of verifiable computation in two important directions: public delegation and public verifiability, which have important applications in many practical delegation scenarios. Yet, existing VC constructions based on standard cryptographic assumptions fail to achieve these properties.
As the primary contribution of our work, we establish an important (and somewhat surprising) connection between verifiable computation and attribute-based encryption (ABE), a primitive that has been widely studied. Namely, we show how to construct a VC scheme with public delegation and public verifiability from any ABE scheme. The VC scheme verifies any function in the class of functions covered by the permissible ABE policies (currently Boolean formulas). This scheme enjoys a very efficient verification algorithm that depends only on the output size. Efficient delegation, however, requires the ABE encryption algorithm to be cheaper than the original function computation. Strengthening this connection, we show a construction of a multi-function verifiable computation scheme from an ABE scheme with outsourced decryption, a primitive defined recently by Green, Hohenberger and Waters (USENIX Security 2011). A multi-function VC scheme allows the verifiable evaluation of multiple functions on the same preprocessed input.
In the other direction, we also explore the construction of an ABE scheme from verifiable computation protocols.
- How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption
- Book Title
- Theory of Cryptography
- Book Subtitle
- 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings
- pp 422-439
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
- Ronald Cramer (16)
- Editor Affiliations
- 16. Cryptology Group, CWI Amsterdam; and Mathematical Institute, Leiden University, ,
- Author Affiliations
- 17. Microsoft Research, USA
- 18. Columbia University, USA
- 19. University of Toronto, Canada
To view the rest of this content please follow the download PDF link above.