Graham Cormode, Marcel Dall'Agnol, Tom Gur, Chris Hickey: Streaming Zero-Knowledge Proofs. CCC 2024: 2:1-2:66