Nova adalah sistem zk-SNARKs baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi sistem pembatasan peringkat satu yang dilonggarkan (Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, mengurangi kebutuhan akan keacakan dalam proses pembuktian, secara signifikan meningkatkan efisiensi dalam menghasilkan dan memverifikasi bukti.
Mendukung perhitungan inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap tanpa perlu menyelesaikan seluruh proses perhitungan sekaligus. Ini sangat berguna saat menangani data berskala besar atau melakukan perhitungan kompleks.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang dilonggarkan, kekuatan buktinya mungkin tidak sekuat sistem R1CS tradisional. Tim pengembang mengatasi masalah ini dengan mengadopsi algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Implementasi Nova relatif kompleks, melibatkan banyak teknik kriptografi tingkat lanjut, seperti perhitungan polinomial, operasi grup, dan oracle acak. Ini meningkatkan kesulitan penggunaan dan pemeliharaan.
Status Nova di bidang zk-SNARKs
Nova membuka jalur baru untuk pengembangan zk-SNARKs. Proses pembuatan dan verifikasi bukti yang efisien sangat penting untuk aplikasi zk-SNARKs berskala besar. Fitur yang mendukung perhitungan inkremental dan perhitungan polinomial lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Komponen Inti Nova
R1CS dan R1CS Longgar: mendefinisikan struktur dasar dari sistem kendala.
Perhitungan polinomial: Mengimplementasikan berbagai operasi polinomial, seperti polinomial persamaan, polinomial multilinier, dan polinomial jarang.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial, merupakan komponen kunci dari sistem pembuktian tanpa pengetahuan.
Skema komitmen: memungkinkan pembuktian untuk mengkomit nilai tertentu tanpa segera mengungkapkannya.
Mesin Evaluasi: Bertanggung jawab untuk pembuktian dan verifikasi evaluasi polinomial.
Mesin transkripsi: mencatat langkah-langkah interaksi dalam proses pembuktian.
Implementasi zkSNARK: Menyediakan pembuktian non-interaktif yang ringkas dan berbasis pengetahuan nol untuk R1CS yang dilonggarkan.
Komponen inti Nova ini bersama-sama membentuk sistem zk-SNARKs yang efisien dan fleksibel, memberikan dukungan teknologi yang kuat untuk bidang blockchain, otentikasi, dan komputasi aman.
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.
8 Suka
Hadiah
8
8
Posting ulang
Bagikan
Komentar
0/400
DefiOldTrickster
· 07-28 07:21
Tidak heran bel peringatan arbitrase on-chain belakangan ini berbunyi kencang hehe.
Lihat AsliBalas0
liquidation_watcher
· 07-26 02:53
Sekali lagi datang untuk menggulung pengetahuan nol.
Lihat AsliBalas0
AirdropDreamBreaker
· 07-25 21:31
Santai ya R1CS sudah santai yyds
Lihat AsliBalas0
DeFiGrayling
· 07-25 19:00
Microsoft akhirnya membuat sesuatu yang berguna!
Lihat AsliBalas0
Whale_Whisperer
· 07-25 18:58
Lihat mainan baru Microsoft
Lihat AsliBalas0
PuzzledScholar
· 07-25 18:51
Yang baik dalam matematika, silakan tantang.
Lihat AsliBalas0
StablecoinArbitrageur
· 07-25 18:46
hmm menarik. menjalankan tes bot arb saya di sini - peningkatan efisiensi nova bisa berarti +0.13% ROI harian
Nova: Sistem zk-SNARKs baru dari Microsoft meningkatkan efisiensi dan fleksibilitas
Nova: Sistem zk-SNARKs Baru
Nova adalah sistem zk-SNARKs baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi sistem pembatasan peringkat satu yang dilonggarkan (Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas pembuktian.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, mengurangi kebutuhan akan keacakan dalam proses pembuktian, secara signifikan meningkatkan efisiensi dalam menghasilkan dan memverifikasi bukti.
Mendukung perhitungan inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap tanpa perlu menyelesaikan seluruh proses perhitungan sekaligus. Ini sangat berguna saat menangani data berskala besar atau melakukan perhitungan kompleks.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang dilonggarkan, kekuatan buktinya mungkin tidak sekuat sistem R1CS tradisional. Tim pengembang mengatasi masalah ini dengan mengadopsi algoritma kriptografi yang lebih kuat dan strategi bukti yang lebih kompleks.
Implementasi Nova relatif kompleks, melibatkan banyak teknik kriptografi tingkat lanjut, seperti perhitungan polinomial, operasi grup, dan oracle acak. Ini meningkatkan kesulitan penggunaan dan pemeliharaan.
Status Nova di bidang zk-SNARKs
Nova membuka jalur baru untuk pengembangan zk-SNARKs. Proses pembuatan dan verifikasi bukti yang efisien sangat penting untuk aplikasi zk-SNARKs berskala besar. Fitur yang mendukung perhitungan inkremental dan perhitungan polinomial lebih lanjut memperluas jangkauan aplikasi zk-SNARKs.
Komponen Inti Nova
R1CS dan R1CS Longgar: mendefinisikan struktur dasar dari sistem kendala.
Perhitungan polinomial: Mengimplementasikan berbagai operasi polinomial, seperti polinomial persamaan, polinomial multilinier, dan polinomial jarang.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial, merupakan komponen kunci dari sistem pembuktian tanpa pengetahuan.
Skema komitmen: memungkinkan pembuktian untuk mengkomit nilai tertentu tanpa segera mengungkapkannya.
Mesin Evaluasi: Bertanggung jawab untuk pembuktian dan verifikasi evaluasi polinomial.
Mesin transkripsi: mencatat langkah-langkah interaksi dalam proses pembuktian.
Implementasi zkSNARK: Menyediakan pembuktian non-interaktif yang ringkas dan berbasis pengetahuan nol untuk R1CS yang dilonggarkan.
Komponen inti Nova ini bersama-sama membentuk sistem zk-SNARKs yang efisien dan fleksibel, memberikan dukungan teknologi yang kuat untuk bidang blockchain, otentikasi, dan komputasi aman.