zkEVM menaik taraf naratif zkVM, mengapa lima projek teras ini patut diberi perhatian?

Dalam mencari penyelesaian kepada skalabiliti dan kecekapan pengiraan blokchain, teknologi Zero-Knowledge Proof (ZKP) amat penting. z kVM (Mesin Maya Berpengetahuan Sifar) ialah salah satu aplikasi khusus teknologi ini. z kVM, sebagai platform pengkomputeran umum berdasarkan ZKP, boleh mengesahkan ketepatan pengiraan tanpa mendedahkan butiran pelaksanaan. Ia juga menyokong pemprosesan tugas berat secara pengiraan di luar rantaian dan hanya menyerahkan hasil pengesahan kepada rantaian blok, yang meningkatkan kebolehskalaan rantaian tersebut. Pada masa ini, pelbagai projek di pasaran seperti a16z, Taiko, ZKM, dll. sedang membangunkan penyelesaian zkVM. . 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 rantaian blok dan menanggung kos pengiraan yang mahal.

Selain itu, 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., yang semuanya. memerlukan memastikan Semasa memastikan keselamatan data, sahkan ketepatan logik pemprosesan. zkvm Berbanding dengan mesin maya maya yang lain (VM) biasanya merujuk kepada virtualisasi persekitaran pengkomputeran lengkap pada perkakasan fizikal permohonan. Mesin maya ini terutamanya melaksanakan fungsinya melalui teknologi virtualisasi perkakasan dan pengasingan tahap sistem pengendalian. Ia biasanya tidak melibatkan proses pengesahan kriptografi aplikasi atau data yang berjalan di dalamnya.

Mesin maya berpengetahuan sifar (zkVM) menggunakan teknologi kalis pengetahuan sifar untuk memastikan ketepatan pelaksanaan program Teknologi ini boleh digunakan untuk mana-mana program yang boleh disusun dan dijalankan pada mesin maya. Reka bentuk zkVM menumpukan pada menyediakan platform pengesahan pengkomputeran umum yang sesuai untuk pelbagai senario aplikasi dan menyokong berbilang bahasa pengaturcaraan, seperti Rust, C/C++ dan Pembangun boleh menggunakan bahasa yang mereka biasa gunakan untuk membina aplikasi. Proses pengiraan dan pengesahan selalunya lebih memakan masa berbanding VM tradisional, kerana menjana bukti pengetahuan sifar ialah proses intensif pengiraan yang memerlukan sejumlah besar sumber pengkomputeran, yang mengehadkan kelajuan pemprosesan transaksi (TPS) pada tahap yang besar. Walaupun teknologi ZK semasa telah mencapai kemajuan yang ketara dalam penjanaan bukti tunggal, ia masih terhad dalam keupayaannya untuk mengendalikan urus niaga berskala besar di bawah keadaan beban yang tinggi. Penjanaan setiap bukti boleh mengambil masa dari beberapa saat hingga minit, yang menimbulkan had untuk aplikasi yang memerlukan daya pemprosesan tinggi, seperti sistem pemprosesan pembayaran berskala besar. zkEVM ialah pelaksanaan khusus zkVM, direka khas untuk ekosistem Ethereum dan bertujuan untuk meningkatkan kebolehskalaan Ethereum melalui bukti pengetahuan sifar. Ia serasi sepenuhnya dengan kontrak pintar Ethereum dan alat pembangunan, seperti Solidity dan Vyper, dan aplikasi Ethereum sedia ada boleh dipindahkan dengan lancar ke zkEVM tanpa sebarang pengubahsuaian. Oleh itu, zkEVM lebih seperti versi Ethereum yang dioptimumkan secara khusus.

projek berkaitan zkVM

Walaupun menghadapi cabaran teknologi zk, masih terdapat beberapa projek di pasaran yang telah menunjukkan kekuatan teknikal dalam membangunkan penyelesaian zk VM.

Jolt: Prestasi cemerlang

Pada 9 April, a16z mengeluarkan pelaksanaan awal penyelesaian zkVM Jolt ialah jenis zkVM baharu Ciri utama ialah kelajuan yang sangat pantas

