1/13 Survei baru dari @SuccinctJT: protokol pengecekan penjumlahan adalah dasar bagi semua penyediaan SNARK yang cepat. Tesis kuncinya: Waktu Uji didominasi oleh (1) biaya komitmen dan (2) membuktikan data terbentuk dengan baik. Sum-check, jika digunakan dengan benar, meminimalkan keduanya. 🧵