Nova adalah sistem bukti nol baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat-1 yang Dilemaskan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keuntungan Nova
Keunggulan utama Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Dibandingkan dengan sistem R1CS tradisional, Nova memungkinkan penggunaan lebih sedikit acak dalam pembuktian, sehingga secara signifikan meningkatkan efisiensi pembuktian. Selain itu, Nova juga mendukung perhitungan inkremental dan perhitungan polinomial, yang memungkinkannya untuk menangani tugas pembuktian yang lebih kompleks.
Nova mendukung perhitungan inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa perlu menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data berskala besar atau melakukan perhitungan kompleks.
Kekurangan Nova
Karena menggunakan R1CS yang dilonggarkan, bukti Nova mungkin tidak sekuat sistem R1CS tradisional. R1CS yang dilonggarkan memungkinkan penggunaan lebih sedikit keacakan, yang dapat 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.
Implementasi Nova relatif kompleks, yang mungkin akan meningkatkan kesulitan dalam penggunaan dan pemeliharaannya. Ia menggunakan banyak teknik kriptografi tingkat lanjut, seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik tersebut agar dapat digunakan dan dimodifikasi secara efektif.
Pentingnya Nova di bidang zk-SNARKs
Nova membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang diadopsinya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs yang berskala besar. Selain itu, Nova juga mendukung perhitungan inkremental dan perhitungan polinomial, sehingga dapat menangani tugas bukti yang lebih kompleks, semakin memperluas jangkauan aplikasi zk-SNARKs.
Penjelasan Kode Sumber Nova
Sumber kode Nova terutama terdiri dari beberapa bagian berikut:
Implementasi terkait R1CS: mendefinisikan struktur R1CSShape, R1CSWitness, R1CSInstance, dan metode mereka.
Implementasi protokol Spartan: termasuk perhitungan polinomial, algoritma Sumcheck, dll.
Skema Komitmen: Telah berhasil mengimplementasikan skema komitmen polinomial berbasis IPA.
Mesin Transkripsi: Menggunakan fungsi hash Keccak256 untuk mengimplementasikan TranscriptEngineTrait.
Mesin Evaluasi: Mengimplementasikan EvaluationEngineTrait, untuk pembuktian dan verifikasi evaluasi polinomial.
Implementasi SNARK: mendefinisikan RelaxedR1CSSNARKTrait, mengimplementasikan metode setup, prove, dan verify.
Alat matematika: Telah diimplementasikan beberapa operasi matematika dasar, seperti menghitung pangkat 2, mendapatkan bit biner, dll.
Definisi sirkuit: Mendefinisikan sifat StepCircuit, yang digunakan untuk menggambarkan fungsi langkah dari perhitungan inkremental.
Struktur sumber kode Nova jelas, dengan tingkat modularitas yang tinggi, menyediakan kerangka sistem pembuktian tanpa pengetahuan yang fleksibel dan efisien untuk para pengembang.
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.
7 Suka
Hadiah
7
7
Bagikan
Komentar
0/400
RunWhenCut
· 07-12 10:12
Merasa tidak aman seperti sistem tradisional, sudah pergi.
Lihat AsliBalas0
ConsensusDissenter
· 07-12 04:57
Datang lagi dengan algoritme? Microsoft kali ini cukup cepat.
Lihat AsliBalas0
OnChain_Detective
· 07-12 01:24
hmm kompromi keamanan terdeteksi... kompromi microsoft yang khas
Nova: Microsoft meluncurkan sistem zk-SNARKs yang efisien untuk meningkatkan efisiensi aplikasi ZK
Nova: Sistem zk-SNARKs yang efisien
Nova adalah sistem bukti nol baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat-1 yang Dilemaskan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keuntungan Nova
Keunggulan utama Nova terletak pada penggunaan teknologi R1CS yang dilonggarkan. Dibandingkan dengan sistem R1CS tradisional, Nova memungkinkan penggunaan lebih sedikit acak dalam pembuktian, sehingga secara signifikan meningkatkan efisiensi pembuktian. Selain itu, Nova juga mendukung perhitungan inkremental dan perhitungan polinomial, yang memungkinkannya untuk menangani tugas pembuktian yang lebih kompleks.
Nova mendukung perhitungan inkremental, yang memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa perlu menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data berskala besar atau melakukan perhitungan kompleks.
Kekurangan Nova
Karena menggunakan R1CS yang dilonggarkan, bukti Nova mungkin tidak sekuat sistem R1CS tradisional. R1CS yang dilonggarkan memungkinkan penggunaan lebih sedikit keacakan, yang dapat 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.
Implementasi Nova relatif kompleks, yang mungkin akan meningkatkan kesulitan dalam penggunaan dan pemeliharaannya. Ia menggunakan banyak teknik kriptografi tingkat lanjut, seperti perhitungan polinomial, operasi grup, dan oracle acak, yang memerlukan pemahaman mendalam tentang teknik-teknik tersebut agar dapat digunakan dan dimodifikasi secara efektif.
Pentingnya Nova di bidang zk-SNARKs
Nova membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang diadopsinya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs yang berskala besar. Selain itu, Nova juga mendukung perhitungan inkremental dan perhitungan polinomial, sehingga dapat menangani tugas bukti yang lebih kompleks, semakin memperluas jangkauan aplikasi zk-SNARKs.
Penjelasan Kode Sumber Nova
Sumber kode Nova terutama terdiri dari beberapa bagian berikut:
Implementasi terkait R1CS: mendefinisikan struktur R1CSShape, R1CSWitness, R1CSInstance, dan metode mereka.
Implementasi protokol Spartan: termasuk perhitungan polinomial, algoritma Sumcheck, dll.
Skema Komitmen: Telah berhasil mengimplementasikan skema komitmen polinomial berbasis IPA.
Mesin Transkripsi: Menggunakan fungsi hash Keccak256 untuk mengimplementasikan TranscriptEngineTrait.
Mesin Evaluasi: Mengimplementasikan EvaluationEngineTrait, untuk pembuktian dan verifikasi evaluasi polinomial.
Implementasi SNARK: mendefinisikan RelaxedR1CSSNARKTrait, mengimplementasikan metode setup, prove, dan verify.
Alat matematika: Telah diimplementasikan beberapa operasi matematika dasar, seperti menghitung pangkat 2, mendapatkan bit biner, dll.
Definisi sirkuit: Mendefinisikan sifat StepCircuit, yang digunakan untuk menggambarkan fungsi langkah dari perhitungan inkremental.
Struktur sumber kode Nova jelas, dengan tingkat modularitas yang tinggi, menyediakan kerangka sistem pembuktian tanpa pengetahuan yang fleksibel dan efisien untuk para pengembang.