Cormode et al. proposed the concept of streaming zero-knowledge proofs in their paper, constructing zero-knowledge SIP protocols for data streams, including core tools like sumcheck and polynomial evaluation. Cormode等人在论文中提出了流式零知识证明的概念,并构建了适用于数据流的零知识SIP协议,包括sumcheck和多项式评估等核心工具。
Notes
First to define streaming zero-knowledge proofs, addressing a research gap
Built SIP protocols using sumcheck and polynomial evaluation as core tools
Handles streaming queries: index, point/range, median, frequency moments, inner product
Verifier uses polylog(n) space and efficient communication, ideal for large streams
Introduced algebraic and temporal streaming commitments
Security via reductions from average-case communication and algebraic arguments