Nova adalah sistem inovatif zero-knowledge proof yang dikembangkan oleh Microsoft, menggunakan teknologi (Relaxed R1CS) yang mengendurkan batasan rank, secara signifikan meningkatkan efisiensi dan fleksibilitas bukti.
Fitur Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, mengurangi penggunaan keacakan, dan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks
Mencapai proses pembuatan dan verifikasi bukti yang lebih efisien
Memperluas jangkauan aplikasi zk-SNARKs
Implementasi Teknologi Kunci Nova
Representasi bentuk matriks R1CS
Nova menggunakan struktur R1CSShape untuk menggambarkan bentuk matriks R1CS, yang mencakup informasi tentang jumlah batasan, jumlah variabel, dan lainnya.
Contoh R1CS yang Santai
Struktur RelaxedR1CSInstance mewakili sebuah instance R1CS yang dilonggarkan, yang mencakup parameter dan komitmen terkait.
Representasi dan Perhitungan Polinomial
Mewujudkan struktur polinomial seperti EqPolynomial, MultilinearPolynomial, serta operasi terkait seperti evaluasi dan pengikatan.
Algoritma Sumcheck
Struktur SumcheckProof mengimplementasikan pembuatan dan verifikasi bukti Sumcheck.
Rencana Komitmen
Menetapkan trait CommitmentTrait, yang mengatur operasi dasar dari komitmen.
Mesin Penilaian
Trait EvaluationEngineTrait mendefinisikan perilaku mesin evaluasi polinomial.
Implementasi zk-SNARKs
RelaxedR1CSSNARKTrait menetapkan fungsi inti dari sistem zk-SNARK.
Nova melalui implementasi cermat dari teknologi kunci ini, membangun sistem zk-SNARKs yang efisien, memberikan dukungan kuat untuk bidang blockchain, komputasi privasi, 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.
18 Suka
Hadiah
18
5
Posting ulang
Bagikan
Komentar
0/400
MetaNeighbor
· 07-13 11:19
Saya akrab dengan hal-hal tentang zero-knowledge.
Lihat AsliBalas0
DYORMaster
· 07-10 17:43
Apakah barang-barang Microsoft masih dapat diandalkan?
Lihat AsliBalas0
MissedAirdropBro
· 07-10 17:42
Saya kembali melewatkan airdrop saat tidur.
Lihat AsliBalas0
BlockchainRetirementHome
· 07-10 17:42
Keren sekali, mari kita lihat apakah ini cocok dengan Ethereum
Nova: Analisis Sistem Zero-Knowledge Proof Generasi Baru Microsoft
Nova: Sistem zk-SNARKs Generasi Baru yang Efisien
Nova adalah sistem inovatif zero-knowledge proof yang dikembangkan oleh Microsoft, menggunakan teknologi (Relaxed R1CS) yang mengendurkan batasan rank, secara signifikan meningkatkan efisiensi dan fleksibilitas bukti.
Fitur Utama Nova
Menggunakan teknologi R1CS yang dilonggarkan, mengurangi penggunaan keacakan, dan meningkatkan efisiensi bukti.
Mendukung perhitungan inkremental, dapat menghitung fungsi kompleks secara bertahap
Mendukung perhitungan polinomial, dapat menangani tugas pembuktian yang lebih kompleks
Mencapai proses pembuatan dan verifikasi bukti yang lebih efisien
Memperluas jangkauan aplikasi zk-SNARKs
Implementasi Teknologi Kunci Nova
Nova menggunakan struktur R1CSShape untuk menggambarkan bentuk matriks R1CS, yang mencakup informasi tentang jumlah batasan, jumlah variabel, dan lainnya.
Struktur RelaxedR1CSInstance mewakili sebuah instance R1CS yang dilonggarkan, yang mencakup parameter dan komitmen terkait.
Mewujudkan struktur polinomial seperti EqPolynomial, MultilinearPolynomial, serta operasi terkait seperti evaluasi dan pengikatan.
Struktur SumcheckProof mengimplementasikan pembuatan dan verifikasi bukti Sumcheck.
Menetapkan trait CommitmentTrait, yang mengatur operasi dasar dari komitmen.
Trait EvaluationEngineTrait mendefinisikan perilaku mesin evaluasi polinomial.
RelaxedR1CSSNARKTrait menetapkan fungsi inti dari sistem zk-SNARK.
Nova melalui implementasi cermat dari teknologi kunci ini, membangun sistem zk-SNARKs yang efisien, memberikan dukungan kuat untuk bidang blockchain, komputasi privasi, dan lainnya.