1/13 来自 @SuccinctJT 的一项新调查:sum-check 协议是所有快速 SNARK 证明者的基础。 关键论点:证明者的时间主要受 (1) 承诺成本和 (2) 证明数据的良好结构影响。正确使用 sum-check 可以最小化这两者。 🧵