Verifiable Stream Computation and Arthur-Merlin Communication

Amit Chakrabarti, Graham Cormode, Andrew McGregor 0001, Justin Thaler, Suresh Venkatasubramanian. Verifiable Stream Computation and Arthur-Merlin Communication. SIAM Journal on Computing, 48(4):1265-1299, 2019. [doi]

Abstract

Abstract is missing.