Nova adalah sistem bukti nol pengetahuan baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi (Relaxed R1CS) dengan kendala peringkat satu yang dilonggarkan, untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keuntungan Nova
Keunggulan utama Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Sistem R1CS tradisional memerlukan banyak keacakan dalam proses pembuktian, yang mengakibatkan proses pembuatan dan verifikasi bukti menjadi kompleks dan memakan waktu. Nova, dengan menggunakan R1CS yang dilonggarkan, memungkinkan penggunaan keacakan yang lebih sedikit dalam bukti, yang secara signifikan meningkatkan efisiensi bukti.
Nova juga mendukung komputasi inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap tanpa harus menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data besar atau perhitungan kompleks. Selain itu, Nova juga mendukung perhitungan polinomial, yang dapat menangani tugas pembuktian yang lebih kompleks.
Kekurangan Nova
Nova menggunakan R1CS yang dilonggarkan, yang buktinya mungkin tidak sekuat sistem R1CS tradisional. R1CS yang dilonggarkan menggunakan lebih sedikit keacakan, yang mungkin mengurangi keamanan bukti. Namun, pengembang Nova telah mengambil langkah-langkah untuk mengatasi masalah ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Kedua, implementasi Nova relatif kompleks, yang mungkin meningkatkan kesulitan penggunaan dan pemeliharaan. Nova menggunakan banyak teknik kriptografi tingkat tinggi, seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik ini untuk dapat menggunakan dan memodifikasi Nova secara efektif.
Posisi Penting Nova di Bidang zk-SNARKs
Nova memiliki posisi penting dalam bidang zk-SNARKs. Ini membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang digunakan oleh Nova membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Selain itu, Nova mendukung perhitungan inkremental dan perhitungan polinomial, yang dapat menangani tugas bukti yang lebih kompleks, lebih lanjut memperluas cakupan aplikasi zk-SNARKs.
Penjelasan Kode Sumber Nova
Sumber kode Nova terutama terdiri dari beberapa modul penting berikut:
bellperson: Mengimplementasikan R1CS( Sistem Kendala Peringkat-1).
gadget: Termasuk alat untuk membangun bukti zk-SNARKs.
penyedia: Termasuk beberapa kode penyedia, seperti implementasi fungsi hash Keccak.
spartan: Termasuk kode terkait protokol Spartan.
traits: Mendefinisikan beberapa perilaku umum dari traits Rust.
Implementasi inti Nova mencakup:
Implementasi R1CS dan R1CS yang dilonggarkan
Skema Komitmen Polinomial
Algoritma Sumcheck
Skema lipatan non-interaktif ( NIFS )
Operasi Kriptografi Kurva Eliptik
Mesin Transkripsi
Komponen-komponen ini bersama-sama membentuk sistem zk-SNARKs Nova, memungkinkan untuk menghasilkan dan memverifikasi bukti perhitungan kompleks secara efisien, sambil menjamin keamanan dan privasi bukti.
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.
17 Suka
Hadiah
17
8
Bagikan
Komentar
0/400
DefiEngineerJack
· 07-27 05:09
*sigh* microsoft mencoba mengoptimalkan zk lagi... tampilkan verifikasi formal atau ini hanya honeypot L2 lainnya
Lihat AsliBalas0
tx_pending_forever
· 07-26 11:14
Apakah masih memperdagangkan zero knowledge? Jika keamanan dikompromikan, masih bisa digunakan?
Lihat AsliBalas0
TestnetScholar
· 07-25 14:13
Teknologi semakin rumit lagi
Lihat AsliBalas0
RugpullTherapist
· 07-25 03:30
Hal baru ini lagi-lagi membuatku sakit.. bukan cuma jebakan kosong saja.
Lihat AsliBalas0
liquiditea_sipper
· 07-25 03:26
Bagus, Microsoft sangat baik dalam menyeimbangkan hal ini.
Nova: Sistem zk-SNARKs baru meningkatkan efisiensi dan fleksibilitas
Nova: Sistem zk-SNARKs baru
Nova adalah sistem bukti nol pengetahuan baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi (Relaxed R1CS) dengan kendala peringkat satu yang dilonggarkan, untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keuntungan Nova
Keunggulan utama Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Sistem R1CS tradisional memerlukan banyak keacakan dalam proses pembuktian, yang mengakibatkan proses pembuatan dan verifikasi bukti menjadi kompleks dan memakan waktu. Nova, dengan menggunakan R1CS yang dilonggarkan, memungkinkan penggunaan keacakan yang lebih sedikit dalam bukti, yang secara signifikan meningkatkan efisiensi bukti.
Nova juga mendukung komputasi inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap tanpa harus menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data besar atau perhitungan kompleks. Selain itu, Nova juga mendukung perhitungan polinomial, yang dapat menangani tugas pembuktian yang lebih kompleks.
Kekurangan Nova
Nova menggunakan R1CS yang dilonggarkan, yang buktinya mungkin tidak sekuat sistem R1CS tradisional. R1CS yang dilonggarkan menggunakan lebih sedikit keacakan, yang mungkin mengurangi keamanan bukti. Namun, pengembang Nova telah mengambil langkah-langkah untuk mengatasi masalah ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Kedua, implementasi Nova relatif kompleks, yang mungkin meningkatkan kesulitan penggunaan dan pemeliharaan. Nova menggunakan banyak teknik kriptografi tingkat tinggi, seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik ini untuk dapat menggunakan dan memodifikasi Nova secara efektif.
Posisi Penting Nova di Bidang zk-SNARKs
Nova memiliki posisi penting dalam bidang zk-SNARKs. Ini membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang digunakan oleh Nova membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Selain itu, Nova mendukung perhitungan inkremental dan perhitungan polinomial, yang dapat menangani tugas bukti yang lebih kompleks, lebih lanjut memperluas cakupan aplikasi zk-SNARKs.
Penjelasan Kode Sumber Nova
Sumber kode Nova terutama terdiri dari beberapa modul penting berikut:
bellperson: Mengimplementasikan R1CS( Sistem Kendala Peringkat-1).
gadget: Termasuk alat untuk membangun bukti zk-SNARKs.
penyedia: Termasuk beberapa kode penyedia, seperti implementasi fungsi hash Keccak.
spartan: Termasuk kode terkait protokol Spartan.
traits: Mendefinisikan beberapa perilaku umum dari traits Rust.
Implementasi inti Nova mencakup:
Komponen-komponen ini bersama-sama membentuk sistem zk-SNARKs Nova, memungkinkan untuk menghasilkan dan memverifikasi bukti perhitungan kompleks secara efisien, sambil menjamin keamanan dan privasi bukti.