Nova: Sistem zk-SNARKs yang efisien dan fleksibel untuk penerapan berskala besar

robot
Pembuatan abstrak sedang berlangsung

Nova: Sebuah sistem zk-SNARKs yang efisien

Nova adalah sistem bukti nol yang baru, dikembangkan oleh Microsoft, yang bertujuan untuk meningkatkan efisiensi dan fleksibilitas bukti. Ini menggunakan teknologi sistem kendala peringkat-1 yang dilonggarkan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS), yang memungkinkan penggunaan lebih sedikit keacakan dalam bukti, sehingga secara signifikan meningkatkan efisiensi bukti.

Fitur Utama Nova

  1. Efisiensi: Nova menggunakan teknologi R1CS yang santai, mengurangi keacakan yang diperlukan dalam proses pembuktian, secara signifikan meningkatkan kecepatan pembuatan dan verifikasi bukti.

  2. Mendukung perhitungan inkremental: Nova memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa perlu menyelesaikan seluruh proses perhitungan sekaligus. Ini sangat berguna saat menangani data besar atau melakukan perhitungan kompleks.

  3. Dukungan perhitungan polinomial: Nova dapat menangani tugas pembuktian yang lebih kompleks, memperluas jangkauan aplikasi zk-SNARKs.

  4. Fleksibilitas: Desain Nova memungkinkan untuk beradaptasi dengan berbagai skenario aplikasi yang berbeda, sehingga dapat berfungsi di berbagai bidang.

Implementasi Teknologi Nova

Implementasi inti Nova mencakup beberapa bagian utama berikut:

  1. R1CS (Rank-1 Constraint Systems): Nova menggunakan sistem R1CS yang ditingkatkan untuk membangun zk-SNARKs.

  2. Skema komitmen polinomial: Nova menggunakan skema komitmen polinomial berbasis argumen produk dalam (Inner Product Argument, IPA).

  3. Algoritma Sumcheck: algoritma yang digunakan untuk memverifikasi penjumlahan polinomial, memainkan peran penting dalam sistem bukti Nova.

  4. Skema Lipat Non-Interaktif (Non-Interactive Folding Scheme, NIFS): Digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.

  5. Kriptografi Kurva Elips (ECC): Nova menggunakan ECC untuk melakukan operasi kriptografi yang efisien.

Status Nova di bidang zk-SNARKs

Kemunculan Nova membuka jalan baru untuk pengembangan zk-SNARKs. Efisiensi dan fleksibilitasnya memungkinkan aplikasi zk-SNARKs skala besar menjadi mungkin. Nova mendukung perhitungan inkremental dan perhitungan polinomial yang kompleks, yang lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.

Meskipun Nova memiliki keunggulan signifikan dalam efisiensi dan fungsionalitas, implementasinya relatif kompleks dan memerlukan pemahaman mendalam tentang teknologi kriptografi terkait untuk dapat digunakan dan dimodifikasi secara efektif. Selain itu, karena menggunakan R1CS yang dilonggarkan, bukti Nova mungkin tidak sekuat sistem R1CS tradisional dalam beberapa kasus. Namun, pengembang Nova telah mengambil langkah untuk mengatasi masalah potensial ini, seperti menggunakan algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.

Secara keseluruhan, Nova mewakili kemajuan penting dalam teknologi zk-SNARKs, memberikan kemungkinan dan arah baru untuk pengembangan masa depan di bidang ini.

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.
  • Hadiah
  • 3
  • Bagikan
Komentar
0/400
LiquidationWatchervip
· 07-01 16:20
Ternyata tidur di kelas matematika. Ada yang bisa menjelaskan dengan satu kalimat?
Lihat AsliBalas0
CrashHotlinevip
· 07-01 16:18
Microsoft akhirnya melakukan sesuatu yang serius
Lihat AsliBalas0
LongTermDreamervip
· 07-01 16:05
Tiga tahun lagi ini bisa meledak. Hanya tergantung siapa yang bisa menahan pullback.
Lihat AsliBalas0
  • Sematkan
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)