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

Untuk menambahkan lebih banyak nuansa, sum-check berpotensi membantu mempercepat komitmen pada nilai kecil dengan komitmen berbasis hashing. misalnya, FRI-Binius mengemas banyak nilai kecil ke dalam satu elemen bidang sebelum menerapkan skema komitmen seperti FRI ke nilai yang dikemas. Sum-check kemudian digunakan untuk menghubungkan nilai yang dibongkar (yang sebenarnya dipedulikan oleh verifikat) dengan nilai yang dikemas yang benar-benar dilakukan.