Rangkuman Efektivitas: Analisis Perbandingan zkEVM dan Cairo VM
Ringkasan Validitas ( Validity Rollups ) dianggap sebagai pilihan terbaik untuk meningkatkan throughput Ethereum dengan cara yang aman dan terdesentralisasi. Dalam ringkasan validitas, zkEVM dan Cairo VM ( CVM ) adalah dua jenis mesin virtual yang digunakan secara utama.
zkEVM berfokus pada kompatibilitas Ethereum, tetapi mengorbankan kinerja dan skalabilitas. Sementara itu, Cairo VM yang digunakan oleh Starknet menempatkan kinerja dan skalabilitas di atas kompatibilitas.
Inti dari ringkasan validitas adalah menggunakan bukti validitas untuk melakukan perhitungan yang dapat diverifikasi. Mereka bekerja dengan memindahkan eksekusi transaksi ke lingkungan off-chain ( lapisan kedua ). Setelah operator lapisan kedua menangani sejumlah besar transaksi, mereka mengembalikan hasil dan bukti validitas integritas eksekusi off-chain ke jaringan utama Ethereum. Cara ini dapat secara signifikan meningkatkan kemampuan pemrosesan transaksi Ethereum.
Virtual machine ( VM ) adalah lingkungan yang dapat menjalankan program. zkVM adalah jenis VM khusus yang dapat menghasilkan bukti validitas yang mudah diverifikasi untuk membuktikan bahwa program telah dieksekusi dengan benar. zkEVM biasanya merujuk pada sistem agregat yang dapat membuktikan eksekusi EVM.
Meskipun zkEVM dan CVM keduanya bertujuan untuk memperluas Ethereum melalui bukti kevalidan, ada perbedaan dalam pemilihan VM eksekusi transaksi offchain. zkEVM berusaha untuk meniru pengalaman Ethereum di L2 aggregator, sementara CVM dirancang khusus untuk mengoptimalkan efisiensi bukti kevalidan.
Tujuan zkEVM adalah untuk sepenuhnya membawa lingkungan pengembangan Ethereum ke jaringan lapisan dua. Ini memungkinkan pengembang untuk memigrasikan kontrak pintar ke solusi yang lebih dapat diskalakan tanpa perlu mengubah kode atau melepaskan alat EVM. Namun, kelemahan utama dari pendekatan ini adalah mengurangi potensi skalabilitas dari bukti efisiensi. Karena EVM tidak mempertimbangkan efisiensi bukti saat dirancang, ini membatasi ruang optimasi kinerja keseluruhan dari sistem.
Tantangan terhadap keterbuktian EVM:
EVM menggunakan model berbasis tumpukan, sementara bukti keefektifan lebih cocok untuk model berbasis register.
Tata letak penyimpanan Ethereum sangat bergantung pada Keccak dan pohon Merkle Patricia besar, keduanya tidak menguntungkan untuk menghasilkan bukti validitas.
Oleh karena itu, berbagai solusi zkEVM memiliki tingkat dukungan alat Ethereum yang berbeda - semakin tinggi kompatibilitas dengan Ethereum, semakin buruk kinerjanya.
Sebagai perbandingan, Cairo VM menggunakan desain mesin virtual khusus yang sepenuhnya baru, dan menambahkan dukungan alat Ethereum di atasnya sebagai lapisan tambahan. CVM dirancang khusus untuk menghasilkan bukti efektivitas eksekusi program secara efisien, dengan keuntungan berikut:
Representasi aljabar yang valid untuk setiap instruksi, mengoptimalkan generasi pembuktian validitas.
Menyediakan bahasa tingkat tinggi yang mirip Rust untuk menulis program yang dapat dibuktikan.
Representasi perantara antara Cairo tingkat lanjut dan perakitan Cairo (Sierra) mewujudkan eksekusi yang efisien.
Bahasa Cairo menyederhanakan kompleksitas dalam menghasilkan batasan matematis untuk deskripsi perhitungan, memungkinkan pengembang untuk memanfaatkan pembuktian validitas untuk memperluas aplikasi tanpa perlu memahami matematika dasar.
Starknet mendukung berbagai metode pengkodean:
Menulis kode langsung menggunakan Cairo.
Mengonversi kode Solidity menjadi Cairo melalui Warp Transpiler.
Menjalankan zkEVM( di Starknet seperti proyek Kakarot), untuk mencapai kompatibilitas kontrak pintar Ethereum.
Secara keseluruhan, zkEVM berfokus pada peniruan lingkungan Ethereum, tetapi membatasi potensi penuh dari bukti validitas. Cairo VM dirancang khusus untuk sistem bukti validitas, tidak terikat oleh batasan EVM, dan dapat mencapai efisiensi yang lebih tinggi dalam perluasan Ethereum. Dengan perkembangan cepat ekosistem Cairo, pengembang kini memiliki berbagai pilihan untuk memperluas aplikasi blockchain.
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.
14 Suka
Hadiah
14
2
Posting ulang
Bagikan
Komentar
0/400
SerumSquirter
· 08-11 19:12
adalah seorang penambang tua yang mengejar tps yang ekstrem
Lihat AsliBalas0
DaoResearcher
· 08-11 19:07
Referensi makalah VB P267, L2 kompatibilitas bukan pilihan terbaik.
zkEVM dan Cairo VM: Perbandingan dua Virtual Machine dalam ringkasan validitas
Rangkuman Efektivitas: Analisis Perbandingan zkEVM dan Cairo VM
Ringkasan Validitas ( Validity Rollups ) dianggap sebagai pilihan terbaik untuk meningkatkan throughput Ethereum dengan cara yang aman dan terdesentralisasi. Dalam ringkasan validitas, zkEVM dan Cairo VM ( CVM ) adalah dua jenis mesin virtual yang digunakan secara utama.
zkEVM berfokus pada kompatibilitas Ethereum, tetapi mengorbankan kinerja dan skalabilitas. Sementara itu, Cairo VM yang digunakan oleh Starknet menempatkan kinerja dan skalabilitas di atas kompatibilitas.
Inti dari ringkasan validitas adalah menggunakan bukti validitas untuk melakukan perhitungan yang dapat diverifikasi. Mereka bekerja dengan memindahkan eksekusi transaksi ke lingkungan off-chain ( lapisan kedua ). Setelah operator lapisan kedua menangani sejumlah besar transaksi, mereka mengembalikan hasil dan bukti validitas integritas eksekusi off-chain ke jaringan utama Ethereum. Cara ini dapat secara signifikan meningkatkan kemampuan pemrosesan transaksi Ethereum.
Virtual machine ( VM ) adalah lingkungan yang dapat menjalankan program. zkVM adalah jenis VM khusus yang dapat menghasilkan bukti validitas yang mudah diverifikasi untuk membuktikan bahwa program telah dieksekusi dengan benar. zkEVM biasanya merujuk pada sistem agregat yang dapat membuktikan eksekusi EVM.
Meskipun zkEVM dan CVM keduanya bertujuan untuk memperluas Ethereum melalui bukti kevalidan, ada perbedaan dalam pemilihan VM eksekusi transaksi offchain. zkEVM berusaha untuk meniru pengalaman Ethereum di L2 aggregator, sementara CVM dirancang khusus untuk mengoptimalkan efisiensi bukti kevalidan.
Tujuan zkEVM adalah untuk sepenuhnya membawa lingkungan pengembangan Ethereum ke jaringan lapisan dua. Ini memungkinkan pengembang untuk memigrasikan kontrak pintar ke solusi yang lebih dapat diskalakan tanpa perlu mengubah kode atau melepaskan alat EVM. Namun, kelemahan utama dari pendekatan ini adalah mengurangi potensi skalabilitas dari bukti efisiensi. Karena EVM tidak mempertimbangkan efisiensi bukti saat dirancang, ini membatasi ruang optimasi kinerja keseluruhan dari sistem.
Tantangan terhadap keterbuktian EVM:
EVM menggunakan model berbasis tumpukan, sementara bukti keefektifan lebih cocok untuk model berbasis register.
Tata letak penyimpanan Ethereum sangat bergantung pada Keccak dan pohon Merkle Patricia besar, keduanya tidak menguntungkan untuk menghasilkan bukti validitas.
Oleh karena itu, berbagai solusi zkEVM memiliki tingkat dukungan alat Ethereum yang berbeda - semakin tinggi kompatibilitas dengan Ethereum, semakin buruk kinerjanya.
Sebagai perbandingan, Cairo VM menggunakan desain mesin virtual khusus yang sepenuhnya baru, dan menambahkan dukungan alat Ethereum di atasnya sebagai lapisan tambahan. CVM dirancang khusus untuk menghasilkan bukti efektivitas eksekusi program secara efisien, dengan keuntungan berikut:
Representasi aljabar yang valid untuk setiap instruksi, mengoptimalkan generasi pembuktian validitas.
Menyediakan bahasa tingkat tinggi yang mirip Rust untuk menulis program yang dapat dibuktikan.
Representasi perantara antara Cairo tingkat lanjut dan perakitan Cairo (Sierra) mewujudkan eksekusi yang efisien.
Bahasa Cairo menyederhanakan kompleksitas dalam menghasilkan batasan matematis untuk deskripsi perhitungan, memungkinkan pengembang untuk memanfaatkan pembuktian validitas untuk memperluas aplikasi tanpa perlu memahami matematika dasar.
Starknet mendukung berbagai metode pengkodean:
Menulis kode langsung menggunakan Cairo.
Mengonversi kode Solidity menjadi Cairo melalui Warp Transpiler.
Menjalankan zkEVM( di Starknet seperti proyek Kakarot), untuk mencapai kompatibilitas kontrak pintar Ethereum.
Secara keseluruhan, zkEVM berfokus pada peniruan lingkungan Ethereum, tetapi membatasi potensi penuh dari bukti validitas. Cairo VM dirancang khusus untuk sistem bukti validitas, tidak terikat oleh batasan EVM, dan dapat mencapai efisiensi yang lebih tinggi dalam perluasan Ethereum. Dengan perkembangan cepat ekosistem Cairo, pengembang kini memiliki berbagai pilihan untuk memperluas aplikasi blockchain.