Nova adalah sistem pembuktian pengetahuan yang baru, menggunakan zk-SNARK(, yang dikembangkan oleh Microsoft Research. Ini menggunakan teknologi yang disebut Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, mengurangi kebutuhan akan acak, secara signifikan meningkatkan efisiensi pembuktian.
Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa perlu menyelesaikan seluruh perhitungan sekaligus.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks
Proses pembuatan dan verifikasi bukti menjadi lebih efisien, cocok untuk skenario aplikasi berskala besar
Potensi Keterbatasan Nova
R1CS yang santai mungkin menyebabkan keamanan bukti sedikit lebih rendah dibandingkan dengan sistem R1CS tradisional
Relatif kompleks, sulit digunakan dan dipelihara
Diperlukan pemahaman mendalam tentang teknologi kriptografi tingkat lanjut untuk dapat menggunakan dan memodifikasi secara efektif.
Komponen Inti Nova
R1CS dan R1CS yang dilonggarkan: sistem pembatas yang digunakan untuk membangun bukti nol pengetahuan
Skema komitmen polinomial: digunakan untuk membuktikan nilai evaluasi polinomial
Solusi lipat non-interaktif ( NIFS ): digunakan untuk membuktikan kebenaran setiap langkah perhitungan inkremental
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial
Kriptografi Kurva Elips ( ECC ): Menyediakan primitif kriptografi dasar
Fungsi hash Keccak256: digunakan untuk menangani transkrip dalam proses pembuktian
Operasi Bilangan Besar: Mendukung perhitungan yang melebihi rentang bilangan bulat biasa.
Nova melalui kombinasi inovatif dari komponen ini, mewujudkan sistem bukti rekursif yang efisien, dan meletakkan dasar untuk aplikasi berskala besar dari teknologi bukti nol pengetahuan.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
12 Suka
Hadiah
12
5
Bagikan
Komentar
0/400
BrokenYield
· 10jam yang lalu
meh... sistem zk "efisien" lain dengan kompromi keamanan. kapan mereka akan belajar
Lihat AsliBalas0
CryptoCrazyGF
· 07-06 00:01
Bagus sekali, Ayah Microsoft datang.
Lihat AsliBalas0
NotFinancialAdviser
· 07-05 22:28
Microsoft datang lagi untuk Kupon Klip
Lihat AsliBalas0
GhostAddressMiner
· 07-05 22:28
Microsoft juga bermain-main dengan privasi? Data kertas mencurigakan, aliran dana sulit dilacak.
Nova: Sistem zk-SNARK rekursif generasi baru yang efisien dan keuntungannya
Nova: Sistem zk-SNARK rekursif yang efisien
Nova adalah sistem pembuktian pengetahuan yang baru, menggunakan zk-SNARK(, yang dikembangkan oleh Microsoft Research. Ini menggunakan teknologi yang disebut Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keunggulan Utama Nova
Potensi Keterbatasan Nova
Komponen Inti Nova
R1CS dan R1CS yang dilonggarkan: sistem pembatas yang digunakan untuk membangun bukti nol pengetahuan
Skema komitmen polinomial: digunakan untuk membuktikan nilai evaluasi polinomial
Solusi lipat non-interaktif ( NIFS ): digunakan untuk membuktikan kebenaran setiap langkah perhitungan inkremental
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial
Kriptografi Kurva Elips ( ECC ): Menyediakan primitif kriptografi dasar
Fungsi hash Keccak256: digunakan untuk menangani transkrip dalam proses pembuktian
Operasi Bilangan Besar: Mendukung perhitungan yang melebihi rentang bilangan bulat biasa.
Nova melalui kombinasi inovatif dari komponen ini, mewujudkan sistem bukti rekursif yang efisien, dan meletakkan dasar untuk aplikasi berskala besar dari teknologi bukti nol pengetahuan.