1/ Survei baru: Cek jumlah adalah semua yang Anda butuhkan. Baru saja memposting survei tentang prinsip desain di balik Jolt dan SNARK pembuktian cepat secara lebih luas. Ini bisa dibilang pertama kalinya ide-ide inti semuanya ditulis di satu tempat.

2/ Apa protokol pengecekan jumlah? Ini adalah tulang punggung SNARK tercepat saat ini. Bukti interaktif yang memeriksa jumlah besar dengan biaya overhead minimal. Di SNARK, ini memungkinkan pemprobor berkomitmen pada data yang jauh lebih sedikit. Sebagian besar pekerjaan menjadi penambahan dan perkalian sederhana.

3/ Tetapi tidak semua penggunaan sum-check sama. SNARK tercepat menggunakannya secara cerdas, mengeksploitasi struktur berulang untuk meminimalkan pekerjaan pembukti. Teknik kunci: – Argumen evaluasi batch – Pemeriksaan memori – Polinomial virtual – Cek jumlah yang jarang – Pelestarian bernilai kecil