Nova: Sistem zk-SNARK rekursif generasi baru yang efisien dan keuntungannya

robot
Pembuatan abstrak sedang berlangsung

Nova: Sistem zk-SNARK rekursif yang efisien

Nova adalah sistem pembuktian pengetahuan yang baru, menggunakan zk-SNARK(, yang dikembangkan oleh Microsoft Research. Ini menggunakan teknologi yang disebut Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.

Keunggulan Utama Nova

  • Menggunakan teknologi R1CS yang dilonggarkan, mengurangi kebutuhan akan acak, secara signifikan meningkatkan efisiensi pembuktian.
  • Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa perlu menyelesaikan seluruh perhitungan sekaligus.
  • Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks
  • Proses pembuatan dan verifikasi bukti menjadi lebih efisien, cocok untuk skenario aplikasi berskala besar

Potensi Keterbatasan Nova

  • R1CS yang santai mungkin menyebabkan keamanan bukti sedikit lebih rendah dibandingkan dengan sistem R1CS tradisional
  • Relatif kompleks, sulit digunakan dan dipelihara
  • Diperlukan pemahaman mendalam tentang teknologi kriptografi tingkat lanjut untuk dapat menggunakan dan memodifikasi secara efektif.

Komponen Inti Nova

  1. R1CS dan R1CS yang dilonggarkan: sistem pembatas yang digunakan untuk membangun bukti nol pengetahuan

  2. Skema komitmen polinomial: digunakan untuk membuktikan nilai evaluasi polinomial

  3. Solusi lipat non-interaktif ( NIFS ): digunakan untuk membuktikan kebenaran setiap langkah perhitungan inkremental

  4. Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial

  5. Kriptografi Kurva Elips ( ECC ): Menyediakan primitif kriptografi dasar

  6. Fungsi hash Keccak256: digunakan untuk menangani transkrip dalam proses pembuktian

  7. Operasi Bilangan Besar: Mendukung perhitungan yang melebihi rentang bilangan bulat biasa.

Nova melalui kombinasi inovatif dari komponen ini, mewujudkan sistem bukti rekursif yang efisien, dan meletakkan dasar untuk aplikasi berskala besar dari teknologi bukti nol pengetahuan.

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
  • 5
  • Bagikan
Komentar
0/400
BrokenYieldvip
· 10jam yang lalu
meh... sistem zk "efisien" lain dengan kompromi keamanan. kapan mereka akan belajar
Lihat AsliBalas0
CryptoCrazyGFvip
· 07-06 00:01
Bagus sekali, Ayah Microsoft datang.
Lihat AsliBalas0
NotFinancialAdviservip
· 07-05 22:28
Microsoft datang lagi untuk Kupon Klip
Lihat AsliBalas0
GhostAddressMinervip
· 07-05 22:28
Microsoft juga bermain-main dengan privasi? Data kertas mencurigakan, aliran dana sulit dilacak.
Lihat AsliBalas0
PumpBeforeRugvip
· 07-05 22:27
Tertawa sampai mati, lagi-lagi Microsoft
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)