Tinjauan singkat tentang Kakarot, proyek zkEVM yang diinvestasikan oleh Vitalik

Sumber asli: Kakarot

Kompilasi asli: Karen, Foresight News

Kakarot zkEVM adalah implementasi dari Ethereum Virtual Machine (EVM) yang ditulis di Kairo. Kairo adalah bahasa lengkap Turing yang terkait dengan CairoVM.

CairoVM mencapai komputasi yang dapat dibuktikan dengan memanfaatkan polinomial dan sistem pembuktian ZK-STARK. ZkEVM dicirikan oleh kemampuannya untuk menghasilkan transaksi yang dapat dibuktikan, yang pada gilirannya menghasilkan blok yang dapat dibuktikan. Kakarot dibangun di atas CairoVM, dan setiap transaksi yang dijalankan di Kakarot dapat dibuktikan.

Kakarot zkEVM memungkinkan tim untuk membangun dan menerapkan aplikasi EVM. Pengembang dapat menerapkan Soliditas apa pun (atau bahasa apa pun yang kompatibel dengan EVM) di Kakarot, seperti yang dapat mereka lakukan di Ethereum atau Polygon. Kemudian, pengguna akhir mereka dapat menggunakan rantai alat biasa mereka (dompet rubah kecil, koneksi dompet, dll.) untuk berinteraksi dengan DApp.

Pada akhirnya, Kakarot akan memberikan interoperabilitas dengan protokol Starknet asli dan kemampuan menyusun antara protokol, misalnya, menggabungkan TVL di DeFi dan basis pengguna di GameFi.

Penskalaan Fraktal

Kakarot zkEVM dapat ada dalam berbagai bentuk, pertama, dapat digunakan sebagai smart contract di atas Starknet L2, sehingga muncul sebagai (mengekspos) EVM di Starknet (Ethereum RPC, transaksi Ethereum, dll.).

Atau, Kakarot dapat diintegrasikan ke dalam tumpukan untuk menggunakan L3 zkEVM. Di sinilah sequencer Madara masuk.

Dengan menggabungkan Madara (Starknet full node) dan Kakarot (EVM runtime), L3 zkEVM dapat dibuat. Tumpukannya adalah sebagai berikut: node penuh Substrat, menggunakan CairoVM sebagai mesin eksekusinya, dan Kakarot sebagai runtime smart contract.

Transaksi di Kakarot dapat dibuktikan dan diverifikasi pada lapisan penyelesaian, memungkinkan penskalaan fraktal yang kompatibel dengan EVM.

peta rute

Fase 1: Kakarot zkEVM di Starknet - Membawa EVM ke Starknet

Kakarot pertama kali akan ada di Starknet L2 sebagai EVM onboard, yang akan memungkinkan pengembang untuk menerapkan kecerdasan Solidity (atau bahasa apa pun yang kompatibel dengan EVM) langsung di Starknet menggunakan kontrak alat yang mereka kenal (Pengecoran, Hardhat, Wagmi, dll.).

Pengguna akhir mereka kemudian akan dapat berinteraksi dengan DApps mereka menggunakan toolchain biasa mereka (Metamask, Wallet Connect, dll.).

Pengalaman pengembang dan pengguna di Kakarot akan sama persis dengan Polygon, Scroll, atau Ethereum L1.

Fase 2: Kakarot x Madara - L3 zkEVM

Kakarot dan Madara akan digabungkan menjadi tumpukan terpadu untuk mendukung L3 zkEVM, serta L4, L5, dll. Tim akan dapat menyebarkan rantai aplikasi zkEVM mereka dan menggunakan bukti validitas untuk menyelesaikan transaksi di Starknet.

Mengapa L3? Mengapa provabilitas?

Provabilitas dapat mewujudkan fungsi-fungsi berikut: perhitungan di bawah rantai, atau perhitungan pada Layer, dan verifikasi pada rantai.

L3 yang menggunakan bukti validitas (seperti Kakarot) memiliki properti yang menarik tetapi diremehkan: kemampuan untuk memisahkan keamanan dan desentralisasi. Pengguna dapat memanfaatkan keamanan Ethereum L1 tanpa tingkat desentralisasi yang sama.

Karena perhitungan di lapisan lain, biaya Gas jauh lebih rendah daripada L2, dan kinerja (TPS) akan lebih tinggi. L2 sudah jauh lebih murah dari L1. Tumpukan skalabilitas rollup dan berlipat ganda.

Untuk lebih mengurangi biaya Gas, verifikasi bukti dan ketersediaan data (DA) dapat dipisahkan. Starknet L2 hanya dapat digunakan sebagai lapisan verifikasi bukti, sedangkan solusi ketersediaan data baru seperti Celestia atau EigenDA dapat digunakan untuk mempublikasikan data transaksi.

Pengguna dapat memilih salah satu opsi, tergantung pada kebutuhan keamanan mereka. Menerbitkan bukti dan data transaksi di Starknet adalah pilihan yang lebih aman, sedangkan menggunakan solusi DA untuk menerbitkan data transaksi adalah pilihan yang lebih hemat biaya.

Fase 3: Kakarot x Madara - tipe 1 zkEVM

Kakarot dan Madara juga dapat digabungkan untuk mengaktifkan zkEVM tipe 1.

• Tulis aturan konsensus Ethereum dengan Kairo di simpul penuh Madara x Kakarot, sehingga dapat membuktikan konsensus L1.
• Beralih dari Pedersen Merkle Patricia Trie (MPT) ke KeccakMPT.

Kakarot kemudian akan menjadi zkEVM tipe 1 yang mampu membuktikan blok L1. Ini adalah kasus penggunaan yang lebih canggih yang bergantung pada peta jalan Ethereum (terutama Verge). Setelah Verge, keccak dapat digantikan oleh poseidon sebagai fungsi hash pilihan untuk Ethereum. Ini akan membantu tim zkEVM menjadi tipe 1, karena rintangan kompatibilitas utama untuk zkEVM adalah tata letak penyimpanan, yaitu menerapkan Keccak MPT dengan cara yang terbukti dan cukup murah.

Topik Penelitian Lainnya

• Madara mengaktifkan rantai Kakarot untuk memanfaatkan protokol pengiriman pesan Substrat untuk komunikasi lintas rollup.
• Modularitas Substrat memungkinkan rantai Kakarot untuk berinovasi menggunakan protokol konsensusnya.
• Upgrade runtime tanpa garpu Substrat memungkinkan rantai Kakarot untuk meningkatkan versi EVM-nya tanpa hard fork.