Nova adalah sistem baru zero-knowledge proof yang dikembangkan oleh Microsoft, yang menggunakan teknologi Relaxed R1CS( untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keuntungan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, memungkinkan penggunaan lebih sedikit keacakan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, mampu menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang longgar, bukti mungkin tidak sekuat sistem R1CS tradisional, dan mungkin sedikit mengurangi keamanan.
Realisasi relatif kompleks, memerlukan pemahaman mendalam tentang perhitungan polinomial, operasi grup, dan teknik kriptografi tingkat lanjut.
Posisi Penting Nova
Nova membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi yang diadopsinya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Selain itu, Nova juga memperluas jangkauan aplikasi zk-SNARKs, dapat menangani tugas bukti yang lebih kompleks.
Komponen inti Nova
R1CS dan Relaxed R1CS: digunakan untuk membangun sistem kendala zk-SNARKs.
Skema Komitmen Polinomial: digunakan untuk membuktikan nilai evaluasi polinomial tanpa mengungkapkan polinomial itu sendiri.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Perhitungan inkremental: memungkinkan perhitungan fungsi kompleks secara bertahap.
Skema lipat non-interaktif ) NIFS (: digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.
Nova menggabungkan teknologi ini secara inovatif untuk mewujudkan sistem zk-SNARKs yang efisien dan fleksibel, menyediakan alat yang kuat untuk bidang blockchain, perhitungan aman, dan 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.
12 Suka
Hadiah
12
4
Bagikan
Komentar
0/400
BoredRiceBall
· 07-16 18:38
Microsoft juga mengembangkan zk? Pergi, pergi!
Lihat AsliBalas0
CryptoCross-TalkClub
· 07-14 03:53
Sistem bukti telah dilonggarkan, para suckers on-chain segera buka kunci cara baru untuk play people for suckers.
Lihat AsliBalas0
RugpullSurvivor
· 07-14 03:49
Microsoft kali ini punya sesuatu yang istimewa!
Lihat AsliBalas0
GasWhisperer
· 07-14 03:33
hmm... r1cs yang santai terasa seperti melihat gelombang gas saat kemacetan rendah... elegan tapi berisiko sih
Nova: Teknologi R1CS yang Santai Memimpin Era Baru zk-SNARKs
Nova: Sebuah sistem zk-SNARKs yang inovatif
Nova adalah sistem baru zero-knowledge proof yang dikembangkan oleh Microsoft, yang menggunakan teknologi Relaxed R1CS( untuk meningkatkan efisiensi dan fleksibilitas bukti.
Keuntungan Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, memungkinkan penggunaan lebih sedikit keacakan dalam bukti, secara signifikan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap, tanpa harus menghitung seluruh fungsi sekaligus.
Mendukung perhitungan polinomial, mampu menangani tugas pembuktian yang lebih kompleks.
Potensi Kekurangan Nova
Karena menggunakan R1CS yang longgar, bukti mungkin tidak sekuat sistem R1CS tradisional, dan mungkin sedikit mengurangi keamanan.
Realisasi relatif kompleks, memerlukan pemahaman mendalam tentang perhitungan polinomial, operasi grup, dan teknik kriptografi tingkat lanjut.
Posisi Penting Nova
Nova membuka jalan baru untuk pengembangan zk-SNARKs. Teknologi yang diadopsinya membuat proses pembuatan dan verifikasi bukti menjadi lebih efisien, yang sangat penting untuk aplikasi zk-SNARKs berskala besar. Selain itu, Nova juga memperluas jangkauan aplikasi zk-SNARKs, dapat menangani tugas bukti yang lebih kompleks.
Komponen inti Nova
R1CS dan Relaxed R1CS: digunakan untuk membangun sistem kendala zk-SNARKs.
Skema Komitmen Polinomial: digunakan untuk membuktikan nilai evaluasi polinomial tanpa mengungkapkan polinomial itu sendiri.
Algoritma Sumcheck: digunakan untuk memverifikasi penjumlahan polinomial.
Perhitungan inkremental: memungkinkan perhitungan fungsi kompleks secara bertahap.
Skema lipat non-interaktif ) NIFS (: digunakan untuk membuktikan kebenaran setiap langkah dalam perhitungan inkremental.
Nova menggabungkan teknologi ini secara inovatif untuk mewujudkan sistem zk-SNARKs yang efisien dan fleksibel, menyediakan alat yang kuat untuk bidang blockchain, perhitungan aman, dan lainnya.