Publication: Practical Verified Computation with Streaming Interactive Proofs
Open/View Files
Date
2013-10-14
Authors
Published Version
Journal Title
Journal ISSN
Volume Title
Publisher
The Harvard community has made this article openly available. Please share how this access benefits you.
Citation
Thaler, Justin R. 2013. Practical Verified Computation with Streaming Interactive Proofs. Doctoral dissertation, Harvard University.
Research Data
Abstract
As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown urgent. Protocols for verifiable computation enable a weak client to outsource difficult computations to a powerful, but untrusted, server. These protocols provide the client with a (probabilistic) guarantee that the server performed the requested computations correctly, without requiring the client to perform the computations herself.
Description
Other Available Sources
Keywords
Computer science, circuit evaluation, data streams, interactive proofs, verifiable computation
Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material (LAA), as set forth at Terms of Service