1/ 新調查：Sum-check 是你所需的一切。 剛剛發布了一項關於 Jolt 的設計原則以及更廣泛的快速證明 SNARK 的調查。這可以說是核心思想第一次全部集中在一個地方。

2/ 什麼是求和檢查協議？它是當今最快的 SNARKs 的支柱。一種互動證明，可以以最小的開銷檢查大量的總和。在 SNARKs 中，它讓證明者承諾更少的數據。大部分工作變成簡單的加法和乘法。

3/ 但並非所有的 sum-check 用法都是相同的。最快的 SNARKs 聰明地使用它，利用重複的結構來最小化證明者的工作。 關鍵技術： – 批量評估論證 – 記憶檢查 – 虛擬多項式 – 稀疏 sum-checks – 小值保留