A hybrid architecture for interactive verifiable computation

Victor Vu, Srinath Setty, Andrew J. Blumberg, Michael Walfish

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We consider interactive, proof-based verifiable computation: how can a client machine specify a computation to a server, receive an answer, and then engage the server in an interactive protocol that convinces the client that the answer is correct, with less work for the client than executing the computation in the first place? Complexity theory and cryptography offer solutions in principle, but if implemented naively, they are ludicrously expensive. Recently, however, several strands of work have refined this theory and implemented the resulting protocols in actual systems. This work is promising but suffers from one of two problems: either it relies on expensive cryptography, or else it applies to a restricted class of computations. Worse, it is not always clear which protocol will perform better for a given problem.We describe a system that (a) extends optimized refinements of the non-cryptographic protocols to a much broader class of computations, (b) uses static analysis to fail over to the cryptographic ones when the non-cryptographic ones would be more expensive, and (c) incorporates this core into a built system that includes a compiler for a high-level language, a distributed server, and GPU acceleration. Experimental results indicate that our system performs better and applies more widely than the best in the literature.

Original languageEnglish (US)
Title of host publicationProceedings - 2013 IEEE Symposium on Security and Privacy, SP 2013
Pages223-237
Number of pages15
DOIs
StatePublished - 2013
Event34th IEEE Symposium on Security and Privacy, SP 2013 - San Francisco, CA, United States
Duration: May 19 2013May 22 2013

Publication series

NameProceedings - IEEE Symposium on Security and Privacy
ISSN (Print)1081-6011

Other

Other34th IEEE Symposium on Security and Privacy, SP 2013
CountryUnited States
CitySan Francisco, CA
Period5/19/135/22/13

ASJC Scopus subject areas

  • Safety, Risk, Reliability and Quality
  • Software
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'A hybrid architecture for interactive verifiable computation'. Together they form a unique fingerprint.

  • Cite this

    Vu, V., Setty, S., Blumberg, A. J., & Walfish, M. (2013). A hybrid architecture for interactive verifiable computation. In Proceedings - 2013 IEEE Symposium on Security and Privacy, SP 2013 (pp. 223-237). [6547112] (Proceedings - IEEE Symposium on Security and Privacy). https://doi.org/10.1109/SP.2013.48