Practical Verified Computation with Streaming Interactive Proofs
Contributors: Mitzenmacher, Michael; Mitzenmacher, Michael; Seltzer, Margo; Vadhan, Salil
Published: 2013
Language: eng
Description: 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.
Notes: Keywords: circuit evaluation, data streams, interactive proofs, verifiable computation.

Thesis Ph.D. Harvard University 2013