Analisis Proyek Nova

Nova adalah sistem bukti tanpa pengetahuan baru yang dikembangkan oleh Microsoft, menggunakan teknologi sistem kendala peringkat satu yang longgar untuk meningkatkan efisiensi dan fleksibilitas bukti. Ini memiliki posisi penting di bidang bukti tanpa pengetahuan dan membuka kemungkinan baru untuk aplikasi berskala besar.

Keunggulan Inti

• Menggunakan teknologi R1CS yang santai, mengurangi penggunaan keacakan, secara signifikan meningkatkan efisiensi bukti
• Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap
• Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks

Modul Utama

Sumber kode Nova terutama mencakup beberapa modul penting berikut:

1. bellperson: Mengimplementasikan fungsi terkait pembangkitan R1CS

2. sirkuit: Mendefinisikan sirkuit peningkatan protokol Nova

3. gadget: Mewujudkan berbagai primitif kriptografi gadget

4. nifs: Mewujudkan skema lipatan non-interaktif

5. penyedia: Menyediakan komponen dasar seperti komitmen polinomial, fungsi hash, dll.

6. r1cs: Mendefinisikan struktur data dan operasi yang terkait dengan R1CS

7. spartan: Menerapkan Protokol Spartan

8. traits: mendefinisikan berbagai antarmuka karakteristik

Struktur Data Kunci

• R1CSShape: Menunjukkan bentuk matriks R1CS
• R1CSWitness: Menunjukkan saksi dari instance R1CS
• R1CSInstance: Menunjukkan sebuah instance R1CS
• RelaxedR1CSWitness: Menunjukkan saksi untuk contoh R1CS yang dilonggarkan
• RelaxedR1CSInstance: Menunjukkan sebuah instance R1CS yang dilonggarkan

Algoritma Inti

• Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial
• Evaluasi polinomial: membuktikan nilai polinomial di suatu titik
• Lipatan non-interaktif: Menggabungkan beberapa bukti menjadi satu bukti

Nilai Aplikasi

Sistem Nova menyediakan alat yang kuat untuk membangun bukti nol yang efisien, yang dapat diterapkan secara luas di bidang blockchain, komputasi privasi, dan lainnya, mendorong penerapan teknologi nol yang besar-besaran.