RISCS-BUSec Cryptography Seminar: Marcel Dall’Agnol, Princeton University

Wed, December 6, 1pm – 2pm
665 Commonwealth Ave, CDS Room 1001 and Zoom

Speaker: Marcel Dall’Agnol, Lecturer, Computer Science at Princeton University

Talk Title: Streaming Zero-Knowledge Proofs

Abstract: We initiate the study of zero-knowledge proofs for data streams. Streaming interactive proofs (SIPs) are protocols whereby a space-bounded algorithm with one-pass sequential access to a massive stream of data communicates with a powerful but untrusted prover to verify a computation that requires large space. We define the notion of zero-knowledge in the streaming setting and construct zero-knowledge SIPs for the two main building blocks in the SIP literature, the sumcheck and polynomial evaluation protocols. They are efficient in terms of time, space and communication: the space complexity is polylog(n) and, after a non-interactive setup that uses a random string of near-linear length, the remaining parameters are sub-polynomial. The analysis of our protocols relies on delicate algebraic and information-theoretic arguments and reductions from average-case communication complexity.

Speaker Bio: Marcel Dall’Agnol is a Lecturer at Princeton’s department of Computer Science, which he joined after receiving a PhD from the University of Warwick in 2023. His work focuses on sublinear algorithms, interactive proofs, cryptography and quantum computation.

Zoom: https://bostonu.zoom.us/j/93771135070?pwd=Mkp2MWRRZ3BrUGlKbU9ycitIWGc3UT09