Streaming Verification of Graph Properties

Amirali Abdullah, Samira Daruki, Chitradeep Dutta Roy +1

Streaming interactive proofs (SIPs) are a framework for outsourced computation. A computationally limited streaming client (the verifier) hands over a large data set to an untruste…