Streaming Zero-Knowledge Proofs

Graham Cormode, Marcel Dall'Agnol, Tom Gur +1

Streaming interactive proofs (SIPs) enable a space-bounded algorithm with one-pass access to a massive stream of data to verify a computation that requires large space, by communic…