Kakarot: Proyek zkEVM inovatif yang dikembangkan dengan bahasa Cairo

Kakarot zkEVM adalah implementasi mesin virtual Ethereum (EVM) yang ditulis menggunakan bahasa Cairo. Cairo adalah bahasa pemrograman yang lengkap Turing terkait dengan CairoVM, yang melakukan perhitungan yang dapat diverifikasi melalui sistem bukti polinomial dan ZK-STARK.

Sebagai salah satu zkEVM, Kakarot dapat menghasilkan transaksi dan blok yang dapat diverifikasi. Karena dibangun di atas CairoVM, setiap transaksi yang dilakukan di Kakarot adalah dapat diverifikasi. Kakarot zkEVM memanfaatkan bahasa Cairo dan sistem bukti ZK-STARK untuk menyediakan kemampuan komputasi yang dapat diverifikasi, memungkinkan pengembang untuk menerapkan aplikasi EVM di atasnya dan memungkinkan pengguna menggunakan alat yang sudah dikenal untuk berinteraksi dengan aplikasi ini.

Selain itu, rencana Kakarot adalah untuk menyediakan interoperabilitas dengan protokol Starknet, membawa komposabilitas untuk protokol di berbagai bidang seperti DeFi dan GameFi.

Rencana Pengembangan

Proyek ini dimulai pada bulan Oktober 2022, dengan tujuan utama termasuk pengembangan sumber terbuka dan menciptakan zkEVM dengan kurang dari 10.000 baris kode. Dalam waktu 6 bulan, tujuan ini telah tercapai dan direncanakan untuk merilis jaringan uji pada akhir musim panas 2023.

Pengembangan Kakarot zkEVM dibagi menjadi tiga fase:

Tahap Satu: Membangun Lingkungan EVM di Starknet

Kakarot zkEVM akan pertama kali ada sebagai EVM bawaan di Starknet L2, memungkinkan pengembang untuk langsung menerapkan Solidity( atau bahasa kompatibel EVM lainnya) smart contract di Starknet, dan menggunakan alat pengembangan yang sudah familiar. Pengguna dapat berinteraksi dengan dApp menggunakan dompet biasa, dengan pengalaman yang akan mirip dengan di Polygon, Scroll, atau Ethereum L1.

Tahap Dua: Mengintegrasikan dengan Madara, mewujudkan L3 zkEVM

Kakarot dan Madara akan diintegrasikan menjadi tumpukan teknologi yang terpadu, untuk mengaktifkan L3 zkEVM, dan jika perlu dapat diperluas hingga tingkat L4, L5, dan seterusnya. Tim dapat menerapkan rantai aplikasi zkEVM mereka sendiri, menggunakan bukti validitas untuk menyelesaikan transaksi di Starknet. Struktur L3 ini dapat memisahkan keamanan dan desentralisasi, pengguna dapat menikmati keamanan Ethereum L1, sambil mengurangi kebutuhan akan banyak node validasi.

Arsitektur ini dapat secara signifikan mengurangi biaya gas dan meningkatkan kinerja. Untuk lebih mengoptimalkan, verifikasi bukti dan ketersediaan data (DA) dapat dipisahkan. Starknet L2 dapat berfungsi sebagai lapisan verifikasi bukti, sementara solusi DA baru seperti Celestia atau EigenDA dapat digunakan untuk menerbitkan data transaksi.

Tahap tiga: Mewujudkan type 1 zkEVM

Dengan menulis aturan konsensus Ethereum menggunakan Cairo dalam node penuh Madara x Kakarot, dan beralih dari Pedersen Merkle Patricia Trie(MPT) ke Keccak MPT, Kakarot diharapkan dapat menjadi klien zkEVM tipe 1 yang mampu memverifikasi blok L1. Pencapaian tujuan ini tergantung pada jalur pengembangan Ethereum, terutama pembaruan Verge. Setelah pembaruan Verge, keccak mungkin akan digantikan oleh poseidon sebagai fungsi hash pilihan Ethereum, yang akan membantu tim zkEVM mencapai kompatibilitas tipe 1.

Susunan Tim

Tim inti Kakarot lahir dari sebuah hackathon di Lisbon, sekitar 10 orang membangun prototipe zkEVM dalam waktu satu minggu. Saat ini, dengan dukungan dari Starknet Foundation dan Onlydust, Kakarot memiliki lebih dari 40 kontributor independen.

Anggota inti termasuk:

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

Situasi Pembiayaan

Kakarot telah menyelesaikan putaran pendanaan pre-seed, jumlah spesifiknya belum diungkapkan. Investor termasuk Starkware dan LambDa. Investor malaikat termasuk pendiri Ethereum Vitalik Buterin, co-founder Ledger Nicolas Bacca, dan co-founder serta CEO ZAMA Rand Hindi.

Prospek Proyek

Kakarot sebagai EVM yang ditulis dengan Cairo di Starknet, diharapkan menjadi jembatan penting yang menghubungkan Starknet dan ekosistem Ethereum. Ini dapat menurunkan hambatan masuk bagi para pengembang, memungkinkan proyek-proyek ekosistem Ethereum untuk lebih mudah dibangun di Starknet, sambil mempertahankan keamanan Ethereum dan menurunkan biaya.

Perkembangan Kakarot sangat terkait dengan ekosistem Starknet. Seiring dengan peningkatan berkelanjutan Starknet dalam pengalaman pengguna, zkEVM yang dibangun oleh Kakarot juga akan berkontribusi pada kemakmuran ekosistem. Namun, kondisi perkembangan Starknet juga akan secara langsung mempengaruhi prospek Kakarot.

Dukungan dari Vitalik Buterin dan StarkWare adalah salah satu keunggulan Kakarot, yang tidak hanya terlihat secara mental, tetapi juga termasuk dukungan finansial.

Dibandingkan dengan proyek zkEVM lainnya, Kakarot menghadapi tantangan seperti ukuran tim yang kecil, anggaran yang rendah, dan kurangnya popularitas, yang juga merupakan salah satu alasan mengapa saat ini belum diterapkan sebagai zkEVM L2 yang umum.

Proyek Kakarot masih dalam tahap awal, testnet akan segera diluncurkan, patut untuk terus memperhatikan perkembangan arahannya.