Nova adalah sistem inovatif zk-SNARKs yang dikembangkan oleh Microsoft, yang menggunakan teknologi Relaxed R1CS ( untuk secara signifikan meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Keunggulan inti Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Sistem R1CS tradisional membutuhkan banyak randomisasi selama proses pembuktian, yang mengakibatkan proses pembuatan dan verifikasi bukti yang kompleks dan memakan waktu. Nova, dengan R1CS yang dilonggarkan, memungkinkan penggunaan randomisasi yang lebih sedikit, secara signifikan meningkatkan efisiensi pembuktian.
Selain itu, Nova juga mendukung perhitungan inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa harus menyelesaikan seluruh perhitungan sekaligus. Ini sangat berguna saat menangani data besar atau perhitungan kompleks. Nova juga mendukung perhitungan polinomial, yang mampu menangani tugas pembuktian yang lebih kompleks.
Potensi Keterbatasan Nova
Nova menggunakan R1CS yang dilonggarkan mungkin akan mengurangi keamanan bukti, karena memungkinkan penggunaan lebih sedikit keacakan. Namun, pengembang Nova telah mengambil beberapa langkah untuk menangani masalah ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Selain itu, implementasi Nova relatif kompleks, yang mungkin meningkatkan kesulitan penggunaan dan pemeliharaannya. Ini menggunakan berbagai teknik kriptografi tingkat lanjut seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik ini agar dapat digunakan dan dimodifikasi dengan efektif.
Posisi Nova di bidang zk-SNARKs
Nova membuka arah pengembangan baru untuk zk-SNARKs. Teknologi R1CS yang dilonggarkan yang digunakannya secara signifikan meningkatkan efisiensi pembuatan dan verifikasi bukti, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Nova mendukung perhitungan inkremental dan perhitungan polinomial, mampu menangani tugas bukti yang lebih kompleks, dan lebih lanjut memperluas cakupan aplikasi zk-SNARKs.
Analisis Sumber Nova
Kode sumber Nova terutama terdiri dari beberapa modul penting berikut:
bellperson: Mewujudkan sistem batasan derajat satu R1CS) dan fungsi terkait (.
gadget: Termasuk alat untuk membangun bukti zk-SNARKs
provider: Menyediakan beberapa implementasi fungsi dasar, seperti fungsi hash Keccak.
spartan: Mengimplementasikan fungsi terkait protokol Spartan
traits: Mendefinisikan beberapa traits umum, seperti operasi grup, komitmen, dll.
File inti r1cs.rs mendefinisikan tipe dan operasi dasar R1CS, termasuk R1CSShape, R1CSWitness, R1CSInstance, dll. circuit.rs mengimplementasikan sirkuit yang ditingkatkan dari protokol Nova, termasuk sirkuit langkah dan sirkuit validator.
nifs.rs mengimplementasikan skema folding non-interaktif untuk membuktikan kebenaran setiap langkah perhitungan inkremental. File di direktori spartan mengimplementasikan protokol Spartan, termasuk perhitungan polinomial, algoritma Sumcheck, dan lainnya.
Secara umum, kode sumber Nova mengimplementasikan sistem bukti nol yang efisien, melalui teknik inovatif seperti pelonggaran R1CS dan komputasi inkremental, yang secara signifikan meningkatkan efisiensi bukti sambil menjaga keamanan.
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.
Nova: Relaksasi R1CS mendukung terobosan baru dalam zk-SNARKs yang efisien
Nova: Sistem zk-SNARKs baru
Nova adalah sistem inovatif zk-SNARKs yang dikembangkan oleh Microsoft, yang menggunakan teknologi Relaxed R1CS ( untuk secara signifikan meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Keunggulan inti Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Sistem R1CS tradisional membutuhkan banyak randomisasi selama proses pembuktian, yang mengakibatkan proses pembuatan dan verifikasi bukti yang kompleks dan memakan waktu. Nova, dengan R1CS yang dilonggarkan, memungkinkan penggunaan randomisasi yang lebih sedikit, secara signifikan meningkatkan efisiensi pembuktian.
Selain itu, Nova juga mendukung perhitungan inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa harus menyelesaikan seluruh perhitungan sekaligus. Ini sangat berguna saat menangani data besar atau perhitungan kompleks. Nova juga mendukung perhitungan polinomial, yang mampu menangani tugas pembuktian yang lebih kompleks.
Potensi Keterbatasan Nova
Nova menggunakan R1CS yang dilonggarkan mungkin akan mengurangi keamanan bukti, karena memungkinkan penggunaan lebih sedikit keacakan. Namun, pengembang Nova telah mengambil beberapa langkah untuk menangani masalah ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Selain itu, implementasi Nova relatif kompleks, yang mungkin meningkatkan kesulitan penggunaan dan pemeliharaannya. Ini menggunakan berbagai teknik kriptografi tingkat lanjut seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik ini agar dapat digunakan dan dimodifikasi dengan efektif.
Posisi Nova di bidang zk-SNARKs
Nova membuka arah pengembangan baru untuk zk-SNARKs. Teknologi R1CS yang dilonggarkan yang digunakannya secara signifikan meningkatkan efisiensi pembuatan dan verifikasi bukti, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Nova mendukung perhitungan inkremental dan perhitungan polinomial, mampu menangani tugas bukti yang lebih kompleks, dan lebih lanjut memperluas cakupan aplikasi zk-SNARKs.
Analisis Sumber Nova
Kode sumber Nova terutama terdiri dari beberapa modul penting berikut:
File inti r1cs.rs mendefinisikan tipe dan operasi dasar R1CS, termasuk R1CSShape, R1CSWitness, R1CSInstance, dll. circuit.rs mengimplementasikan sirkuit yang ditingkatkan dari protokol Nova, termasuk sirkuit langkah dan sirkuit validator.
nifs.rs mengimplementasikan skema folding non-interaktif untuk membuktikan kebenaran setiap langkah perhitungan inkremental. File di direktori spartan mengimplementasikan protokol Spartan, termasuk perhitungan polinomial, algoritma Sumcheck, dan lainnya.
Secara umum, kode sumber Nova mengimplementasikan sistem bukti nol yang efisien, melalui teknik inovatif seperti pelonggaran R1CS dan komputasi inkremental, yang secara signifikan meningkatkan efisiensi bukti sambil menjaga keamanan.