Nova adalah sistem baru bukti nol yang dikembangkan oleh Microsoft, yang menggunakan sistem (Relaxed Rank-1 Constraint Systems) yang dilonggarkan untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknik R1CS yang dilonggarkan, memungkinkan penggunaan lebih sedikit kebetulan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung komputasi inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data besar atau melakukan perhitungan yang kompleks.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang longgar, bukti mungkin tidak sekuat sistem R1CS tradisional. Namun, pengembang telah mengambil langkah-langkah untuk mengatasi masalah ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Implementasi relatif kompleks, mungkin meningkatkan kesulitan dalam penggunaan dan pemeliharaan. Nova menggunakan banyak teknik kriptografi tingkat tinggi, yang memerlukan pemahaman mendalam tentang teknik-teknik ini untuk dapat digunakan dan dimodifikasi secara efektif.
Posisi Penting Nova
Nova membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi yang digunakannya membuat proses generasi dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Selain itu, Nova juga mendukung perhitungan inkremental dan perhitungan polinomial, yang semakin memperluas jangkauan aplikasi zk-SNARKs.
Komponen Utama Nova
Modul terkait R1CS: mendefinisikan struktur dan operasi dasar R1CS.
Modul Perhitungan Polinomial: Mengimplementasikan representasi dan operasi dasar polinomial.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Skema Komitmen: Mewujudkan mekanisme komitmen dalam kriptografi.
Mesin evaluasi: digunakan untuk membuktikan dan memverifikasi evaluasi polinomial.
Preprocessor: melakukan pra-pemrosesan terhadap input.
Mesin transkripsi: menangani interaksi selama proses pembuktian.
Implementasi zkSNARK: Sistem bukti non-interaktif yang ringkas dan berbasis pengetahuan nol telah direalisasikan berdasarkan komponen di atas.
Nova melalui kombinasi cerdik dari komponen-komponen ini, menciptakan sistem zk-SNARKs yang efisien dan fleksibel, memberikan kemungkinan baru untuk perkembangan bidang-bidang seperti kriptografi dan blockchain.
Lihat Asli
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.
18 Suka
Hadiah
18
3
Posting ulang
Bagikan
Komentar
0/400
shadowy_supercoder
· 08-13 04:19
Mengapa Microsoft melakukan hal-hal yang begitu berlebihan?
Lihat AsliBalas0
BearMarketSurvivor
· 08-11 18:57
Veteran mengamati senjata baru untuk melihat bagaimana performa daya tembaknya.
Nova: Sistem zk-SNARKs yang efisien dan fleksibel
Nova: Sistem zk-SNARKs yang baru
Nova adalah sistem baru bukti nol yang dikembangkan oleh Microsoft, yang menggunakan sistem (Relaxed Rank-1 Constraint Systems) yang dilonggarkan untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknik R1CS yang dilonggarkan, memungkinkan penggunaan lebih sedikit kebetulan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung komputasi inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus. Ini sangat berguna saat menangani data besar atau melakukan perhitungan yang kompleks.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang longgar, bukti mungkin tidak sekuat sistem R1CS tradisional. Namun, pengembang telah mengambil langkah-langkah untuk mengatasi masalah ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Implementasi relatif kompleks, mungkin meningkatkan kesulitan dalam penggunaan dan pemeliharaan. Nova menggunakan banyak teknik kriptografi tingkat tinggi, yang memerlukan pemahaman mendalam tentang teknik-teknik ini untuk dapat digunakan dan dimodifikasi secara efektif.
Posisi Penting Nova
Nova membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi yang digunakannya membuat proses generasi dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Selain itu, Nova juga mendukung perhitungan inkremental dan perhitungan polinomial, yang semakin memperluas jangkauan aplikasi zk-SNARKs.
Komponen Utama Nova
Modul terkait R1CS: mendefinisikan struktur dan operasi dasar R1CS.
Modul Perhitungan Polinomial: Mengimplementasikan representasi dan operasi dasar polinomial.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Skema Komitmen: Mewujudkan mekanisme komitmen dalam kriptografi.
Mesin evaluasi: digunakan untuk membuktikan dan memverifikasi evaluasi polinomial.
Preprocessor: melakukan pra-pemrosesan terhadap input.
Mesin transkripsi: menangani interaksi selama proses pembuktian.
Implementasi zkSNARK: Sistem bukti non-interaktif yang ringkas dan berbasis pengetahuan nol telah direalisasikan berdasarkan komponen di atas.
Nova melalui kombinasi cerdik dari komponen-komponen ini, menciptakan sistem zk-SNARKs yang efisien dan fleksibel, memberikan kemungkinan baru untuk perkembangan bidang-bidang seperti kriptografi dan blockchain.