Nova: Kemajuan terobosan sistem zk-SNARKs yang dikembangkan oleh Microsoft

robot
Pembuatan abstrak sedang berlangsung

Nova: Sistem zk-SNARKs yang efisien

Nova adalah sistem bukti nol pengetahuan baru yang dikembangkan oleh Microsoft. Ini menggunakan teknologi Relaxed R1CS( yang merupakan sistem pembatasan peringkat satu yang dilonggarkan ), yang secara signifikan meningkatkan efisiensi dan fleksibilitas bukti. Fitur utama Nova termasuk:

  • Menggunakan R1CS yang dilonggarkan, mengurangi kebutuhan acak dalam proses pembuktian, secara signifikan meningkatkan efisiensi
  • Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap tanpa harus menyelesaikannya sekaligus.
  • Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks
  • Menggunakan teknologi kriptografi canggih, seperti perhitungan polinomial, operasi grup, dan oracle acak.

Nova memiliki posisi penting di bidang zk-SNARKs. Ini membuka kemungkinan baru untuk aplikasi zk-SNARKs berskala besar, memperluas jangkauan aplikasi zk-SNARKs.

Komponen inti Nova meliputi:

  • Sistem R1CS: mendefinisikan struktur dan operasi dari sistem pembatasan
  • Perhitungan polinomial: mengimplementasikan polinomial persamaan, polinomial multilinear, dll.
  • Skema komitmen: digunakan untuk menyembunyikan informasi tetapi dapat memverifikasi kebenarannya
  • Algoritma Sumcheck: memverifikasi kebenaran penjumlahan polinomial
  • Skema lipatan non-interaktif: digunakan untuk membuktikan kebenaran perhitungan inkremental

Nova juga telah mengimplementasikan rangkaian lengkap dari proses pembuatan dan verifikasi bukti, termasuk tiga tahap yaitu pengaturan, bukti, dan verifikasi.

Secara keseluruhan, Nova adalah sistem zk-SNARKs yang efisien dan fleksibel, yang memberikan dasar yang kuat untuk membangun aplikasi zk-SNARKs yang kompleks. Sambil melindungi privasi, ia juga membawa kemungkinan baru untuk blockchain, otentikasi, dan bidang 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.
  • Hadiah
  • 7
  • Bagikan
Komentar
0/400
StablecoinArbitrageurvip
· 07-20 00:35
*menyesuaikan kacamata baca* hmm... R1CS yang dioptimalkan dengan kendala yang dilonggarkan? sinyal backtesting saya menunjukkan potensi arb yang besar di sini
Lihat AsliBalas0
FlashLoanLarryvip
· 07-19 16:00
wen zkms token ser?
Balas0
LuckyHashValuevip
· 07-18 16:55
Satu lagi sistem yang mengklaim efisien? Mari kita lihat hasilnya.
Lihat AsliBalas0
¯\_(ツ)_/¯vip
· 07-18 02:15
Wah, Microsoft juga terlibat!
Lihat AsliBalas0
DegenApeSurfervip
· 07-18 02:06
Yoh, Giant Hard akhirnya turun untuk membuat zk.
Lihat AsliBalas0
ReverseFOMOguyvip
· 07-18 02:02
Kekuatan Microsoft ini memang bull.
Lihat AsliBalas0
DisillusiionOraclevip
· 07-18 01:46
Microsoft sudah get on board, industri akan besar.
Lihat AsliBalas0
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)