1/13 來自 @SuccinctJT 的新調查:sum-check 協議是所有快速 SNARK 證明者的基礎。 關鍵論點:證明者的時間主要受 (1) 承諾成本和 (2) 證明數據的良好格式影響。正確使用 sum-check 可以最小化這兩者。 🧵