Graham Cormode, Justin Thaler, Ke Yi: Verifying Computations with Streaming Interactive Proofs. Electron. Colloquium Comput. Complex. TR10: Article TR10-159 (2010)