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

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

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

為了增加一些細微差別，sum-check 可以幫助更快地對小值進行基於哈希的承諾。 例如，FRI-Binius 將許多小值打包成一個單一的欄位元素，然後對打包的值應用類似 FRI 的承諾方案。然後使用 sum-check 將未打包的值（這些是驗證者實際關心的）與實際承諾的打包值相關聯。