Practical Verified Computation with Streaming Interactive Proofs

Practical Verified Computation with Streaming Interactive Proofs

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...

Full description

Bibliographic Details
Main Author: Thaler, Justin R
Other Authors: Mitzenmacher, Michael D.
Language:en_US
Published: Harvard University 2013
Subjects:
Computer science
circuit evaluation
data streams
interactive proofs
verifiable computation
Online Access:http://dissertations.umi.com/gsas.harvard:11086
http://nrs.harvard.edu/urn-3:HUL.InstRepos:11169768

Internet

http://dissertations.umi.com/gsas.harvard:11086
http://nrs.harvard.edu/urn-3:HUL.InstRepos:11169768

Similar Items