ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Tue 星期二
01.20
2026
Streaming Zero-Knowledge Proofs https://arxiv.org/abs/2301.02161
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