Nova adalah sistem bukti nol baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat-1 yang Dilegakan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keuntungan Utama Nova
Menggunakan teknologi R1CS yang santai, secara signifikan meningkatkan efisiensi pembuktian.
Mendukung perhitungan inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Bukti mungkin tidak sekuat sistem R1CS tradisional, karena R1CS yang dilonggarkan memungkinkan penggunaan lebih sedikit keacakan dalam bukti.
Implementasi relatif kompleks, mungkin meningkatkan kesulitan dalam penggunaan dan pemeliharaan.
Pentingnya Nova di bidang zk-SNARKs
Kehadiran Nova membuka jalan baru untuk pengembangan zk-SNARKs. Efisiensinya dan fleksibilitasnya memungkinkan aplikasi zk-SNARKs berskala besar, yang lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Komponen Inti Nova
R1CS dan R1CS yang dilonggarkan: sistem pembatas yang digunakan untuk membangun zk-SNARKs.
Skema komitmen polinomial: digunakan untuk membuktikan kebenaran evaluasi polinomial.
Skema lipatan non-interaktif (NIFS): digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Kriptografi Kurva Elips (ECC): Menyediakan operasi kriptografi dasar.
Implementasi Nova melibatkan berbagai konsep dan teknologi kriptografi yang kompleks, termasuk R1CS, komitmen polinomial, dan oracle acak. Komponen-komponen ini bersama-sama membentuk sistem bukti nol yang efisien dan fleksibel, memberikan dukungan teknis yang kuat untuk aplikasi di bidang blockchain, verifikasi identitas, dan lainnya.
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.
9 Suka
Hadiah
9
8
Bagikan
Komentar
0/400
MidnightTrader
· 07-15 10:05
Microsoft sudah paham ini, kan?
Lihat AsliBalas0
TokenVelocity
· 07-15 01:51
Kapan Microsoft mulai mengembangkan zk...
Lihat AsliBalas0
ForkMonger
· 07-15 01:34
meh... zk terpusat oleh msft? apa yang mungkin salah?
Lihat AsliBalas0
ResearchChadButBroke
· 07-12 19:30
Microsoft kembali menang besar.
Lihat AsliBalas0
GateUser-0717ab66
· 07-12 19:23
Kuat, Microsoft juga mulai bermain dengan Blockchain.
Lihat AsliBalas0
ForkTongue
· 07-12 19:22
Ah, GigaHard juga melakukan ini ya.
Lihat AsliBalas0
DarkPoolWatcher
· 07-12 19:03
Ini adalah sistem bukti lagi, tetapi begitu rumit!
Lihat AsliBalas0
BearMarketGardener
· 07-12 19:02
Apakah mereka datang lagi untuk menipu kita dengan teknologi baru?
Nova: Sistem zero-knowledge proof yang efisien yang dikembangkan oleh Microsoft merevolusi aplikasi Blockchain
Nova: Sistem zk-SNARKs yang efisien
Nova adalah sistem bukti nol baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat-1 yang Dilegakan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keuntungan Utama Nova
Menggunakan teknologi R1CS yang santai, secara signifikan meningkatkan efisiensi pembuktian.
Mendukung perhitungan inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Bukti mungkin tidak sekuat sistem R1CS tradisional, karena R1CS yang dilonggarkan memungkinkan penggunaan lebih sedikit keacakan dalam bukti.
Implementasi relatif kompleks, mungkin meningkatkan kesulitan dalam penggunaan dan pemeliharaan.
Pentingnya Nova di bidang zk-SNARKs
Kehadiran Nova membuka jalan baru untuk pengembangan zk-SNARKs. Efisiensinya dan fleksibilitasnya memungkinkan aplikasi zk-SNARKs berskala besar, yang lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Komponen Inti Nova
R1CS dan R1CS yang dilonggarkan: sistem pembatas yang digunakan untuk membangun zk-SNARKs.
Skema komitmen polinomial: digunakan untuk membuktikan kebenaran evaluasi polinomial.
Skema lipatan non-interaktif (NIFS): digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Kriptografi Kurva Elips (ECC): Menyediakan operasi kriptografi dasar.
Implementasi Nova melibatkan berbagai konsep dan teknologi kriptografi yang kompleks, termasuk R1CS, komitmen polinomial, dan oracle acak. Komponen-komponen ini bersama-sama membentuk sistem bukti nol yang efisien dan fleksibel, memberikan dukungan teknis yang kuat untuk aplikasi di bidang blockchain, verifikasi identitas, dan lainnya.