Nova: Sistem baru zk-SNARKs

Nova adalah sistem baru yang dikembangkan oleh Microsoft untuk zero-knowledge proof, yang menggunakan teknologi (Relaxed R1CS) dengan relaksasi constraint rank-1 untuk meningkatkan efisiensi dan fleksibilitas bukti.

Keuntungan utama Nova termasuk:

• Dengan menggunakan teknologi R1CS yang dilonggarkan, lebih sedikit kebetulan dapat digunakan dalam bukti, yang secara signifikan meningkatkan efisiensi bukti.
• Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap
• Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks

Nova juga memiliki beberapa kekurangan:

• Karena menggunakan R1CS yang longgar, buktinya mungkin tidak sekuat sistem R1CS tradisional.
• Implementasi relatif kompleks, dengan tingkat kesulitan penggunaan dan pemeliharaan yang tinggi

Meskipun demikian, Nova tetap memegang posisi penting di bidang zk-SNARKs. Ini membuka jalan baru untuk perkembangan zk-SNARKs, membuat proses pembuatan dan verifikasi bukti lebih efisien, dapat menangani tugas bukti yang lebih kompleks, dan lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.

Implementasi inti Nova mencakup:

• Definisi dan implementasi R1CS dan R1CS yang dilonggarkan
• Struktur data dan algoritma yang terkait dengan perhitungan polinomial
• Implementasi protokol Sumcheck
• Implementasi skema lipatan non-interaktif (NIFS)
• Skema komitmen polinomial berbasis bukti produk skalar

Komponen-komponen ini bersama-sama membentuk sistem zk-SNARKs Nova yang efisien, memberikan kontribusi penting terhadap kemajuan teknologi zk-SNARKs.