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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
Harvard University
2013
|
| Subjects: | |
| Online Access: | http://dissertations.umi.com/gsas.harvard:11086 http://nrs.harvard.edu/urn-3:HUL.InstRepos:11169768 |