Verifiable Stream Computation and Arthur--Merlin Communication

In the setting of streaming interactive proofs (SIPs), a client (verifier) needs to compute a given function on a massive stream of data, arriving online, but is unable to store even a small fracti...