. mudah untuk pembangun Dikatakan lebih mudah untuk melanjutkan dan melakukan 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 hanya memerlukan 50 baris kod Rust untuk dilaksanakan. Selain itu, prestasi Jolt juga sangat baik, melakukan pembuktian pengetahuan sifar lebih daripada 5 kali lebih pantas daripada RISC Zero dan 2 kali lebih pantas daripada SP1 dalam penanda aras awal.

RISC Zero: Mengendalikan pengiraan kompleks dengan cekap

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. Keunikan RISC Zero terletak pada kaedahnya untuk melaksanakan rekursi, mengintegrasikan pelbagai lapisan bukti dengan lancar ke dalam rantai bukti tunggal , yang bukan sahaja mengurangkan beban pengiraan dan jumlah data yang perlu diproses, tetapi juga boleh langkah untuk mengekalkan keselamatan dan integriti proses pengesahan.

Satu lagi perkara unik tentang RISC Zero ialah ia menggunakan set arahan RISC-V, open standard ISA (Seni Bina Set Arahan) 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.

Tahun lepas mereka berjaya menyelesaikan pusingan pembiayaan Siri A $40 juta. Pusingan pembiayaan ini diketuai oleh Blockchain Capital, dengan pelabur terkenal lain termasuk Bain Capital Crypto, Galaxy Digital, IOSG Ventures, RockawayX, Maven 11, Fenbushi Capital, Delphi Digital, dsb.

Succinct: Mesra Pembangun

Succinct dibangunkan zkVM SP1, SP1 disesuaikan untuk melaksanakan kod yang ditulis dalam Rust atau mana-mana bahasa lain yang boleh disusun dengan 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.

Pada bulan Mac, Succinct menutup pembiayaan $55 juta. Pembiayaan itu diterajui oleh Paradigm, dengan penyertaan daripada pelabur termasuk Robot Ventures, Bankless Ventures, Geometry, dan pelabur malaikat, Sreeram Kannan Eigenlayer dan pengasas bersama Polygon Sandeep Nailwal. Pada 13 Mei, Succinct mengumumkan pelancaran SP1 testnet.

Taiko: Sistem pelbagai kalis

Taiko telah mula mengubah daripada menggunakan zkEVM kepada menggunakan zkVM Keistimewaan zkVM terletak pada penggunaan sistem pelbagai kalis. Konsep multi-proof itu dicadangkan oleh Vitalik Taiko menyatakan bahawa ia adalah projek pertama yang melaksanakan konsep ini dan akan secara langsung menyokong sistem multi-proof ini apabila mainnet masuk dalam talian pada penghujung Mei. Sistem ini membolehkan zkVM Taiko menjana pelbagai jenis bukti, dengan itu meningkatkan keselamatan dan keteguhan sistem. Walaupun terdapat masalah dengan salah satu jenis bukti, jenis bukti yang lain boleh terus memastikan operasi normal sistem dan mengesan sebarang peralihan keadaan yang salah tepat pada masanya. Selain itu, sistem kalis Halo2-KZG diguna pakai untuk mengekalkan kecekapan dan kos rendah apabila memproses pengiraan yang kompleks dan transaksi berskala besar.

Pada bulan Mac, Taiko telah melengkapkan pusingan pembiayaan Siri A bernilai $15 juta, diketuai bersama oleh Lightspeed Faction, Hashed, Generative Ventures dan Token Bay Capital, dengan penyertaan daripada Wintermute Ventures, Flow Traders, Amber Group, OKX Ventures dan GSR.

ZKM: Seni bina MIPS Mudah dan stabil

ZKM ialah projek zkVM yang diinkubasi oleh Yayasan Metis Ia mengguna pakai seni bina MIPS kalis sifar dan menggabungkannya dengan teknologi kalis sifar zk Reka bentuk ini Menjadikan ZKP lebih konsisten dengan kaedah pemprosesan pengkomputeran dalam sistem, mempercepatkan operasi dan mengurangkan overhed pengkomputeran yang berkaitan dengan melaksanakan protokol ZKP sahaja. Dan pada masa ini kebanyakan zkVM menggunakan bahasa Rust, manakala ZKM menyediakan sokongan asli untuk Golang.

