Nova: Sistem zk-SNARKs yang efisien

Nova adalah sistem bukti nol baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat-1 yang Dilegakan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.

Keuntungan Utama Nova

1. Menggunakan teknologi R1CS yang santai, secara signifikan meningkatkan efisiensi pembuktian.

2. Mendukung perhitungan inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.

3. Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.

Potensi Kekurangan Nova

1. Bukti mungkin tidak sekuat sistem R1CS tradisional, karena R1CS yang dilonggarkan memungkinkan penggunaan lebih sedikit keacakan dalam bukti.

2. Implementasi relatif kompleks, mungkin meningkatkan kesulitan dalam penggunaan dan pemeliharaan.

Pentingnya Nova di bidang zk-SNARKs

Kehadiran Nova membuka jalan baru untuk pengembangan zk-SNARKs. Efisiensinya dan fleksibilitasnya memungkinkan aplikasi zk-SNARKs berskala besar, yang lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.

Komponen Inti Nova

1. R1CS dan R1CS yang dilonggarkan: sistem pembatas yang digunakan untuk membangun zk-SNARKs.

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

3. Skema lipatan non-interaktif (NIFS): digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.

4. Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.

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

Implementasi Nova melibatkan berbagai konsep dan teknologi kriptografi yang kompleks, termasuk R1CS, komitmen polinomial, dan oracle acak. Komponen-komponen ini bersama-sama membentuk sistem bukti nol yang efisien dan fleksibel, memberikan dukungan teknis yang kuat untuk aplikasi di bidang blockchain, verifikasi identitas, dan lainnya.