Nova adalah sistem baru yang dikembangkan oleh Microsoft untuk pembuktian tanpa pengetahuan (零知识证明), yang menggunakan sistem ( Relaxed Rank-1 Constraint Systems, teknologi Relaxed R1CS), untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keuntungan Nova
Keunggulan utama Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Sistem R1CS tradisional memerlukan banyak keacakan selama proses pembuktian, yang menyebabkan proses pembuatan dan verifikasi bukti menjadi kompleks dan memakan waktu. Nova, dengan menggunakan R1CS yang dilonggarkan, memerlukan lebih sedikit keacakan, sehingga secara signifikan meningkatkan efisiensi bukti.
Nova juga mendukung perhitungan inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap tanpa perlu menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data berukuran besar atau perhitungan yang kompleks. Selain itu, Nova mendukung perhitungan polinomial, yang dapat menangani tugas pembuktian yang lebih kompleks.
Kekurangan Nova
Nova menggunakan R1CS yang dilonggarkan, dan 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 hal ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang kompleks.
Implementasi Nova relatif kompleks, yang mungkin meningkatkan kesulitan penggunaan dan pemeliharaannya. Nova menggunakan banyak teknik kriptografi tingkat tinggi, seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik ini agar dapat menggunakan dan memodifikasi Nova secara efektif.
Posisi Penting Nova di Bidang zk-SNARKs
Nova membuka jalur baru untuk pengembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang digunakannya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Nova mendukung perhitungan inkremental dan perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks, dan lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Penjelasan Sumber Kode Nova
Kode sumber proyek Nova mencakup modul utama berikut:
ipa_pc.rs: Mengimplementasikan mesin evaluasi untuk skema komitmen polinomial berbasis IPA.
r1cs.rs: mendefinisikan tipe dan metode yang terkait dengan R1CS.
Modul dan file ini bersama-sama mewujudkan fungsi inti Nova, termasuk pembuatan dan pemrosesan R1CS, komitmen polinomial, dan folding non-interaktif, yang menyediakan dasar untuk membangun sistem zk-SNARKs yang efisien.
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.
12 Suka
Hadiah
12
6
Bagikan
Komentar
0/400
GateUser-1a2ed0b9
· 16jam yang lalu
Apakah benda ini benar-benar semenarik itu?
Lihat AsliBalas0
OnchainUndercover
· 07-20 04:21
Ada sesuatu yang baru, cara bermain yang baru!
Lihat AsliBalas0
AltcoinOracle
· 07-20 04:20
kompromi keamanan yang dapat diprediksi... pola smh terulang
Lihat AsliBalas0
ShibaOnTheRun
· 07-20 04:17
Ini adalah trik baru dari Microsoft ya.
Lihat AsliBalas0
OnChainSleuth
· 07-20 04:15
Merasa tidak aman, tidak dapat diandalkan.
Lihat AsliBalas0
MetaMaskVictim
· 07-20 04:06
Apakah ini barang baru dari Microsoft lagi? Tidak bisa diandalkan
Sistem zk-SNARKs inovatif Nova: Memecahkan hambatan R1CS tradisional dengan efisien dan fleksibel
Nova: Sistem zk-SNARKs yang baru
Nova adalah sistem baru yang dikembangkan oleh Microsoft untuk pembuktian tanpa pengetahuan (零知识证明), yang menggunakan sistem ( Relaxed Rank-1 Constraint Systems, teknologi Relaxed R1CS), untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keuntungan Nova
Keunggulan utama Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Sistem R1CS tradisional memerlukan banyak keacakan selama proses pembuktian, yang menyebabkan proses pembuatan dan verifikasi bukti menjadi kompleks dan memakan waktu. Nova, dengan menggunakan R1CS yang dilonggarkan, memerlukan lebih sedikit keacakan, sehingga secara signifikan meningkatkan efisiensi bukti.
Nova juga mendukung perhitungan inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap tanpa perlu menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data berukuran besar atau perhitungan yang kompleks. Selain itu, Nova mendukung perhitungan polinomial, yang dapat menangani tugas pembuktian yang lebih kompleks.
Kekurangan Nova
Nova menggunakan R1CS yang dilonggarkan, dan 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 hal ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang kompleks.
Implementasi Nova relatif kompleks, yang mungkin meningkatkan kesulitan penggunaan dan pemeliharaannya. Nova menggunakan banyak teknik kriptografi tingkat tinggi, seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik ini agar dapat menggunakan dan memodifikasi Nova secara efektif.
Posisi Penting Nova di Bidang zk-SNARKs
Nova membuka jalur baru untuk pengembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang digunakannya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Nova mendukung perhitungan inkremental dan perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks, dan lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Penjelasan Sumber Kode Nova
Kode sumber proyek Nova mencakup modul utama berikut:
Dokumen kunci termasuk:
Modul dan file ini bersama-sama mewujudkan fungsi inti Nova, termasuk pembuatan dan pemrosesan R1CS, komitmen polinomial, dan folding non-interaktif, yang menyediakan dasar untuk membangun sistem zk-SNARKs yang efisien.