sum-check协议

文章介绍了Jolt，一个新的SNARK设计方法，其在性能和可扩展性上优于现有zkVM，速度提升可达2倍。Jolt通过采用sum-check协议和多变量多项式来解决当前zkVM设计的复杂性和低效问题，旨在提升SNARK的开发体验，降低错误概率，并简化扩展工作。

文章详细介绍了Lasso和Jolt这两种新型零知识虚拟机（zkVM）的核心原理和实现，特别强调了sum-check协议在Jolt中的重要性，以及与Binius承诺方案的结合。作者探讨了Jolt在性能与简化方面的优势，讨论了椭圆曲线与哈希之间的比较，并解构了EVM中的预编译和zkVM基准测试的概念。

本文介绍了Jolt zkVM的新进展，特别是Twist和Shout两种新的内存检查参数，它们通过快速提交到大型稀疏向量，简化了内存检查，并利用sum-check协议优化了证明过程。这些技术显著提高了Jolt的证明速度，并强调了sum-check协议在构建快速SNARKs中的关键作用，同时挑战了现有SNARK设计的某些流行观点。