ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Tue星期二火曜日
01.20
2026
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和多项式评估等核心工具。Cormodeらによる論文では、ストリーミングゼロ知識証明の概念が提案されており、sumcheckやpolynomial evaluationなどのコアツールを含めてデータストリームのためのゼロ知識SIPプロトコルを構築しています。
NotesNotes要点
- 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