Nova: sebuah sistem zk-SNARKs yang inovatif

Nova adalah sistem zero-knowledge proof baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi (Relaxed R1CS) dengan relaksasi batasan urutan satu, yang secara signifikan meningkatkan efisiensi dan fleksibilitas pembuktian. Keunggulan utama Nova adalah:

1. Menggunakan teknologi R1CS yang santai, mengurangi kebutuhan akan keacakan dalam proses pembuktian, dan meningkatkan efisiensi.

2. Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa perlu memproses semua perhitungan sekaligus.

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

4. Meningkatkan kegunaan zk-SNARKs dalam aplikasi berskala besar.

Nova juga memiliki beberapa keterbatasan:

1. Karena menggunakan R1CS yang dilonggarkan, kekuatan bukti mungkin sedikit lebih rendah dibandingkan sistem R1CS tradisional.

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

Meskipun demikian, Nova tetap memegang posisi penting di bidang zk-SNARKs. Ini membuka jalur baru untuk perkembangan zk-SNARKs, memperluas jangkauan aplikasi, terutama yang membutuhkan pengolahan data besar atau perhitungan kompleks.

Implementasi inti Nova mencakup:

1. Struktur data dan algoritma terkait R1CS
2. Perhitungan dan evaluasi polinomial
3. Skema lipatan non-interaktif ( NIFS )
4. Protokol Spartan
5. Skema komitmen polinomial berbasis bukti produk dalam

Dengan kombinasi teknologi inovatif ini, Nova telah mencapai sistem zk-SNARKs yang efisien dan fleksibel, memberikan solusi baru untuk bidang blockchain, otentikasi identitas, dan lainnya.