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:
bellperson: Mengimplementasikan fungsi terkait pembangkitan R1CS
sirkuit: Mendefinisikan sirkuit peningkatan protokol Nova
gadget: Mewujudkan berbagai primitif kriptografi gadget
nifs: Mewujudkan skema lipatan non-interaktif
penyedia: Menyediakan komponen dasar seperti komitmen polinomial, fungsi hash, dll.
r1cs: Mendefinisikan struktur data dan operasi yang terkait dengan R1CS
spartan: Menerapkan Protokol Spartan
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.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
16 Suka
Hadiah
16
7
Bagikan
Komentar
0/400
GweiObserver
· 07-23 17:22
ms cukup keras ya
Lihat AsliBalas0
BrokenYield
· 07-22 16:05
meh... protokol lain mencoba menyelesaikan masalah yang tidak ada sejujurnya
Lihat AsliBalas0
SerumSquirter
· 07-21 01:12
Microsoft akhirnya mengerti.
Lihat AsliBalas0
OldLeekMaster
· 07-21 01:04
Gelombang ini Microsoft bermain besar, ya.
Lihat AsliBalas0
MEVVictimAlliance
· 07-21 00:59
Microsoft kali ini memang bull
Lihat AsliBalas0
NotSatoshi
· 07-21 00:55
Ini lagi adalah pengetahuan nol hehe
Lihat AsliBalas0
UncleLiquidation
· 07-21 00:45
Untuk apa melakukan banyak hal dengan zero knowledge?
Nova: Analisis sistem zk-SNARKs baru yang dikembangkan oleh Microsoft
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
Modul Utama
Sumber kode Nova terutama mencakup beberapa modul penting berikut:
bellperson: Mengimplementasikan fungsi terkait pembangkitan R1CS
sirkuit: Mendefinisikan sirkuit peningkatan protokol Nova
gadget: Mewujudkan berbagai primitif kriptografi gadget
nifs: Mewujudkan skema lipatan non-interaktif
penyedia: Menyediakan komponen dasar seperti komitmen polinomial, fungsi hash, dll.
r1cs: Mendefinisikan struktur data dan operasi yang terkait dengan R1CS
spartan: Menerapkan Protokol Spartan
traits: mendefinisikan berbagai antarmuka karakteristik
Struktur Data Kunci
Algoritma Inti
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.