1/ 新调查：Sum-check 是你所需要的一切。 刚刚发布了一项关于 Jolt 及更广泛的快速证明 SNARKs 设计原则的调查。可以说，这是核心思想第一次集中写在一个地方。

2/ 什么是求和检查协议？它是今天最快的 SNARK 的支柱。一个交互式证明，可以以最小的开销检查一个巨大的总和。在 SNARK 中，它使证明者能够提交更少的数据。大部分工作变成了简单的加法和乘法。

3/ 但并非所有的求和检查用法都是相同的。最快的 SNARKs 智能地使用它，利用重复的结构来最小化证明者的工作。 关键技术： – 批量评估论证 – 内存检查 – 虚拟多项式 – 稀疏求和检查 – 小值保持