Verifying computations with streaming interactive proofs (0)

by Graham Cormode, Justin Thaler, Ke Yi
Venue:Proceedings of the VLDB Endowment