Notes

• sum-check protocol is the core of fast SNARK design, minimizing commitment and proof costs
• Batch evaluation and memory checks significantly reduce prover workloads
• Virtual polynomials and sparse sum-checks improve protocol efficiency
• Small-value preservation optimizes computational structure utilization
• The survey emphasizes the potential of sum-check in zkVMs and other applications
• The paper provides practical guidance for SNARK design, focusing on performance improvements

• sum-check协议是快速SNARK设计的核心，能最小化承诺和证明成本
• 批处理评估和内存检查技术可显著减少证明者工作量
• 虚拟多项式和稀疏sum-checks方法提升协议效率
• 小值保持技术优化计算结构利用
• 该调查强调sum-check在zkVMs等应用中的潜力
• 论文为SNARK设计提供实用指导，聚焦实际性能提升