Apakah zkVM? Ketahui lebih lanjut tentang zkVM dalam artikel ini

zkVM dikeluarkan untuk menyelesaikan masalah ini dengan baik, tetapi apakah itu zkVM? Masih ramai orang yang tidak faham Menurut realiti data, zkVM ialah mesin maya yang menggunakan bukti pengetahuan sifar untuk memastikan keselamatan, kebolehpercayaan dan kebolehpercayaan Ringkasnya, pengguna boleh kembali ke keadaan baharu dengan memasukkan keadaan dan program lama.

Apa itu zkVM?

zkVM ialah mesin maya yang boleh memastikan keselamatan ciri yang dipercayai melalui bukti pengetahuan sifar, iaitu, memasukkan keadaan asal dan program akan mengeluarkan keadaan baharu. zkVM mencapai kemudahan penggunaan, serba boleh, kesederhanaan dan rekursi. Pembangun tidak perlu menguasai pembangunan pengetahuan sifar dan boleh mencapai kesempurnaan Turing Tidak perlu berulang kali menjana litar keseluruhan mesin maya Pengesahan mesin maya boleh dilakukan melalui mesin maya.

zkVM ialah platform pengkomputeran umum berdasarkan bukti pengetahuan sifar yang boleh melaksanakan pelbagai tugas pengkomputeran, termasuk melaksanakan kontrak pintar, pemprosesan data dan operasi algoritma yang kompleks. Fungsi terasnya adalah untuk menjana bukti pengetahuan sifar yang mengesahkan ketepatan pengiraan tanpa mendedahkan butiran pelaksanaan. Melalui teknologi SNARKs, bukti ini boleh disahkan di luar rantaian, dan pengesah tidak perlu melaksanakan semula keseluruhan proses pengiraan pada blockchain dan membayar kos pengiraan yang mahal.

Reka bentuk zkVM tidak terhad kepada urus niaga mata wang kripto, serba boleh membolehkannya digunakan dalam pelbagai senario aplikasi, seperti pemprosesan data perubatan, pengurusan rantaian bekalan, sistem pengundian rahsia, dll. Semua aplikasi ini perlu memastikan data. keselamatan Pada masa yang sama, sahkan ketepatan logik pemprosesan.

Apakah projek zkVM?

Projek zkVM semasa terutamanya termasuk Jolt, RISCZero, Succinct, dll. Walaupun menghadapi cabaran teknologi zk, masih terdapat beberapa projek di pasaran yang telah menunjukkan kekuatan teknikal dalam membangunkan penyelesaian zkVM. Petang ialah pengenalan terperinci:

1 Jolt

Jolt ialah jenis baharu zkVM. Ciri utamanya ialah ia berjalan pantas dan lebih mudah untuk pembangun mengembangkan dan menjalankan audit kod.

Tidak seperti zkVM lain berdasarkan rangka kerja STARK, Jolt menggunakan parameter carian Lasso dan teknologi berasaskan sumcheck. Pendekatan inovatif ini bukan sahaja memudahkan pelaksanaan arahan mesin maya baharu, tetapi juga meningkatkan kelajuan keseluruhan sistem.

Reka bentuk Jolt menekankan kemudahan penggunaan dan kecekapan Asas kodnya sangat diperkemas Setiap arahan CPU dalam Jolt boleh dilaksanakan dengan hanya 50 baris kod Rust. Selain itu, prestasi Jolt juga sangat baik Dalam ujian penanda aras awal, ia boleh melakukan pembuktian pengetahuan sifar lebih daripada 5 kali lebih pantas daripada RISC Zero dan 2 kali lebih pantas daripada SP1.

2. RISC Zero

RISC Zero ialah zkVM dengan struktur SNARK rekursif, yang dicirikan oleh kaedah rekursif yang menyokong pembuktian bersarang. Dalam teknologi SNARKs, rekursi boleh memecahkan bukti kompleks kepada bukti yang lebih kecil dan lebih mudah diurus. Bukti kecil ini boleh disahkan secara bebas dan akhirnya digabungkan menjadi bukti besar yang lengkap, satu proses yang tidak menjejaskan kesahihan bukti. RISCZero adalah unik dalam pendekatannya untuk melaksanakan rekursi, menyepadukan berbilang lapisan bukti dengan lancar ke dalam rantai bukti tunggal, yang bukan sahaja mengurangkan beban pengiraan dan jumlah data yang perlu diproses, tetapi juga mengekalkan proses pengesahan merentas berbilang langkah pengiraan keselamatan dan integriti.

Satu lagi ciri unik RISC Zero ialah ia menggunakan set arahan RISC-V, ISA (Instruction Set Architecture) standard terbuka yang direka untuk kebolehskalaan dan kebolehlanjutan. Pilihan ini memastikan bahawa RISC Zero boleh memanfaatkan ekosistem alat dan sokongan yang luas, menjadikannya lebih mudah untuk mengakses dan menyepadukan ke dalam sistem sedia ada berbanding zkVM lain yang mungkin menggunakan seni bina proprietari atau kurang tujuan umum.

3. Succinct

Succinct telah membangunkan zkVM SP1, yang disesuaikan untuk melaksanakan kod yang ditulis dalam Rust atau mana-mana bahasa lain yang boleh disusun oleh LLVM, dengan lebih fleksibiliti dan kemudahan penggunaan. SP1 menyokong seni bina modular, membenarkan pembangun menyesuaikan dan melanjutkan fungsinya melalui "pra-penyusun". Prapengumpulan merujuk kepada modul khusus yang boleh ditambah atau diubah suai oleh pembangun Modul ini meningkatkan kefungsian mesin maya teras supaya ia boleh mengendalikan tugas atau operasi tertentu dengan lebih cekap.

Selain itu, SP1 membina rangkaian prover terdesentralisasi, memudahkan penggunaan dan pelaksanaan bukti, dengan itu menurunkan ambang untuk menggunakan kaedah penyulitan lanjutan. Rangkaian ini menyediakan pendekatan yang diperkemas dengan membolehkan pembangun menjana bukti dengan cekap dengan hanya satu klik.

Atas ialah kandungan terperinci Apakah zkVM? Ketahui lebih lanjut tentang zkVM dalam artikel ini. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!