Kakarot zkEVM: Mesin Virtual Ethereum inovatif yang dibangun dengan bahasa Cairo

Kakarot zkEVM adalah implementasi Ethereum Virtual Machine yang ditulis dalam bahasa Cairo (EVM). Cairo adalah bahasa yang lengkap Turing terkait dengan CairoVM, yang menggunakan polinomial dan sistem bukti ZK-STARK untuk mencapai perhitungan yang dapat dibuktikan.

Sebagai zkEVM, Kakarot dapat menghasilkan transaksi dan blok yang dapat dibuktikan. Karena dibangun di atas CairoVM, setiap transaksi yang dieksekusi di Kakarot adalah dapat dibuktikan. Ini memungkinkan pengembang untuk menerapkan aplikasi EVM di Kakarot, sementara pengguna dapat menggunakan alat yang sudah dikenal untuk berinteraksi dengan aplikasi-aplikasi ini.

Kakarot juga akan menyediakan interoperabilitas dengan protokol Starknet, memberikan komposabilitas untuk protokol di bidang DeFi dan GameFi.

Rute Pengembangan

Proyek Kakarot dimulai pada Oktober 2022, bertujuan untuk menciptakan zkEVM dengan kurang dari 10.000 baris kode. Dalam waktu enam bulan, tujuan ini telah tercapai, dan direncanakan untuk meluncurkan testnet pada akhir musim panas 2023.

Peta jalan Kakarot zkEVM dibagi menjadi tiga tahap:

1. Kakarot zkEVM di Starknet: Membawa EVM ke Starknet

   Pada tahap ini, Kakarot zkEVM akan ada sebagai EVM bawaan di L2 Starknet. Pengembang dapat langsung menerapkan kontrak pintar Solidity di Starknet, dan menggunakan alat yang dikenal seperti Foundry, Hardhat, dan lainnya. Pengalaman pengguna akan sama dengan di Polygon atau Ethereum L1.

2. Kakarot x Madara: L3 zkEVMs

Kakarot akan terintegrasi dengan Madara untuk mewujudkan L3 zkEVMs. Tim dapat menerapkan rantai aplikasi zkEVM mereka sendiri, menggunakan bukti validitas untuk menyelesaikan transaksi di Starknet. Solusi L3 ini dapat mengurangi persyaratan desentralisasi sambil mempertahankan keamanan Ethereum L1, sehingga secara signifikan mengurangi biaya gas dan meningkatkan kinerja.

3. Kakarot x Madara: tipe 1 zkEVM

   Dengan menulis aturan konsensus Ethereum menggunakan Cairo dalam node penuh Madara x Kakarot, dan beralih dari Pedersen MPT ke Keccak MPT, Kakarot diharapkan menjadi klien zkEVM tipe 1 yang dapat membuktikan blok L1. Implementasi kasus penggunaan tingkat tinggi ini bergantung pada peta jalan pengembangan Ethereum.

Komposisi Tim

Tim inti Kakarot berasal dari sebuah acara hackathon, sekitar 10 orang membangun prototipe zkEVM dalam waktu satu minggu. Saat ini, dengan dukungan dari Starknet Foundation dan Onlydust, sudah ada lebih dari 40 kontributor yang terlibat dalam pengembangan proyek.

Anggota inti termasuk:

• Elias Tazartes: Co-founder dan CEO, ahli dalam rekayasa blockchain dan pengembangan full-stack
• Clément Walter: Co-founder dan CTO, memiliki latar belakang sebagai ilmuwan, insinyur, dan pengusaha

Situasi Pembiayaan

Kakarot telah menyelesaikan pendanaan putaran pre-seed, jumlah spesifiknya tidak diungkapkan. Para investor termasuk lembaga seperti Starkware, LambDa, serta angel investor seperti Vitalik Buterin, co-founder Ledger Nicolas Bacca, dan CEO ZAMA Rand Hindi.

Analisis Prospek Proyek

Kakarot sebagai implementasi EVM di Starknet diharapkan dapat menjadi jembatan penting yang menghubungkan Starknet dan ekosistem Ethereum. Ini dapat menurunkan hambatan bagi pengembang untuk masuk ke Starknet, sekaligus memberikan pengalaman Ethereum yang familiar bagi pengguna.

Keuntungan proyek termasuk:

1. Terintegrasi erat dengan ekosistem Starknet, saling menguntungkan
2. Mendapatkan dukungan dari tokoh-tokoh penting di industri seperti Vitalik Buterin dan StarkWare
3. Desain modular, dapat digabungkan dengan solusi Layer 2 lainnya

Tantangan yang Dihadapi:

1. Tim berukuran kecil, sumber daya terbatas
2. Proyek masih dalam tahap awal, membutuhkan waktu untuk diverifikasi
3. Tergantung pada perkembangan Starknet, terdapat risiko tertentu.

Secara keseluruhan, Kakarot mewakili arah inovasi teknologi zkEVM, yang diharapkan dapat membawa lebih banyak kemungkinan bagi ekosistem Starknet. Dengan peluncuran jaringan uji yang akan datang, kinerja nyata proyek ini patut diperhatikan.