ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Fri星期五金曜日
08.15
2025
https://eprint.iacr.org/2025/1473
Baweja et al. studied the time-space trade-offs for sumcheck protocol provers in the stream model, proposing upper and lower bounds, tightly characterizing the efficiency of provers.Baweja等人在论文中研究了sumcheck协议证明者在流模型中的时间空间权衡，提出了上下界，紧密刻画了证明者可实现的效率。Bawejaらは、ストリームモデルにおけるsumcheckプロトコルのプロバーについて時間空間トレードオフを研究し、上限と下限を提案することで、プロバーの効率を厳密に特徴づけた。
https://eprint.iacr.org/2025/1294
Jieyi Long proposed Interstellar, a low-prover-cost folding scheme based on GKR protocol for circuit satisfiability in paper, significantly reducing the vector size needed for commitment in each step of folding, lowering prover overhead.Jieyi Long在论文中提出了Interstellar，一种基于GKR协议的低证明者成本折叠方案，专为电路可满足性设计。通过电路插值技术，该方案显著减少了每步折叠中需要承诺的向量大小，降低了证明者开销。Jieyi Longは、論文において、GKRプロトコルに基づいた回路充足可能性のための低proverコストなfoldingスキームであるInterstellarを提案し、各ステップでのcommitmentに必要なベクトルサイズを大幅に削減し、proverのオーバーヘッドを低減しました。