Mesin virtual adalah sistem komputer yang ditiru perangkat lunak yang menyediakan lingkungan eksekusi untuk suatu program. Ini dapat meniru berbagai perangkat keras untuk memungkinkan program berjalan di lingkungan yang terkendali dan kompatibel.
Mesin Virtual Ethereum (EVM) adalah mesin virtual berbasis tumpukan yang menjalankan kontrak pintar Ethereum; zkEVM mengoptimalkan efisiensi pembangkitan zk-proof pada kesetaraan/kompatibilitas EVM.
zkVM membuang kesetaraan/kompatibilitas EVM dan meningkatkan prioritas keramahan zk.
privasi zkVM melapiskan fitur privasi asli pada zkVM;
SVM, FuelVM, dan MoveVM memiliki kesamaan dalam mengejar kinerja tertinggi melalui eksekusi paralel, tetapi mereka memiliki karakteristik sendiri dalam detail desain.
ESC VM dan BitVM telah melakukan beberapa eksperimen lapisan komputasi inovatif pada rantai ETH dan BTC masing-masing, tetapi permintaan untuk implementasi nyata di lingkungan saat ini rendah.
Ekosistem pengguna EVM yang sangat besar menentukan bahwa akan sulit bagi jaringan blockchain mana pun yang meninggalkannya untuk bersaing dengannya dalam jangka pendek, sehingga ekosistem non-EVM memperkenalkan pengguna ekosistem EVM melalui transpiler / kompiler / penerjemah bytecode dan bahkan lapisan kompatibilitas VM, dan menggunakan fitur mesin virtual non-EVM untuk membangun narasi ekologis baru, atau jalur yang diperlukan menuju kesuksesan.
1.1 Apa itu VM?
Mesin virtual (VM) adalah blok bangunan sumber daya komputasi virtual yang memiliki fungsi yang hampir sama dengan komputer, termasuk menjalankan aplikasi dan sistem operasi. Konsep mesin virtual bukanlah hal baru, dan teknologi ini banyak digunakan di banyak ekosistem teknologi.
Dalam konteks blockchain, mesin virtual (VM) adalah perangkat lunak yang menjalankan program, sering disebut sebagai lingkungan runtime yang mengeksekusi kontrak pintar blockchain. Mesin virtual biasanya menyediakan lingkungan komputer virtual dengan meniru perangkat keras yang berbeda. Mesin virtual yang berbeda dapat meniru perangkat keras yang berbeda, tetapi biasanya termasuk CPU, memori, hard disk, antarmuka jaringan, dan sebagainya. Ketika transaksi on-chain diajukan, mesin virtual bertanggung jawab untuk memproses transaksi dan memperbarui status blockchain (keadaan global saat ini dari seluruh jaringan) yang dipengaruhi oleh pelaksanaan transaksi itu. Aturan khusus yang mengubah status jaringan ditentukan oleh VM. Saat memproses transaksi, VM mengubah kode kontrak pintar menjadi format yang dapat dieksekusi oleh perangkat keras node/validator.
Kernel yang paling penting dalam VM adalah LLVM (low-level-virtual-machine), yang dapat dianggap sebagai kernel paling penting dari kompiler. Gambar tersebut menunjukkan skema operasi EVM asli, dan kontrak pintar diubah menjadi Bytecode melalui kode perantara LLVM IR. Bytecode ini disimpan di blockchain, dan ketika kontrak pintar dipanggil, bytecode diubah menjadi Opcode yang sesuai, yang kemudian dieksekusi oleh EVM dan perangkat keras node.
1.2 VM Mainstream
1.2.1 EVM - VM blockchain memiliki total satu batu, EVM eksklusif untuk delapan bucket, dan sisanya dibagi menjadi dua bucket
Proyek Perwakilan: Optimisme, Arbitrum
Sebagai ekosistem blockchain dengan aktivitas pengembang dan pengguna tertinggi di industri, Ethereum Virtual Machine EVM adalah mesin virtual berbasis tumpukan yang menyediakan lingkungan komputer virtual dengan meniru perangkat keras seperti CPU, memori, memori, dan tumpukan, sehingga dapat menjalankan instruksi kontrak pintar dan menyimpan status dan data kontrak pintar. Set instruksi EVM mencakup berbagai opcode opcode, seperti operasi aritmatika, operasi logis, operasi penyimpanan, operasi lompat, dan sebagainya.
Memori dan memori yang ditiru oleh EVM adalah perangkat yang digunakan untuk menyimpan status dan data kontrak pintar. EVM memperlakukan memori dan memori sebagai dua area berbeda yang dapat mengakses status dan data kontrak pintar dengan membaca dan menulis ke memori dan memori.
Tumpukan simulasi EVM digunakan untuk menyimpan operan dan hasil instruksi. Sebagian besar instruksi dalam set instruksi EVM berbasis tumpukan, mereka membaca operan dari tumpukan dan mendorong hasilnya kembali ke tumpukan.
Proses desain EVM jelas bottom-up, pertama-tama menyelesaikan lingkungan perangkat keras yang disimulasikan (tumpukan, memori), dan kemudian merancang set sendiri set instruksi perakitan (Opcode) dan bytecode (Bytecode) sesuai dengan lingkungan yang sesuai. Komunitas Ethereum telah merancang dua bahasa tingkat tinggi yang dikompilasi - Solidity dan Vyper - untuk efisiensi eksekusi EVM. Tak perlu dikatakan, Vyper adalah bahasa tingkat tinggi EVM Vitalik yang dirancang untuk mengatasi beberapa kekurangan dalam Solidity, tetapi belum menerima banyak adopsi di masyarakat, sehingga secara bertahap memudar menjadi ketidakjelasan.
1.2.2 zkEVM - Saya menginginkan semuanya: kompatibel dengan lingkungan EVM + mendukung konversi root status global untuk menghasilkan zk-proof
Proyek Perwakilan: Taiko, Scroll, Polygon zkEVM
Karena EVM tidak dibangun dengan mempertimbangkan komputasi zk-proof, EVM tidak ramah terhadap sirkuit proof, terutama dalam hal opcode khusus, arsitektur berbasis stack, overhead penyimpanan, dan biaya proof. zkEVM adalah mesin virtual yang mengeksekusi kontrak pintar dengan cara yang kompatibel dengan komputasi zk-proof, sehingga proses eksekusi EVM dapat diverifikasi lebih efisien dan hemat biaya melalui zk-proof/validity-proof. Dibandingkan dengan OP Rollup, lapisan eksekusi hanya perlu menyalin EVM, dan konstruksi EVM yang ramah ZK merupakan tantangan tambahan untuk ZK Rollup.
ZK-rollup tidak mudah kompatibel dengan Ethereum Virtual Machine (EVM). Membuktikan perhitungan EVM tujuan umum dalam rangkaian lebih sulit dan intensif sumber daya daripada membuktikan perhitungan sederhana seperti transfer token yang dijelaskan sebelumnya.
Namun, kemajuan teknologi tanpa pengetahuan(terbuka di tab baru) telah menghidupkan kembali minat untuk membungkus komputasi EVM dalam bukti tanpa pengetahuan. Upaya ini bertujuan untuk menciptakan implementasi zero-knowledge EVM (zkEVM) yang dapat secara efektif memverifikasi kebenaran pelaksanaan program.
Seperti EVM, transisi zkEVM antar negara setelah melakukan perhitungan pada input tertentu. Perbedaannya adalah bahwa zkEVM juga membuat bukti tanpa pengetahuan untuk memverifikasi kebenaran setiap langkah dalam pelaksanaan program. Bukti validitas dapat memverifikasi kebenaran operasi yang melibatkan keadaan mesin virtual (memori, tumpukan, penyimpanan) dan komputasi itu sendiri (yaitu, apakah operasi memanggil opcode yang benar dan menjalankannya dengan benar?). ）。
Saat ini, sulit bagi Rollup untuk mencapai kompatibilitas ZK-friendly dan EVM (atau bahkan yang setara), yaitu, untuk mereplikasi lapisan eksekusi Ethereum L1 selengkap mungkin, termasuk hash, pohon status, pohon transaksi, prakompilasi, dll., sehingga klien eksekusi Ethereum L1 dapat menggunakannya apa adanya untuk memproses blok Rollup; Abaikan kompatibilitas EVM dan buat ulang Opcode yang ada untuk bukti / verifikasi di sirkuit, memungkinkan kontrak pintar dijalankan.
1.2.3 zkVM - Anda tidak dapat memiliki keduanya: VM berorientasi efisiensi zk-proof, non-evm
Proyek perwakilan: Starknet, Zksync, RISC ZERO
Alih-alih kompatibilitas EVM, zkVM telah menemukan pembagi umum antara kriptografi dan bahasa tingkat tinggi dengan bukti data dan pembaruan status sebagai tujuan intinya, menyediakan kerangka kerja umum untuk berbagai aplikasi.
Starkware memiliki kepemimpinan teknologi tertentu karena awal mulanya di seluruh bidang ZK dan akumulasi teknologinya yang relatif memadai. Dia adalah perwakilan arsitektur teknis ZK-sentris di mana Cairo VM dan bahasa Kairo dibangun. Kerugiannya adalah Kairo lebih mahal untuk dipelajari.
Kerangka kerja ZKsync kompatibel dengan EVM dan ZK, dan mengintegrasikan Solidity dengan bahasa sirkuit Zinc yang dikembangkan sendiri, menyatukan keduanya di tingkat IR dalam kompiler. Keuntungannya adalah bahwa LLVM dari kernel kompiler kompatibel dengan berbagai bahasa.
RISC Zero menggunakan arsitektur RISC-V untuk membangun simulator yang memungkinkan programmer menulis program untuk zkVM dalam bahasa tujuan umum seperti Rust, C / C ++, dan Go, yang berarti bahwa logika aplikasi tidak perlu dibatasi pada apa yang dapat diekspresikan dalam Solidity, memungkinkan kode rantai-agnostik untuk ditulis.
1.2.4 Privasi zkVM - zk-friendly + dukungan privasi asli, mencoba menyalakan percikan baru di ekosistem
Proyek Perwakilan: Aleo, Ola, Polygon Miden
Blockchain adalah sistem buku besar publik di mana semua transaksi dilakukan secara on-chain, yang berarti bahwa perubahan status yang berisi informasi aset terkait dengan alamat atau akun bersifat terbuka dan transparan. Akibatnya, selain mengerjakan solusi penskalaan, beberapa tim blockchain percaya bahwa fitur utama berikutnya yang akan diterapkan adalah privasi.
Selain dukungan ramah zk untuk penskalaan, Privacy zkVM memungkinkan pengembang aplikasi lapisan atasnya untuk membuka dapps terkait privasi karena fitur privasi yang didukung secara native oleh bahasa pemrogramannya sendiri, yang akan membawa skenario aplikasi baru dan narasi besar, seperti sepenuhnya memecahkan masalah MEV dan memastikan kepemilikan data pengguna. Tentu saja, kompleksitas desain zkVM Privasi akan membutuhkan tim teknis yang jauh lebih besar untuk diterapkan, dan mungkin perlu beberapa tahun untuk mencapainya.
1.2.5 SVM - Setelah pasang surut, masih ada bara api: lingkungan eksekusi yang telah dirancang untuk kinerja ekstrem
SVM, atau Solana Virtual Machine, berfokus pada lingkungan eksekusi berkinerja tinggi, dan kontrak pintar terutama ditulis dalam Rust. Berbeda dengan lingkungan eksekusi EVM komputasi single-threaded dan EOS WASM, SVM memungkinkan transaksi yang tidak tumpang tindih dan eksekusi bersamaan dari transaksi yang hanya membaca status yang sama dengan mengharuskan transaksi Solana untuk menggambarkan semua status yang akan dibaca atau ditulis kepada mereka pada saat eksekusi.
Selain itu, untuk memverifikasi/menyiarkan sejumlah besar blok transaksi dengan cepat, proses verifikasi transaksi di jaringan Solana memanfaatkan pengoptimalan pipeline yang umum dalam desain CPU secara ekstensif. Untuk memenuhi situasi di mana serangkaian langkah memproses aliran data input, dan setiap langkah memiliki tanggung jawab perangkat keras yang berbeda. Analogi tipikal adalah mesin cuci dan pengering, yang mencuci / mengeringkan / melipat beberapa batch cucian secara berurutan. Pencucian harus dilakukan sebelum pengeringan, dan pelipatan harus dilakukan sebelum pengeringan, tetapi masing-masing dari ketiga operasi ini dilakukan oleh unit yang terpisah.
Selain itu, SVM berbasis register dan memiliki set instruksi yang jauh lebih kecil daripada EVM, membuat eksekusi SVM lebih mudah dibuktikan dalam ZK. Untuk rollup optimis, desain berbasis register membuatnya lebih mudah untuk mengatur pos pemeriksaan.
1.2.6 VM Bahan Bakar - Tumpukan Buff: Mesin Virtual Paralel di bawah kerangka kerja UTXO
Proyek Perwakilan: Bahan Bakar
VM bahan bakar didasarkan pada kerangka kerja teknologi EVM, Solana, WASM, BTC &; Cosmos, dan memiliki fitur berikut dibandingkan dengan EVM:
Hal yang paling unik adalah bahwa Fuel tidak hanya memiliki kemampuan untuk melakukan transaksi secara paralel dengan transaksi yang tidak tumpang tindih dengan mengatur daftar akses seperti SVM, tetapi juga mengadopsi model UTXO, yang dibagi menjadi token UTXO dan kontrak UTXO, yang selanjutnya meningkatkan efisiensi akses dan throughput komputasi.
Selain itu, Fuel VM memberikan pengalaman pengembang yang kuat dan lancar melalui bahasa khusus domainnya sendiri, Sway, dan toolchain dukungan Fort, dengan lingkungan pengembangan yang mempertahankan manfaat bahasa kontrak pintar seperti Solidity sambil mengadopsi paradigma yang diperkenalkan dalam ekosistem perkakas Rust.
Di masa mendatang, VM Fuel juga akan menerapkan peningkatan bahasa Sway, termasuk pengoptimalan kompiler dalam hal ukuran bytecode, Sway akan mendukung lebih banyak backend (backend EVM sudah dalam pengembangan), abstraksi akan lebih ekonomis, lebih banyak aplikasi akan dimigrasikan dari Solidity/Vyper ke Sway, analisis reentransi tingkat kompiler yang ditingkatkan, dan banyak lagi.
1.2.7 ESC VM - Penerus Ordinal/Smartweave: Lapisan komputasi di atas Ethereum
Proyek Perwakilan: Protokol Ethions
ESC VM, atau Ethions Virtual Machine, adalah solusi kontrak pintar yang diusulkan oleh Ethions Protocol. Protokol Ethions sendiri adalah protokol yang mirip dengan BTC Ordinal pada rantai Ethereum, dengan fokus pada eksplorasi alternatif berbiaya rendah untuk kontrak pintar dan L2.
Ethions memungkinkan pengguna untuk melewati penyimpanan dan eksekusi kontrak pintar dengan biaya yang lebih murah, dan menerapkan calldata di Tx untuk menghitung melalui aturan protokol yang telah disepakati sebelumnya. Sederhananya, selama transaksi Ethereum yang sukses memiliki calldata yang memenuhi spesifikasi data valid yang ditentukan &; alamat unik &; "ke" bukan 0, itu dapat dianggap telah membuat Ethion secara legal, dengan alamat "dari" menjadi pencipta dan alamat "ke" menjadi pemilik.
Pada awal desain, setiap Ethion lebih condong ke bentuk NFT, seperti NFT gambar, dan langsung menulis konten gambar ke dalam calldata melalui format Base64:
Eth yang paling populer baru-baru ini adalah Ethion, yang dibuat dengan mengacu pada spesifikasi protokol BRC-20:
Kontrak pintar yang diperkenalkan oleh ESC VM, yang dikenal sebagai "kontrak bodoh", diiklankan sebagai kontrak logis, tetapi tidak berinteraksi secara on-chain dalam bentuk EVM itu sendiri. Selain itu, ESC VM juga menambahkan format khusus "Computer Command", yang akan dikenali oleh ESC VM untuk berinteraksi dengan dumb contract, seperti Deploy - deploy - deploy - call dumb contract.
Ada beberapa batasan untuk skema ini, salah satunya adalah fungsi "kontrak bodoh" tidak dibayarkan, yaitu, jika Anda ingin mengirim ETH melalui kontrak bodoh, Anda harus melalui "kontrak jembatan", dan "kontrak jembatan" itu sendiri memiliki risiko penyalahgunaan kontrol & pencurian aset; Kedua, ada ambang masuk dalam ekosistem, yang tidak memungkinkan pembuatan kontrak bodoh secara sewenang-wenang, dan kodenya perlu didefinisikan melalui proposal tata kelola Protokol Ethions.
Singkatnya, ESC VM adalah lapisan komputasi yang dibangun di atas Ethereum L1 sebagai lapisan penyimpanan data, yang diimplementasikan dengan menempatkan logika kontrak, panggilan kontrak, panggilan kontrak, dan konten data lainnya dalam calldata Ethereum tx, dan konsensus keadaan global ESC VM adalah konsensus klien ESC VM, yang mirip dengan logika implementasi SmartWeave dari Arweave, tetapi lapisan penyimpanan data SmartWeave adalah Arweave.
1.2.8 Bit VM - Eksperimen penelitian yang menarik: saluran eksekusi peer-to-peer di atas BTC
Proyek Perwakilan: ZeroSync
Robin Linus, pendiri ZeroSync, merilis buku putih pada 9 Oktober, "BitVM: Compute Anything On Bitcoin", yang bukan VM tepatnya, tetapi upaya untuk menciptakan ruang komputasi Turing-complete dengan kontrak yang disimpan di rantai Bitcoin, tetapi logika kontrak dijalankan di luar rantai. Jika Anda yakin bahwa pihak lain gagal bayar, Anda dapat meluncurkan tantangan pada rantai, dan jika pihak lain tidak dapat merespons dengan benar, Anda dapat mengambil semua dana dalam kontrak.
Keuntungannya adalah dapat memberikan kelengkapan Bitcoin Turing tanpa modifikasi apa pun pada protokol Bitcoin, tidak ada opcode baru, tidak ada garpu lunak, dan siap diterapkan.
Kekurangannya juga jelas, satu adalah hanya mendukung transaksi antara dua pihak (satu membuktikan dan satu memverifikasi), dan yang lainnya adalah bahwa membuat kontrak memerlukan pembuatan sejumlah besar data dan pra-penandatanganan sejumlah besar transaksi, dan biaya penyimpanan informasi off-chain sangat besar.
Berikut adalah pengantar singkat untuk logika teknis:
(1) Komitmen input poin
Komitmen input titik memungkinkan prover untuk menetapkan nilai input 0 atau 1 untuk gerbang logika, dan dalam janji ini ada dua nilai hash H (A0) dan H (A1), dan prover perlu mengungkapkan hash prekursor, misalnya A0, kemudian atur nilai input ke 0, jika A1 terungkap, atur nilai input ke 1.
(2) Komitmen gerbang logika
Setelah Anda memiliki nilai input, Anda dapat menggabungkan gerbang logika apa pun di Bitcoin Script dengan menggabungkan opcode amp dan NAND Bitcoin.
(3) Komitmen Sirkuit Biner
Kelengkapan Turing dapat dicapai dengan menggabungkan ratusan juta gerbang logika ke dalam sirkuit biner. Untuk melakukan sirkuit biner ini ke jaringan Bitcoin, semua gerbang logika harus dimasukkan ke dalam simpul daun dengan alamat Taproot.
(4) Tautan tanggapan tantangan
Tidak cukup hanya melakukan sirkuit on-chain, kedua sisi transaksi memerlukan cara yang efisien untuk memverifikasi bahwa perhitungan kontrak sudah benar. Idealnya, kontrak berjalan off-chain, dan kedua belah pihak senang ketika mereka kooperatif dan tidak perlu dipersoalkan. Namun, jika ada perselisihan antara kedua belah pihak dalam transaksi, perlu memasuki tahap Challenge-Response untuk memverifikasi hasil perhitungan dan memaksa distribusi saldo saluran melalui Bitcoin Script.
Dengan demikian, BitVM jauh dari semacam Bitcoin Rollup atau L2 dan tidak memiliki lingkungan eksekusi mesin virtual penuh, keadaan global, bahasa tingkat tinggi untuk menerbitkan kontrak pintar yang kompleks, dan tidak dapat memungkinkan sejumlah pengguna untuk dengan mudah berinteraksi dengan kontrak ini. Untuk menggambarkan hal ini dengan contoh orang awam, BitVM seperti membangun komputer raksasa yang lebih besar dari ruangan di era ketika semua orang dapat menggunakan perangkat seluler.
1.2.9 MoveVM - produk gen Web2 Facebook
Proyek Perwakilan: Aptos, Sui
Move adalah bahasa pemrograman untuk menulis kontrak pintar yang aman, yang pada awalnya dikembangkan oleh Facebook untuk mendukung blockchain Diem, dan setelah proyek blockchain Diem dihentikan, proyek-proyek seperti Aptos dan Sui melanjutkan penggunaan bahasa Move. Fitur terbesar dari blockchain Move adalah bahwa penyimpanan data mengadopsi penyimpanan global, yang terdiri dari pohon dengan alamat akun sebagai root, dan setiap alamat dapat menyimpan data sumber daya dan kode modul.
Ada dua jenis program untuk Move: modul dan skrip. Modul adalah pustaka yang mendefinisikan tipe dan fungsi struktur yang beroperasi pada tipe tersebut. Jenis struktur mendefinisikan mode penyimpanan global untuk Move, dan fungsi modul menentukan aturan untuk memperbarui penyimpanan. Modul itu sendiri juga disimpan dalam penyimpanan global. Skrip, di sisi lain, adalah titik masuk ke executable, mirip dengan fungsi main dalam bahasa tradisional, dan merupakan cuplikan kode sementara yang tidak dipublikasikan di toko global.
Singkatnya, modul Move mirip dengan modul pustaka dinamis yang dimuat ketika runtime yang dapat dieksekusi sistem, sedangkan skripnya mirip dengan program utama. Pengguna dapat menulis skrip mereka sendiri untuk mengakses penyimpanan global, termasuk memanggil modul, sementara menerbitkan modul atau mengeksekusi skrip dapat dimanipulasi melalui Move VM.
1.3 Tren pembangunan ekologis
Sekarang efek jaringan EVM begitu kuat, migrasi pengguna EVM ke ekosistem rantai non-EVM telah menjadi titik pertumbuhan terbesar untuk proyek-proyek blockchain yang muncul, yang akan membawa lebih banyak komposabilitas Dapp, dan konektivitas yang lebih besar dapat menyebabkan pertumbuhan pengguna yang lebih cepat di tahun-tahun mendatang.
1.3.1 Kompatibel dengan front-end dompet
Memperkenalkan pengguna EVM ke rantai non-EVM secara historis menjadi rintangan utama, tetapi peluncuran Metamask Snap baru-baru ini akan memecahkan penghalang itu. Pengguna EVM dapat terus menggunakan MetaMask tanpa harus berpindah dompet. Berkat kontribusi open-source Drift, yang membangun implementasi MetaMask Snap yang hebat, UX setara dengan berinteraksi dengan rantai EVM apa pun. Pengguna mainnet Eclipse akan dapat berinteraksi dengan aplikasi asli di MetaMask atau menggunakan dompet asli Solana seperti Salmon.
1.3.2 Kompatibel dengan backend VM
1.3.2.1 Transpiler / Kompiler
Proyek perwakilan: Wrap
Warp adalah transpiler Solidity-Cairo yang telah dikembangkan oleh Nethermind, tim infrastruktur terkenal di Ethereum. Warp dapat menerjemahkan kode Solidity ke Kairo, tetapi program Kairo yang diterjemahkan sering kali perlu memodifikasi dan menambahkan fitur Kairo (seperti memanggil fungsi bawaan, mengoptimalkan memori, dll.) untuk memaksimalkan efisiensi eksekusi.
**1.3.2.2 Bytecode Interpreter / VM Kompatibilitas Layer **
Proyek Perwakilan: Kakarot, Neon EVM
Kakarot adalah penerjemah bytecode EVM yang diimplementasikan dalam bentuk kontrak pintar yang ditulis di Kairo di Starknet, yang mensimulasikan tumpukan, memori, eksekusi, dan aspek lain dari EVM dalam bentuk kontrak pintar Kairo. Dibandingkan dengan terjemahan kode, Kakarot mengimplementasikan implementasi item demi item dari Opcode dan Pra-kompilasi di belakang EVM, dan membangun komponen seperti Account Registry dan Blockhash Registry untuk menyediakan pemrosesan tambahan untuk pemetaan alamat akun dan memblokir akuisisi informasi, sehingga kakarot memiliki kompatibilitas asli yang lebih tinggi.
Neon EVM adalah jenis EVM yang beroperasi sebagai kontrak pintar dan dapat digunakan pada rantai SVM apa pun. Mainnet Eclipse sendiri menggunakan SVM sebagai lingkungan eksekusi, tetapi membawa kompatibilitas EVM penuh (termasuk dukungan bytecode EVM dan Ethereum JSON-RPC) melalui Neon EVM, dan throughput yang lebih tinggi daripada EVM single-threaded. Selain itu, setiap instance EVM Neon memiliki pasar biaya lokalnya sendiri, yaitu, ada batas atas (1/4 dari unit komputasi blok) yang terkait dengan interaksi satu akun kontrak pada ketinggian blok, sehingga pengguna hanya perlu membayar biaya prioritas ketika interaksi atau blok kontrak panas tertentu penuh. Dalam pengertian ini, aplikasi menyebarkan kontraknya sendiri untuk mendapatkan keuntungan yang serupa dengan rantai aplikasi, sehingga mengurangi gangguan pada pengalaman pengguna, keamanan, atau likuiditas seluruh jaringan ketika kontrak tertentu berinteraksi dengan kemacetan tx.
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.
Rollup Falls Strongly VM masih memiliki cerita untuk diceritakan
Oleh PSE Trading Analyst @cryptohawk, Mirror
TL; DR
Mesin virtual adalah sistem komputer yang ditiru perangkat lunak yang menyediakan lingkungan eksekusi untuk suatu program. Ini dapat meniru berbagai perangkat keras untuk memungkinkan program berjalan di lingkungan yang terkendali dan kompatibel.
Mesin Virtual Ethereum (EVM) adalah mesin virtual berbasis tumpukan yang menjalankan kontrak pintar Ethereum; zkEVM mengoptimalkan efisiensi pembangkitan zk-proof pada kesetaraan/kompatibilitas EVM.
zkVM membuang kesetaraan/kompatibilitas EVM dan meningkatkan prioritas keramahan zk.
privasi zkVM melapiskan fitur privasi asli pada zkVM;
SVM, FuelVM, dan MoveVM memiliki kesamaan dalam mengejar kinerja tertinggi melalui eksekusi paralel, tetapi mereka memiliki karakteristik sendiri dalam detail desain.
ESC VM dan BitVM telah melakukan beberapa eksperimen lapisan komputasi inovatif pada rantai ETH dan BTC masing-masing, tetapi permintaan untuk implementasi nyata di lingkungan saat ini rendah.
1.1 Apa itu VM?
Mesin virtual (VM) adalah blok bangunan sumber daya komputasi virtual yang memiliki fungsi yang hampir sama dengan komputer, termasuk menjalankan aplikasi dan sistem operasi. Konsep mesin virtual bukanlah hal baru, dan teknologi ini banyak digunakan di banyak ekosistem teknologi.
Dalam konteks blockchain, mesin virtual (VM) adalah perangkat lunak yang menjalankan program, sering disebut sebagai lingkungan runtime yang mengeksekusi kontrak pintar blockchain. Mesin virtual biasanya menyediakan lingkungan komputer virtual dengan meniru perangkat keras yang berbeda. Mesin virtual yang berbeda dapat meniru perangkat keras yang berbeda, tetapi biasanya termasuk CPU, memori, hard disk, antarmuka jaringan, dan sebagainya. Ketika transaksi on-chain diajukan, mesin virtual bertanggung jawab untuk memproses transaksi dan memperbarui status blockchain (keadaan global saat ini dari seluruh jaringan) yang dipengaruhi oleh pelaksanaan transaksi itu. Aturan khusus yang mengubah status jaringan ditentukan oleh VM. Saat memproses transaksi, VM mengubah kode kontrak pintar menjadi format yang dapat dieksekusi oleh perangkat keras node/validator.
Kernel yang paling penting dalam VM adalah LLVM (low-level-virtual-machine), yang dapat dianggap sebagai kernel paling penting dari kompiler. Gambar tersebut menunjukkan skema operasi EVM asli, dan kontrak pintar diubah menjadi Bytecode melalui kode perantara LLVM IR. Bytecode ini disimpan di blockchain, dan ketika kontrak pintar dipanggil, bytecode diubah menjadi Opcode yang sesuai, yang kemudian dieksekusi oleh EVM dan perangkat keras node.
1.2 VM Mainstream
1.2.1 EVM - VM blockchain memiliki total satu batu, EVM eksklusif untuk delapan bucket, dan sisanya dibagi menjadi dua bucket
Proyek Perwakilan: Optimisme, Arbitrum
Sebagai ekosistem blockchain dengan aktivitas pengembang dan pengguna tertinggi di industri, Ethereum Virtual Machine EVM adalah mesin virtual berbasis tumpukan yang menyediakan lingkungan komputer virtual dengan meniru perangkat keras seperti CPU, memori, memori, dan tumpukan, sehingga dapat menjalankan instruksi kontrak pintar dan menyimpan status dan data kontrak pintar. Set instruksi EVM mencakup berbagai opcode opcode, seperti operasi aritmatika, operasi logis, operasi penyimpanan, operasi lompat, dan sebagainya.
Memori dan memori yang ditiru oleh EVM adalah perangkat yang digunakan untuk menyimpan status dan data kontrak pintar. EVM memperlakukan memori dan memori sebagai dua area berbeda yang dapat mengakses status dan data kontrak pintar dengan membaca dan menulis ke memori dan memori.
Tumpukan simulasi EVM digunakan untuk menyimpan operan dan hasil instruksi. Sebagian besar instruksi dalam set instruksi EVM berbasis tumpukan, mereka membaca operan dari tumpukan dan mendorong hasilnya kembali ke tumpukan.
Proses desain EVM jelas bottom-up, pertama-tama menyelesaikan lingkungan perangkat keras yang disimulasikan (tumpukan, memori), dan kemudian merancang set sendiri set instruksi perakitan (Opcode) dan bytecode (Bytecode) sesuai dengan lingkungan yang sesuai. Komunitas Ethereum telah merancang dua bahasa tingkat tinggi yang dikompilasi - Solidity dan Vyper - untuk efisiensi eksekusi EVM. Tak perlu dikatakan, Vyper adalah bahasa tingkat tinggi EVM Vitalik yang dirancang untuk mengatasi beberapa kekurangan dalam Solidity, tetapi belum menerima banyak adopsi di masyarakat, sehingga secara bertahap memudar menjadi ketidakjelasan.
1.2.2 zkEVM - Saya menginginkan semuanya: kompatibel dengan lingkungan EVM + mendukung konversi root status global untuk menghasilkan zk-proof
Proyek Perwakilan: Taiko, Scroll, Polygon zkEVM
Karena EVM tidak dibangun dengan mempertimbangkan komputasi zk-proof, EVM tidak ramah terhadap sirkuit proof, terutama dalam hal opcode khusus, arsitektur berbasis stack, overhead penyimpanan, dan biaya proof. zkEVM adalah mesin virtual yang mengeksekusi kontrak pintar dengan cara yang kompatibel dengan komputasi zk-proof, sehingga proses eksekusi EVM dapat diverifikasi lebih efisien dan hemat biaya melalui zk-proof/validity-proof. Dibandingkan dengan OP Rollup, lapisan eksekusi hanya perlu menyalin EVM, dan konstruksi EVM yang ramah ZK merupakan tantangan tambahan untuk ZK Rollup.
ZK-rollup tidak mudah kompatibel dengan Ethereum Virtual Machine (EVM). Membuktikan perhitungan EVM tujuan umum dalam rangkaian lebih sulit dan intensif sumber daya daripada membuktikan perhitungan sederhana seperti transfer token yang dijelaskan sebelumnya.
Namun, kemajuan teknologi tanpa pengetahuan(terbuka di tab baru) telah menghidupkan kembali minat untuk membungkus komputasi EVM dalam bukti tanpa pengetahuan. Upaya ini bertujuan untuk menciptakan implementasi zero-knowledge EVM (zkEVM) yang dapat secara efektif memverifikasi kebenaran pelaksanaan program.
Seperti EVM, transisi zkEVM antar negara setelah melakukan perhitungan pada input tertentu. Perbedaannya adalah bahwa zkEVM juga membuat bukti tanpa pengetahuan untuk memverifikasi kebenaran setiap langkah dalam pelaksanaan program. Bukti validitas dapat memverifikasi kebenaran operasi yang melibatkan keadaan mesin virtual (memori, tumpukan, penyimpanan) dan komputasi itu sendiri (yaitu, apakah operasi memanggil opcode yang benar dan menjalankannya dengan benar?). ）。
Saat ini, sulit bagi Rollup untuk mencapai kompatibilitas ZK-friendly dan EVM (atau bahkan yang setara), yaitu, untuk mereplikasi lapisan eksekusi Ethereum L1 selengkap mungkin, termasuk hash, pohon status, pohon transaksi, prakompilasi, dll., sehingga klien eksekusi Ethereum L1 dapat menggunakannya apa adanya untuk memproses blok Rollup; Abaikan kompatibilitas EVM dan buat ulang Opcode yang ada untuk bukti / verifikasi di sirkuit, memungkinkan kontrak pintar dijalankan.
1.2.3 zkVM - Anda tidak dapat memiliki keduanya: VM berorientasi efisiensi zk-proof, non-evm
Proyek perwakilan: Starknet, Zksync, RISC ZERO
Alih-alih kompatibilitas EVM, zkVM telah menemukan pembagi umum antara kriptografi dan bahasa tingkat tinggi dengan bukti data dan pembaruan status sebagai tujuan intinya, menyediakan kerangka kerja umum untuk berbagai aplikasi.
Starkware memiliki kepemimpinan teknologi tertentu karena awal mulanya di seluruh bidang ZK dan akumulasi teknologinya yang relatif memadai. Dia adalah perwakilan arsitektur teknis ZK-sentris di mana Cairo VM dan bahasa Kairo dibangun. Kerugiannya adalah Kairo lebih mahal untuk dipelajari.
Kerangka kerja ZKsync kompatibel dengan EVM dan ZK, dan mengintegrasikan Solidity dengan bahasa sirkuit Zinc yang dikembangkan sendiri, menyatukan keduanya di tingkat IR dalam kompiler. Keuntungannya adalah bahwa LLVM dari kernel kompiler kompatibel dengan berbagai bahasa.
RISC Zero menggunakan arsitektur RISC-V untuk membangun simulator yang memungkinkan programmer menulis program untuk zkVM dalam bahasa tujuan umum seperti Rust, C / C ++, dan Go, yang berarti bahwa logika aplikasi tidak perlu dibatasi pada apa yang dapat diekspresikan dalam Solidity, memungkinkan kode rantai-agnostik untuk ditulis.
1.2.4 Privasi zkVM - zk-friendly + dukungan privasi asli, mencoba menyalakan percikan baru di ekosistem
Proyek Perwakilan: Aleo, Ola, Polygon Miden
Blockchain adalah sistem buku besar publik di mana semua transaksi dilakukan secara on-chain, yang berarti bahwa perubahan status yang berisi informasi aset terkait dengan alamat atau akun bersifat terbuka dan transparan. Akibatnya, selain mengerjakan solusi penskalaan, beberapa tim blockchain percaya bahwa fitur utama berikutnya yang akan diterapkan adalah privasi.
Selain dukungan ramah zk untuk penskalaan, Privacy zkVM memungkinkan pengembang aplikasi lapisan atasnya untuk membuka dapps terkait privasi karena fitur privasi yang didukung secara native oleh bahasa pemrogramannya sendiri, yang akan membawa skenario aplikasi baru dan narasi besar, seperti sepenuhnya memecahkan masalah MEV dan memastikan kepemilikan data pengguna. Tentu saja, kompleksitas desain zkVM Privasi akan membutuhkan tim teknis yang jauh lebih besar untuk diterapkan, dan mungkin perlu beberapa tahun untuk mencapainya.
1.2.5 SVM - Setelah pasang surut, masih ada bara api: lingkungan eksekusi yang telah dirancang untuk kinerja ekstrem
Proyek perwakilan: Eclipse Mainnet, Nitro, MakerDAO Chain (mungkin)
SVM, atau Solana Virtual Machine, berfokus pada lingkungan eksekusi berkinerja tinggi, dan kontrak pintar terutama ditulis dalam Rust. Berbeda dengan lingkungan eksekusi EVM komputasi single-threaded dan EOS WASM, SVM memungkinkan transaksi yang tidak tumpang tindih dan eksekusi bersamaan dari transaksi yang hanya membaca status yang sama dengan mengharuskan transaksi Solana untuk menggambarkan semua status yang akan dibaca atau ditulis kepada mereka pada saat eksekusi.
Selain itu, untuk memverifikasi/menyiarkan sejumlah besar blok transaksi dengan cepat, proses verifikasi transaksi di jaringan Solana memanfaatkan pengoptimalan pipeline yang umum dalam desain CPU secara ekstensif. Untuk memenuhi situasi di mana serangkaian langkah memproses aliran data input, dan setiap langkah memiliki tanggung jawab perangkat keras yang berbeda. Analogi tipikal adalah mesin cuci dan pengering, yang mencuci / mengeringkan / melipat beberapa batch cucian secara berurutan. Pencucian harus dilakukan sebelum pengeringan, dan pelipatan harus dilakukan sebelum pengeringan, tetapi masing-masing dari ketiga operasi ini dilakukan oleh unit yang terpisah.
Selain itu, SVM berbasis register dan memiliki set instruksi yang jauh lebih kecil daripada EVM, membuat eksekusi SVM lebih mudah dibuktikan dalam ZK. Untuk rollup optimis, desain berbasis register membuatnya lebih mudah untuk mengatur pos pemeriksaan.
1.2.6 VM Bahan Bakar - Tumpukan Buff: Mesin Virtual Paralel di bawah kerangka kerja UTXO
Proyek Perwakilan: Bahan Bakar
VM bahan bakar didasarkan pada kerangka kerja teknologi EVM, Solana, WASM, BTC &; Cosmos, dan memiliki fitur berikut dibandingkan dengan EVM:
Hal yang paling unik adalah bahwa Fuel tidak hanya memiliki kemampuan untuk melakukan transaksi secara paralel dengan transaksi yang tidak tumpang tindih dengan mengatur daftar akses seperti SVM, tetapi juga mengadopsi model UTXO, yang dibagi menjadi token UTXO dan kontrak UTXO, yang selanjutnya meningkatkan efisiensi akses dan throughput komputasi.
Selain itu, Fuel VM memberikan pengalaman pengembang yang kuat dan lancar melalui bahasa khusus domainnya sendiri, Sway, dan toolchain dukungan Fort, dengan lingkungan pengembangan yang mempertahankan manfaat bahasa kontrak pintar seperti Solidity sambil mengadopsi paradigma yang diperkenalkan dalam ekosistem perkakas Rust.
Di masa mendatang, VM Fuel juga akan menerapkan peningkatan bahasa Sway, termasuk pengoptimalan kompiler dalam hal ukuran bytecode, Sway akan mendukung lebih banyak backend (backend EVM sudah dalam pengembangan), abstraksi akan lebih ekonomis, lebih banyak aplikasi akan dimigrasikan dari Solidity/Vyper ke Sway, analisis reentransi tingkat kompiler yang ditingkatkan, dan banyak lagi.
1.2.7 ESC VM - Penerus Ordinal/Smartweave: Lapisan komputasi di atas Ethereum
Proyek Perwakilan: Protokol Ethions
ESC VM, atau Ethions Virtual Machine, adalah solusi kontrak pintar yang diusulkan oleh Ethions Protocol. Protokol Ethions sendiri adalah protokol yang mirip dengan BTC Ordinal pada rantai Ethereum, dengan fokus pada eksplorasi alternatif berbiaya rendah untuk kontrak pintar dan L2.
Ethions memungkinkan pengguna untuk melewati penyimpanan dan eksekusi kontrak pintar dengan biaya yang lebih murah, dan menerapkan calldata di Tx untuk menghitung melalui aturan protokol yang telah disepakati sebelumnya. Sederhananya, selama transaksi Ethereum yang sukses memiliki calldata yang memenuhi spesifikasi data valid yang ditentukan &; alamat unik &; "ke" bukan 0, itu dapat dianggap telah membuat Ethion secara legal, dengan alamat "dari" menjadi pencipta dan alamat "ke" menjadi pemilik.
Pada awal desain, setiap Ethion lebih condong ke bentuk NFT, seperti NFT gambar, dan langsung menulis konten gambar ke dalam calldata melalui format Base64:
Eth yang paling populer baru-baru ini adalah Ethion, yang dibuat dengan mengacu pada spesifikasi protokol BRC-20:
Kontrak pintar yang diperkenalkan oleh ESC VM, yang dikenal sebagai "kontrak bodoh", diiklankan sebagai kontrak logis, tetapi tidak berinteraksi secara on-chain dalam bentuk EVM itu sendiri. Selain itu, ESC VM juga menambahkan format khusus "Computer Command", yang akan dikenali oleh ESC VM untuk berinteraksi dengan dumb contract, seperti Deploy - deploy - deploy - call dumb contract.
Ada beberapa batasan untuk skema ini, salah satunya adalah fungsi "kontrak bodoh" tidak dibayarkan, yaitu, jika Anda ingin mengirim ETH melalui kontrak bodoh, Anda harus melalui "kontrak jembatan", dan "kontrak jembatan" itu sendiri memiliki risiko penyalahgunaan kontrol & pencurian aset; Kedua, ada ambang masuk dalam ekosistem, yang tidak memungkinkan pembuatan kontrak bodoh secara sewenang-wenang, dan kodenya perlu didefinisikan melalui proposal tata kelola Protokol Ethions.
Singkatnya, ESC VM adalah lapisan komputasi yang dibangun di atas Ethereum L1 sebagai lapisan penyimpanan data, yang diimplementasikan dengan menempatkan logika kontrak, panggilan kontrak, panggilan kontrak, dan konten data lainnya dalam calldata Ethereum tx, dan konsensus keadaan global ESC VM adalah konsensus klien ESC VM, yang mirip dengan logika implementasi SmartWeave dari Arweave, tetapi lapisan penyimpanan data SmartWeave adalah Arweave.
1.2.8 Bit VM - Eksperimen penelitian yang menarik: saluran eksekusi peer-to-peer di atas BTC
Proyek Perwakilan: ZeroSync
Robin Linus, pendiri ZeroSync, merilis buku putih pada 9 Oktober, "BitVM: Compute Anything On Bitcoin", yang bukan VM tepatnya, tetapi upaya untuk menciptakan ruang komputasi Turing-complete dengan kontrak yang disimpan di rantai Bitcoin, tetapi logika kontrak dijalankan di luar rantai. Jika Anda yakin bahwa pihak lain gagal bayar, Anda dapat meluncurkan tantangan pada rantai, dan jika pihak lain tidak dapat merespons dengan benar, Anda dapat mengambil semua dana dalam kontrak.
Keuntungannya adalah dapat memberikan kelengkapan Bitcoin Turing tanpa modifikasi apa pun pada protokol Bitcoin, tidak ada opcode baru, tidak ada garpu lunak, dan siap diterapkan.
Kekurangannya juga jelas, satu adalah hanya mendukung transaksi antara dua pihak (satu membuktikan dan satu memverifikasi), dan yang lainnya adalah bahwa membuat kontrak memerlukan pembuatan sejumlah besar data dan pra-penandatanganan sejumlah besar transaksi, dan biaya penyimpanan informasi off-chain sangat besar.
Berikut adalah pengantar singkat untuk logika teknis:
(1) Komitmen input poin
Komitmen input titik memungkinkan prover untuk menetapkan nilai input 0 atau 1 untuk gerbang logika, dan dalam janji ini ada dua nilai hash H (A0) dan H (A1), dan prover perlu mengungkapkan hash prekursor, misalnya A0, kemudian atur nilai input ke 0, jika A1 terungkap, atur nilai input ke 1.
(2) Komitmen gerbang logika
Setelah Anda memiliki nilai input, Anda dapat menggabungkan gerbang logika apa pun di Bitcoin Script dengan menggabungkan opcode amp dan NAND Bitcoin.
(3) Komitmen Sirkuit Biner
Kelengkapan Turing dapat dicapai dengan menggabungkan ratusan juta gerbang logika ke dalam sirkuit biner. Untuk melakukan sirkuit biner ini ke jaringan Bitcoin, semua gerbang logika harus dimasukkan ke dalam simpul daun dengan alamat Taproot.
(4) Tautan tanggapan tantangan
Tidak cukup hanya melakukan sirkuit on-chain, kedua sisi transaksi memerlukan cara yang efisien untuk memverifikasi bahwa perhitungan kontrak sudah benar. Idealnya, kontrak berjalan off-chain, dan kedua belah pihak senang ketika mereka kooperatif dan tidak perlu dipersoalkan. Namun, jika ada perselisihan antara kedua belah pihak dalam transaksi, perlu memasuki tahap Challenge-Response untuk memverifikasi hasil perhitungan dan memaksa distribusi saldo saluran melalui Bitcoin Script.
Dengan demikian, BitVM jauh dari semacam Bitcoin Rollup atau L2 dan tidak memiliki lingkungan eksekusi mesin virtual penuh, keadaan global, bahasa tingkat tinggi untuk menerbitkan kontrak pintar yang kompleks, dan tidak dapat memungkinkan sejumlah pengguna untuk dengan mudah berinteraksi dengan kontrak ini. Untuk menggambarkan hal ini dengan contoh orang awam, BitVM seperti membangun komputer raksasa yang lebih besar dari ruangan di era ketika semua orang dapat menggunakan perangkat seluler.
1.2.9 MoveVM - produk gen Web2 Facebook
Proyek Perwakilan: Aptos, Sui
Move adalah bahasa pemrograman untuk menulis kontrak pintar yang aman, yang pada awalnya dikembangkan oleh Facebook untuk mendukung blockchain Diem, dan setelah proyek blockchain Diem dihentikan, proyek-proyek seperti Aptos dan Sui melanjutkan penggunaan bahasa Move. Fitur terbesar dari blockchain Move adalah bahwa penyimpanan data mengadopsi penyimpanan global, yang terdiri dari pohon dengan alamat akun sebagai root, dan setiap alamat dapat menyimpan data sumber daya dan kode modul.
Ada dua jenis program untuk Move: modul dan skrip. Modul adalah pustaka yang mendefinisikan tipe dan fungsi struktur yang beroperasi pada tipe tersebut. Jenis struktur mendefinisikan mode penyimpanan global untuk Move, dan fungsi modul menentukan aturan untuk memperbarui penyimpanan. Modul itu sendiri juga disimpan dalam penyimpanan global. Skrip, di sisi lain, adalah titik masuk ke executable, mirip dengan fungsi main dalam bahasa tradisional, dan merupakan cuplikan kode sementara yang tidak dipublikasikan di toko global.
Singkatnya, modul Move mirip dengan modul pustaka dinamis yang dimuat ketika runtime yang dapat dieksekusi sistem, sedangkan skripnya mirip dengan program utama. Pengguna dapat menulis skrip mereka sendiri untuk mengakses penyimpanan global, termasuk memanggil modul, sementara menerbitkan modul atau mengeksekusi skrip dapat dimanipulasi melalui Move VM.
1.3 Tren pembangunan ekologis
Sekarang efek jaringan EVM begitu kuat, migrasi pengguna EVM ke ekosistem rantai non-EVM telah menjadi titik pertumbuhan terbesar untuk proyek-proyek blockchain yang muncul, yang akan membawa lebih banyak komposabilitas Dapp, dan konektivitas yang lebih besar dapat menyebabkan pertumbuhan pengguna yang lebih cepat di tahun-tahun mendatang.
1.3.1 Kompatibel dengan front-end dompet
Memperkenalkan pengguna EVM ke rantai non-EVM secara historis menjadi rintangan utama, tetapi peluncuran Metamask Snap baru-baru ini akan memecahkan penghalang itu. Pengguna EVM dapat terus menggunakan MetaMask tanpa harus berpindah dompet. Berkat kontribusi open-source Drift, yang membangun implementasi MetaMask Snap yang hebat, UX setara dengan berinteraksi dengan rantai EVM apa pun. Pengguna mainnet Eclipse akan dapat berinteraksi dengan aplikasi asli di MetaMask atau menggunakan dompet asli Solana seperti Salmon.
1.3.2 Kompatibel dengan backend VM
1.3.2.1 Transpiler / Kompiler
Proyek perwakilan: Wrap
Warp adalah transpiler Solidity-Cairo yang telah dikembangkan oleh Nethermind, tim infrastruktur terkenal di Ethereum. Warp dapat menerjemahkan kode Solidity ke Kairo, tetapi program Kairo yang diterjemahkan sering kali perlu memodifikasi dan menambahkan fitur Kairo (seperti memanggil fungsi bawaan, mengoptimalkan memori, dll.) untuk memaksimalkan efisiensi eksekusi.
**1.3.2.2 Bytecode Interpreter / VM Kompatibilitas Layer **
Proyek Perwakilan: Kakarot, Neon EVM
Kakarot adalah penerjemah bytecode EVM yang diimplementasikan dalam bentuk kontrak pintar yang ditulis di Kairo di Starknet, yang mensimulasikan tumpukan, memori, eksekusi, dan aspek lain dari EVM dalam bentuk kontrak pintar Kairo. Dibandingkan dengan terjemahan kode, Kakarot mengimplementasikan implementasi item demi item dari Opcode dan Pra-kompilasi di belakang EVM, dan membangun komponen seperti Account Registry dan Blockhash Registry untuk menyediakan pemrosesan tambahan untuk pemetaan alamat akun dan memblokir akuisisi informasi, sehingga kakarot memiliki kompatibilitas asli yang lebih tinggi.
Neon EVM adalah jenis EVM yang beroperasi sebagai kontrak pintar dan dapat digunakan pada rantai SVM apa pun. Mainnet Eclipse sendiri menggunakan SVM sebagai lingkungan eksekusi, tetapi membawa kompatibilitas EVM penuh (termasuk dukungan bytecode EVM dan Ethereum JSON-RPC) melalui Neon EVM, dan throughput yang lebih tinggi daripada EVM single-threaded. Selain itu, setiap instance EVM Neon memiliki pasar biaya lokalnya sendiri, yaitu, ada batas atas (1/4 dari unit komputasi blok) yang terkait dengan interaksi satu akun kontrak pada ketinggian blok, sehingga pengguna hanya perlu membayar biaya prioritas ketika interaksi atau blok kontrak panas tertentu penuh. Dalam pengertian ini, aplikasi menyebarkan kontraknya sendiri untuk mendapatkan keuntungan yang serupa dengan rantai aplikasi, sehingga mengurangi gangguan pada pengalaman pengguna, keamanan, atau likuiditas seluruh jaringan ketika kontrak tertentu berinteraksi dengan kemacetan tx.