Nova:Sistem zk-SNARKs baru

Nova adalah sistem baru untuk zk-SNARKs, yang menggunakan teknologi Relaxed R1CS ( untuk meningkatkan efisiensi dan fleksibilitas dari pembuktian.

Keuntungan Nova

1. Menggunakan teknologi R1CS yang santai, memungkinkan penggunaan lebih sedikit keacakan dalam bukti, secara signifikan meningkatkan efisiensi bukti.

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

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

Kekurangan Nova

1. Pembuktian mungkin tidak sekuat sistem R1CS tradisional, karena menggunakan lebih sedikit keacakan.

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

Nova di bidang zk-SNARKs yang penting

1. Membuka jalan baru untuk pengembangan zk-SNARKs.

2. Meningkatkan efisiensi aplikasi zk-SNARKs skala besar.

3. Memperluas jangkauan aplikasi zk-SNARKs.

Komponen Utama Nova

1. Struktur terkait R1CS: mendefinisikan parameter publik R1CS, bentuk, saksi, dan contoh.

2. Perhitungan polinomial: telah diimplementasikan polinomial persamaan, polinomial multilinear, dan polinomial jarang.

3. Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.

4. Mekanisme Komitmen: mendefinisikan operasi dan perilaku dasar dari komitmen.

5. Mesin Evaluasi: Mewujudkan pengaturan, pembuktian, dan verifikasi evaluasi polinomial.

6. zkSNARK: mendefinisikan perilaku dari bukti non-interaktif yang ringkas dengan pengetahuan nol.

Nova membangun sistem zero-knowledge proof yang efisien dan fleksibel melalui komponen-komponen ini, memberikan kemungkinan baru untuk perkembangan kriptografi dan teknologi blockchain.