Masa depan zkVM, mengapa ia berdasarkan seni bina RISC-V?

Sumber: hyperstructured.greg Sudah ada pemain di trek zkVM yang boleh dimasukkan ke dalam pengeluaran, tetapi kebanyakan orang mungkin sering mendengar "zkEVM" di telinga mereka, tetapi mereka tidak tahu apa itu perkataan "zkVM". Artikel ini memperkenalkan kelebihan set arahan yang dipilih oleh kebanyakan zkVM Untuk mendapatkan maklumat lanjut tentang zkVM, anda boleh mempelajarinya melalui artikel ini. zkVM lebih umum daripada zkEVM, membuka kunci kemungkinan menulis program dalam bahasa umum dan menulis kod di luar perpustakaan Solidity, dan ia telah menjadi lagu popular pada masa kini. Projek teratas di landasan, RISC Zero, Succint, Lita dan jolt yang dibina oleh a16z, semuanya berdasarkan set arahan RISC-V. Apakah kelebihannya? Mengapakah masa depan zkVM berdasarkan seni bina RISC-V? Mengapakah @rv_inc membina alatan untuk membenarkan pengesahan rasmi di peringkat RISC-V?

Set arahan RISC-V terutamanya mempunyai kelebihan berikut:

Seni bina terbuka dan boleh diperluas:

RISC-V ialah seni bina set arahan standard terbuka (ISA) yang boleh percumadigunakan untuk sebarang jenis tujuan , sangat boleh disesuaikan dan disesuaikan. Ini membolehkan pembangun zkVM menyesuaikan seni bina khusus untuk operasi bukti, mengoptimumkan prestasi dan kecekapan. Mengapa Linux menduduki bahagian terbesar sistem pelayan? Perkataan "percuma" sangat penting!

Modulariti dan Fleksibiliti:

Ciri modulariti RISC-V membolehkan pembangun zkVM hanya melaksanakan fungsi yang mereka perlukan, mengelakkan kerumitan dan overhead yang tidak perlu. Kelebihan modulariti telah terlalu ditekankan dalam kitaran ini dan tidak akan diulang di sini.

Penstandardan dan Sokongan Ekosistem:

RISC-V mempunyai ekosistem yang berkembang pesat dengan sokongan rangkaian alat yang meluas, termasuk penyusun dan penyahpepijat, seperti @rv_inc yang sedang membina pengesahan rasmi untuk alat RISC-V ISA. Ekologi yang pesat membangun bermakna ruang yang luas untuk inovasi, yang kadangkala boleh membawa kepada kesan sinergistik membunuh dua burung dengan satu batu.

Penjanaan bukti dan pengesahan yang cekap:

Kesederhanaan reka bentuk RISC-V membantu melaksanakan algoritma kompleks yang terlibat dalam bukti pengetahuan sifar dengan lebih cekap. Dengan memanfaatkan seni bina set arahan RISC-V, "zkVM" boleh mencapai prestasi yang lebih baik dari segi kelajuan dan penggunaan sumber, yang penting untuk pengagregatan bukti.

Keselamatan dan Pengesahan Formal:

Seni bina RISC-V yang jelas dan jelas memudahkan untuk menggunakan teknik pengesahan formal, yang penting untuk memastikan keselamatan dan ketepatan zkVM. Dengan menggunakan RISC-V, pembangun akan dapat memanfaatkan alat dan kaedah pengesahan formal untuk membina zkVM yang lebih selamat.

Keserasian merentas platform:

Keserasian antara RISC-V dan pelbagai platform perkakasan (termasuk X86, x64 dan ARM, iaitu Windows biasa, Mac dan pelbagai peranti elektrik ringkas) bermakna zkVM boleh Digunakan merentas julat yang luas daripada persekitaran. Fleksibiliti sedemikian adalah kunci untuk membuktikan penggunaan meluas penyelesaian tertumpu, kerana ia membolehkan penyepaduan yang lancar ke dalam sistem yang berbeza.

Kepelbagaian bahasa:

RISC-V tidak mempunyai konsep terbina dalam alamat dompet atau struktur rantaian blok lain. Set arahan terutamanya terdiri daripada operator yang memindahkan data antara lokasi memori dan melaksanakan operasi matematik pada data. Pada masa yang sama, berbanding EVM, emulator RISC-V yang mendasari membolehkan pengaturcara menulis program untuk zkVM dalam bahasa seperti Rust, C/C++ dan Go. Ini bermakna pengaturcara zkVM boleh menggunakan perpustakaan berkaitan yang dibangunkan oleh orang lain dalam ekosistem bahasa tersebut. Seperti perpustakaan Rust yang dibangunkan untuk Solana dan sebagainya. Memandangkan konsep "pengkomputeran universal" menjadi semakin popular, apakah jenis percikan yang akan dibawa oleh zkVM kepada persaingan VM yang sengit semasa (MoveVM, SVM, EVM, zkEVM...)? Bolehkah ia mencapai penerimaan yang besar dan bertapak kukuh? Pemain pertama RISC Zero telah membuat debutnya, dan selebihnya akan disahkan mengikut masa.

Atas ialah kandungan terperinci Masa depan zkVM, mengapa ia berdasarkan seni bina RISC-V?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!