Streaming Verification in Data Analysis

Samira Daruki, Justin Thaler, Suresh Venkatasubramanian

Streaming interactive proofs (SIPs) are a framework to reason about outsourced computation, where a data owner (the verifier) outsources a computation to the cloud (the prover), bu…