Nova adalah sistem baru dari bukti pengetahuan nol yang dikembangkan oleh Microsoft, menggunakan teknologi Sistem Kendala Peringkat-1 yang Dilonggarkan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, memungkinkan penggunaan lebih sedikit keacakan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, mampu menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang longgar, bukti mungkin tidak sekuat sistem R1CS tradisional, dan mungkin sedikit mengurangi keamanan.
Implementasi relatif kompleks, memerlukan pemahaman mendalam tentang perhitungan polinomial, operasi grup, dan teknik kriptografi tingkat lanjut seperti oracle acak.
Pentingnya Nova di bidang zk-SNARKs
Membuka jalan baru untuk pengembangan zk-SNARKs.
Meningkatkan efisiensi pembuatan dan verifikasi bukti, yang sangat penting untuk aplikasi berskala besar.
Memperluas jangkauan aplikasi zk-SNARKs, dapat menangani tugas pembuktian yang lebih kompleks.
Komponen Inti Nova
R1CS dan Relaxed R1CS: sistem pembatas yang digunakan untuk membangun zk-SNARKs.
Mesin Evaluasi Polinomial: Digunakan untuk membuktikan nilai evaluasi polinomial pada suatu titik.
Skema komitmen: Mengizinkan pembuktian untuk mengkomit nilai tanpa mengungkapkannya segera.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Fungsi langkah perhitungan inkremental: memungkinkan perhitungan fungsi kompleks secara bertahap.
Inovasi Nova ini membawa kemungkinan baru bagi sistem zk-SNARKs, dan diharapkan dapat mendorong penerapan teknologi ini di berbagai bidang yang lebih luas.
Lihat Asli
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
17 Suka
Hadiah
17
7
Bagikan
Komentar
0/400
GetRichLeek
· 9jam yang lalu
Hmm zk盘 kembali memberikan koin hadiah, segera buy the dip!
Lihat AsliBalas0
WhaleStalker
· 9jam yang lalu
Microsoft juga sudah masuk ke zk, ada sedikit hal.
Lihat AsliBalas0
MelonField
· 9jam yang lalu
Lebih efisien itu lebih baik, keamanan nanti dibahas~
Lihat AsliBalas0
MetaEggplant
· 9jam yang lalu
Keamanan sedikit rendah? Ini berani dipublikasikan?
Lihat AsliBalas0
CascadingDipBuyer
· 9jam yang lalu
Ada ide yang tidak dapat diandalkan, tetapi bermain saja sudah cukup.
Nova: Sistem baru yang meningkatkan efisiensi zk-SNARKs
Nova: Sistem zk-SNARKs baru
Nova adalah sistem baru dari bukti pengetahuan nol yang dikembangkan oleh Microsoft, menggunakan teknologi Sistem Kendala Peringkat-1 yang Dilonggarkan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, memungkinkan penggunaan lebih sedikit keacakan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, mampu menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang longgar, bukti mungkin tidak sekuat sistem R1CS tradisional, dan mungkin sedikit mengurangi keamanan.
Implementasi relatif kompleks, memerlukan pemahaman mendalam tentang perhitungan polinomial, operasi grup, dan teknik kriptografi tingkat lanjut seperti oracle acak.
Pentingnya Nova di bidang zk-SNARKs
Membuka jalan baru untuk pengembangan zk-SNARKs.
Meningkatkan efisiensi pembuatan dan verifikasi bukti, yang sangat penting untuk aplikasi berskala besar.
Memperluas jangkauan aplikasi zk-SNARKs, dapat menangani tugas pembuktian yang lebih kompleks.
Komponen Inti Nova
R1CS dan Relaxed R1CS: sistem pembatas yang digunakan untuk membangun zk-SNARKs.
Mesin Evaluasi Polinomial: Digunakan untuk membuktikan nilai evaluasi polinomial pada suatu titik.
Skema komitmen: Mengizinkan pembuktian untuk mengkomit nilai tanpa mengungkapkannya segera.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Fungsi langkah perhitungan inkremental: memungkinkan perhitungan fungsi kompleks secara bertahap.
Inovasi Nova ini membawa kemungkinan baru bagi sistem zk-SNARKs, dan diharapkan dapat mendorong penerapan teknologi ini di berbagai bidang yang lebih luas.