Practical Verified Computation with Streaming Interactive Proofs

Practical Verified Computation with Streaming Interactive Proofs

by Justin R. Thaler

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
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.

Discuss Practical Verified Computation with Streaming Interactive Proofs with other readers

Join or start a book club for Practical Verified Computation with Streaming Interactive Proofs on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for Practical Verified Computation with Streaming Interactive Proofs?

Sign up free on Readfeed, then browse public clubs or start your own club with Practical Verified Computation with Streaming Interactive Proofs as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Practical Verified Computation with Streaming Interactive Proofs with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Practical Verified Computation with Streaming Interactive Proofs with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.