MIPS (Microprocessor without Interlocked Pipeline Stages) ialah generasi pertama seni bina komputer set arahan terkurang. Set arahan MIPS agak mudah dan stabil dan boleh digunakan secara meluas dalam pelbagai peranti pengkomputeran dan sistem terbenam Ia mempunyai kebolehsuaian yang baik dan sistem ZKM berdasarkan seni bina MIPS boleh dibangunkan dan digunakan dengan lebih mudah.

zk MIPS membahagikan keseluruhan program MIPS kepada segmen. Arahan setiap segmen kemudiannya dibahagikan kepada empat jenis dan dikelaskan ke dalam empat jadual modul yang sepadan. zk MIPS menggunakan kaedah bukti STARK untuk mengesahkan arahan dalam setiap jadual modul secara bebas, memastikan setiap operasi dalam jadual adalah betul dan setiap arahan dalam segmen program terkandung dalam jadual modul yang sepadan. Kemudian sahkan bahawa urutan pelaksanaan setiap segmen program sepadan dengan pelaksanaan keseluruhan program. Dengan cara ini, malah program yang dilaksanakan di luar rantaian boleh disahkan dalam rantaian, meningkatkan ketelusan dan kepercayaan pelaksanaan program.

ZKM baru-baru ini melancarkan Entangled Rollups, infrastruktur kebolehoperasian berbilang rantaian diminimumkan amanah baharu, menggunakan zkMIPS untuk membina rangka kerja saling kendali berbilang rantaian tanpa amanah dan terpencar. Tidak seperti jambatan zk pihak ketiga yang hanya mengesahkan pemindahan aset melalui syot kilat, semua pengiraan boleh disahkan, jadi ia sangat selamat. Kunci kepada kebolehoperasian ini ialah kewujudan mekanisme bukti biasa yang boleh menghasilkan bukti pada satu blok dan kemudian mengesahkannya pada blok lain. Salah satu perbezaan antara ZKM dan zkVM lain ialah ia boleh menjana bukti pengetahuan sifar yang boleh digunakan untuk semua operasi. ZKM membenamkan keselamatan ke dalam lapisan bawah seni bina CPU/MIPS, supaya semua perisian di atas seni bina boleh menikmati keselamatan yang sama tanpa memerlukan setiap perisian menjalani proses bukti sifar pengetahuan yang berasingan. Selain itu, ciri ZKM:

Serasi dengan semua mesin maya: ZKM terletak di bawah setiap mesin maya, menjadikannya serasi dengan pelbagai enjin kontrak pintar blockchain VM, seperti Move V M (zk M V M ), WAS M (zk WAS M) dan Rust V M (zk R V M), dsb.

Plug and Play: Pembangun boleh mengguna pakai ZKM tanpa mengubah asas kod sedia ada mereka. Menyediakan penggunaan kos rendah dan membenarkan penggunaan bahasa kontrak pintar yang berbeza dan juga bahasa pengaturcaraan tradisional.

• Kestabilan jangka panjang: Set arahan MIPS adalah stabil dan tidak perlu ditukar dengan EVM yang sentiasa berubah, menyediakan persekitaran yang lebih stabil untuk pembangunan.

• Pandangan Masa Depan zkVM

  Memandangkan teknologi blockchain terus matang dan syarikat-syarikat canggih terus meneroka, prestasi zkVM terus bertambah baik daripada teknologi. Terutama pada masa sensitiviti data dan permintaan untuk keselamatan rantaian silang semakin meningkat, keupayaan yang disediakan oleh zkVM menyesuaikan diri dengan keperluan pasaran. Kami berharap dapat mengatasi pelbagai kesukaran teknikal, seperti pengoptimuman litar dan pengoptimuman sistem bukti itu sendiri, melancarkan zkVM yang disesuaikan dengan sempurna kepada pelbagai bahasa pengaturcaraan, dan membawa lebih banyak pembangun ke era baharu Web3.

Atas ialah kandungan terperinci zkEVM menaik taraf naratif zkVM, mengapa lima projek teras ini patut diberi perhatian?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!