Nova: Sistem zk-SNARK rekursif yang efisien

Nova adalah sistem pembuktian pengetahuan yang baru, menggunakan zk-SNARK(, yang dikembangkan oleh Microsoft Research. Ini menggunakan teknologi yang disebut Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.

Keunggulan Utama Nova

• Menggunakan teknologi R1CS yang dilonggarkan, mengurangi kebutuhan akan acak, secara signifikan meningkatkan efisiensi pembuktian.
• Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa perlu menyelesaikan seluruh perhitungan sekaligus.
• Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks
• Proses pembuatan dan verifikasi bukti menjadi lebih efisien, cocok untuk skenario aplikasi berskala besar

Potensi Keterbatasan Nova

• R1CS yang santai mungkin menyebabkan keamanan bukti sedikit lebih rendah dibandingkan dengan sistem R1CS tradisional
• Relatif kompleks, sulit digunakan dan dipelihara
• Diperlukan pemahaman mendalam tentang teknologi kriptografi tingkat lanjut untuk dapat menggunakan dan memodifikasi secara efektif.

Komponen Inti Nova

1. R1CS dan R1CS yang dilonggarkan: sistem pembatas yang digunakan untuk membangun bukti nol pengetahuan

2. Skema komitmen polinomial: digunakan untuk membuktikan nilai evaluasi polinomial

3. Solusi lipat non-interaktif ( NIFS ): digunakan untuk membuktikan kebenaran setiap langkah perhitungan inkremental

4. Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial

5. Kriptografi Kurva Elips ( ECC ): Menyediakan primitif kriptografi dasar

6. Fungsi hash Keccak256: digunakan untuk menangani transkrip dalam proses pembuktian

7. Operasi Bilangan Besar: Mendukung perhitungan yang melebihi rentang bilangan bulat biasa.

Nova melalui kombinasi inovatif dari komponen ini, mewujudkan sistem bukti rekursif yang efisien, dan meletakkan dasar untuk aplikasi berskala besar dari teknologi bukti nol pengetahuan.