Nova: Teknologi bukti nol pengetahuan baru yang didasarkan pada sistem pembatasan peringkat longgar
Nova adalah sistem zk-SNARKs baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat 1 yang Dilegakan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang santai, memungkinkan penggunaan lebih sedikit keacakan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Menggunakan R1CS yang dilonggarkan dapat mengurangi keamanan bukti, tetapi pengembang telah mengambil langkah-langkah untuk mengatasi masalah ini.
Implementasi relatif kompleks, meningkatkan kesulitan penggunaan dan pemeliharaan.
Posisi Nova di bidang zk-SNARKs
Nova membuka jalan baru untuk perkembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang diterapkannya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Dukungan untuk perhitungan inkremental dan perhitungan polinomial lebih lanjut memperluas cakupan aplikasi zk-SNARKs.
Komponen Inti Nova
R1CS dan R1CS yang dilonggarkan: sistem batasan yang digunakan untuk membangun zk-SNARKs.
Skema komitmen polinomial: digunakan untuk membuktikan nilai evaluasi polinomial tanpa mengungkapkan polinomial itu sendiri.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Skema lipatan non-interaktif (NIFS): digunakan untuk membuktikan keakuratan setiap langkah dalam perhitungan inkremental.
Kriptografi Kurva Elips (ECC): menyediakan teknologi enkripsi kunci publik yang efisien.
Fungsi hash Keccak256: digunakan untuk menangani transcript dalam proses zk-SNARKs.
Nova melalui kombinasi inovatif dari komponen-komponen ini, mewujudkan sistem zk-SNARKs yang efisien dan fleksibel, memberikan kemungkinan baru untuk bidang-bidang seperti blockchain, verifikasi identitas, 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.
12 Suka
Hadiah
12
6
Bagikan
Komentar
0/400
GateUser-2fce706c
· 6jam yang lalu
Datang! Era baru zk-SNARKs sudah tiba, segera siapkan langkah strategis.
Lihat AsliBalas0
MidnightGenesis
· 6jam yang lalu
Kodenya terlihat baik, tetapi saya kurang yakin.
Lihat AsliBalas0
CryptoHistoryClass
· 6jam yang lalu
tampaknya seperti hype teknologi IEO 2017 yang lain fr fr
Lihat AsliBalas0
WenAirdrop
· 6jam yang lalu
Zero knowledge memang hebat yang dibuat oleh Microsoft.
Nova: Sistem pembatasan relaksasi urutan satu mendukung pembuktian nol pengetahuan yang efisien
Nova: Teknologi bukti nol pengetahuan baru yang didasarkan pada sistem pembatasan peringkat longgar
Nova adalah sistem zk-SNARKs baru yang dikembangkan oleh Microsoft, yang menggunakan teknologi Sistem Kendala Peringkat 1 yang Dilegakan (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keunggulan Utama Nova
Menggunakan teknologi R1CS yang santai, memungkinkan penggunaan lebih sedikit keacakan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, memungkinkan perhitungan fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Menggunakan R1CS yang dilonggarkan dapat mengurangi keamanan bukti, tetapi pengembang telah mengambil langkah-langkah untuk mengatasi masalah ini.
Implementasi relatif kompleks, meningkatkan kesulitan penggunaan dan pemeliharaan.
Posisi Nova di bidang zk-SNARKs
Nova membuka jalan baru untuk perkembangan zk-SNARKs. Teknologi R1CS yang dilonggarkan yang diterapkannya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Dukungan untuk perhitungan inkremental dan perhitungan polinomial lebih lanjut memperluas cakupan aplikasi zk-SNARKs.
Komponen Inti Nova
R1CS dan R1CS yang dilonggarkan: sistem batasan yang digunakan untuk membangun zk-SNARKs.
Skema komitmen polinomial: digunakan untuk membuktikan nilai evaluasi polinomial tanpa mengungkapkan polinomial itu sendiri.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Skema lipatan non-interaktif (NIFS): digunakan untuk membuktikan keakuratan setiap langkah dalam perhitungan inkremental.
Kriptografi Kurva Elips (ECC): menyediakan teknologi enkripsi kunci publik yang efisien.
Fungsi hash Keccak256: digunakan untuk menangani transcript dalam proses zk-SNARKs.
Nova melalui kombinasi inovatif dari komponen-komponen ini, mewujudkan sistem zk-SNARKs yang efisien dan fleksibel, memberikan kemungkinan baru untuk bidang-bidang seperti blockchain, verifikasi identitas, dan komputasi aman.