Bukti ZK merevolusi kripto dan menggelembungkan ego. Setiap orang mengklaim memiliki satu sistem bukti yang sebenarnya, tetapi aplikasi adalah bagian penting, bukti sekarang menjadi komoditas. Juga: jika bukti zk baru perusahaan dimulai dengan 'h' atau 'hiper', mereka meninggalkan dewa lama mereka untuk pengecekan jumlah

Sum-check adalah pendekatan ZK yang sangat tua tidak ada yang mengklaim bahwa mereka yang menemukannya. Justin Thaler membuat namanya menunjukkan bahwa itu benar-benar berguna. Dia mungkin benar ... atau membentuk kultus baru. Tetapi proyek beralih ke sum-check, terkadang berpura-pura itu dewa lama mereka ...

Oke, cukup alegori saja. SNARK mewakili program sebagai polinomial. Sum-check menggunakan polinomial multivariat, misalnya, P(x,y) = x^2+2y. Yang lebih membingungkan, gaya penamaan "h" dan "hiper" berasal dari polinomial yang membentuk hiperkubus Boolean. Cara yang bagus untuk mengatakan setiap variabel adalah 0 atau 1.

Anggap saja seperti komputer: komputer beroperasi dalam biner daripada basis-10 karena beberapa operasi umum lebih efisien ketika dipecah sedikit demi bit daripada digit demi digit. Sum-check melakukan sesuatu yang sangat mirip untuk program yang terbukti puas.

Salah satu keuntungan dari pendekatan ini, yang tidak unik untuk sum-check (lihat misalnya, skema lipat), adalah streaming. Untuk banyak sistem bukti berbasis FFT/hash, Anda perlu memasukkan seluruh pernyataan yang Anda buktikan ke dalam memori. Bekerja dengan baik untuk hal-hal kecil, tetapi max keluar laptop dengan cepat.

Batasan ini membatasi Anda ke server besar yang harus dikirimi semua orang untuk dibuktikan. Tidak terlalu Zk dari mereka. Ini berguna untuk menjalankan pemadat sampah raksasa (eh, maksud saya, rollup terpusat), tetapi gagal untuk privasi sisi klien, di mana pasar mencari (untuk saat ini)

Seperti yang saya katakan, sum-check bukan satu-satunya skema streaming. Ada juga lipatan. Kerja keras yang dilakukan untuk membuat semua skema zk ini juga menjadikannya komoditas. Pilih apa yang Anda butuhkan, dan fokus pada aplikasi. Jangan menyembah sistem atau tim pembuktian. Secara internal, tim tidak