Nova - Sistem zk-SNARKs yang Efisien dan Fleksibel
Nova adalah sistem bukti nol pengetahuan baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat-1 yang Direlaksasi (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, secara signifikan mengurangi randomisasi yang dibutuhkan dalam proses pembuktian, sehingga meningkatkan efisiensi dalam pembuatan dan verifikasi bukti.
Mendukung komputasi inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap tanpa harus menyelesaikan seluruh proses perhitungan sekaligus. Ini sangat berguna saat menangani data dalam skala besar atau melakukan perhitungan kompleks.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Keterbatasan Nova
Karena menggunakan R1CS yang lebih longgar, bukti Nova mungkin tidak sekuat sistem R1CS tradisional. Untuk mengatasi masalah ini, pengembang Nova menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Implementasi Nova cukup kompleks, melibatkan berbagai teknologi kriptografi tingkat tinggi, seperti perhitungan polinomial, operasi grup, dan oracle acak, dll. Ini mungkin meningkatkan kesulitan dalam penggunaan dan pemeliharaan.
Posisi Nova di bidang zk-SNARKs
Nova membuka jalur baru untuk pengembangan zk-SNARKs. Proses pembuatan dan verifikasi bukti yang efisien sangat penting untuk aplikasi zk-SNARKs berskala besar. Nova mendukung fitur perhitungan inkremental dan perhitungan polinomial, yang lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Analisis Sumber Nova
Kode sumber Nova terutama terdiri dari beberapa modul kunci berikut:
bellperson: Mengimplementasikan fungsi terkait R1CS (Rank-1 Constraint Systems).
gadgets: Termasuk alat untuk membangun bukti zk-SNARK.
penyedia: Menyediakan berbagai implementasi primitif kriptografi, seperti fungsi hash Keccak.
spartan: Mengimplementasikan fungsi terkait protokol Spartan.
traits: mendefinisikan berbagai perilaku dan antarmuka publik.
File inti src/circuit.rs mendefinisikan sirkuit yang diperkuat dalam protokol Nova, termasuk sirkuit langkah dan sirkuit verifikator. src/nifs.rs mengimplementasikan Skema Lipatan Non-Interaktif (Non-Interactive Folding Scheme, NIFS), yang digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.
Proyek Nova secara luas menggunakan fitur bahasa Rust, seperti traits dan pemrograman generik, untuk menyediakan implementasi yang fleksibel dan efisien. Proyek ini melibatkan konsep dan teknik kriptografi yang kompleks, termasuk kriptografi kurva elips, komitmen polinomial, oracle acak, dan lain-lain, mencerminkan kompleksitas dan kekuatan dari sistem zero-knowledge proof modern.
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
4
Posting ulang
Bagikan
Komentar
0/400
GasFeeLady
· 16jam yang lalu
hmm microsoft akhirnya melangkah ke zk... penasaran berapa banyak eth yang mereka bakar untuk menguji bayi ini
Lihat AsliBalas0
TokenRationEater
· 16jam yang lalu
zkp akan merilis sesuatu yang baru? Meskipun saya tidak mengerti, tetapi kedengarannya baik!
Lihat AsliBalas0
NFTRegretDiary
· 16jam yang lalu
Microsoft ini mau merebut porsi kita di industri!
Lihat AsliBalas0
¯\_(ツ)_/¯
· 16jam yang lalu
Kenapa semuanya dibuat oleh Microsoft, agak khawatir.
Nova: Sistem zk-SNARKs yang efisien dan fleksibel yang dikembangkan oleh Microsoft
Nova - Sistem zk-SNARKs yang Efisien dan Fleksibel
Nova adalah sistem bukti nol pengetahuan baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat-1 yang Direlaksasi (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, secara signifikan mengurangi randomisasi yang dibutuhkan dalam proses pembuktian, sehingga meningkatkan efisiensi dalam pembuatan dan verifikasi bukti.
Mendukung komputasi inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap tanpa harus menyelesaikan seluruh proses perhitungan sekaligus. Ini sangat berguna saat menangani data dalam skala besar atau melakukan perhitungan kompleks.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Keterbatasan Nova
Karena menggunakan R1CS yang lebih longgar, bukti Nova mungkin tidak sekuat sistem R1CS tradisional. Untuk mengatasi masalah ini, pengembang Nova menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Implementasi Nova cukup kompleks, melibatkan berbagai teknologi kriptografi tingkat tinggi, seperti perhitungan polinomial, operasi grup, dan oracle acak, dll. Ini mungkin meningkatkan kesulitan dalam penggunaan dan pemeliharaan.
Posisi Nova di bidang zk-SNARKs
Nova membuka jalur baru untuk pengembangan zk-SNARKs. Proses pembuatan dan verifikasi bukti yang efisien sangat penting untuk aplikasi zk-SNARKs berskala besar. Nova mendukung fitur perhitungan inkremental dan perhitungan polinomial, yang lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Analisis Sumber Nova
Kode sumber Nova terutama terdiri dari beberapa modul kunci berikut:
bellperson: Mengimplementasikan fungsi terkait R1CS (Rank-1 Constraint Systems).
gadgets: Termasuk alat untuk membangun bukti zk-SNARK.
penyedia: Menyediakan berbagai implementasi primitif kriptografi, seperti fungsi hash Keccak.
spartan: Mengimplementasikan fungsi terkait protokol Spartan.
traits: mendefinisikan berbagai perilaku dan antarmuka publik.
File inti src/circuit.rs mendefinisikan sirkuit yang diperkuat dalam protokol Nova, termasuk sirkuit langkah dan sirkuit verifikator. src/nifs.rs mengimplementasikan Skema Lipatan Non-Interaktif (Non-Interactive Folding Scheme, NIFS), yang digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.
Proyek Nova secara luas menggunakan fitur bahasa Rust, seperti traits dan pemrograman generik, untuk menyediakan implementasi yang fleksibel dan efisien. Proyek ini melibatkan konsep dan teknik kriptografi yang kompleks, termasuk kriptografi kurva elips, komitmen polinomial, oracle acak, dan lain-lain, mencerminkan kompleksitas dan kekuatan dari sistem zero-knowledge proof modern.