Kakarot zkEVM: Mesin Virtual Ethereum yang dibangun dengan bahasa Cairo

Kakarot zkEVM adalah sebuah Ethereum Virtual Machine yang ditulis menggunakan bahasa Cairo (EVM). Cairo adalah bahasa yang Turing lengkap, terkait dengan CairoVM. CairoVM memanfaatkan polinomial dan sistem bukti ZK-STARK untuk mewujudkan komputasi yang dapat dibuktikan.

Ciri khas zkEVM adalah dapat menghasilkan transaksi dan blok yang dapat dibuktikan. Karena Kakarot dibangun di atas CairoVM, setiap transaksi yang dieksekusi di atasnya adalah dapat dibuktikan.

Secara keseluruhan, Kakarot zkEVM memanfaatkan bahasa Cairo dan sistem bukti ZK-STARK untuk menyediakan kemampuan komputasi yang dapat dibuktikan. Ini memungkinkan pengembang untuk menerapkan aplikasi EVM dan memungkinkan pengguna untuk berinteraksi dengan aplikasi tersebut menggunakan alat yang umum.

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

Jalur Pengembangan

Proyek ini diluncurkan pada bulan Oktober 2022, dengan tujuan untuk menciptakan sebuah zkEVM dengan kurang dari 10.000 baris kode. Tujuan ini dicapai dalam waktu hanya enam bulan. Rencana peluncuran testnet adalah pada akhir musim panas 2023.

Peta jalan Kakarot zkEVM dibagi menjadi tiga tahap:

1. Kakarot zkEVM di Starknet: Membawa EVM ke Starknet

Kakarot zkEVM akan terlebih dahulu hadir sebagai EVM bawaan di L2 Starknet. Pengembang dapat langsung menerapkan kontrak pintar Solidity di Starknet dan menggunakan alat yang sudah dikenal. Pengalaman pengguna akan sama seperti di Polygon, Scroll, atau Ethereum L1.

2. Kakarot x Madara:L3 zkEVMs

Kakarot dan Madara akan diintegrasikan untuk mengaktifkan L3 zkEVM, bahkan L4, L5, dan seterusnya. Tim dapat menerapkan rantai aplikasi zkEVM dan memanfaatkan bukti validitas untuk menyelesaikan transaksi di Starknet. Cara ini dapat memisahkan keamanan dan desentralisasi, sekaligus mengurangi biaya dan meningkatkan kinerja.

3. Kakarot x Madara: tipe 1 zkEVM

Jika dapat menulis aturan konsensus Ethereum dengan Cairo, dan beralih dari Pedersen MPT ke Keccak MPT, Kakarot dapat menjadi klien zkEVM tipe 1, mampu membuktikan blok L1. Ini tergantung pada jalur pengembangan Ethereum, terutama upgrade Verge.

Tim

Tim inti Kakarot lahir dari sebuah hackathon di Lisbon. Saat ini terdapat lebih dari 40 kontributor.

Anggota utama termasuk:

• Elias Tazartes: Co-Founder dan CEO, fokus pada rekayasa blockchain dan pengembangan full stack
• Clément Walter: Co-founder dan CTO, ilmuwan, insinyur, dan pengusaha

Pembiayaan

Kakarot telah menyelesaikan putaran pendanaan pre-seed, jumlah spesifiknya belum diumumkan. Para investor termasuk Starkware, LambDa, serta investor malaikat Vitalik Buterin, co-founder Ledger Nicolas Bacca, dan co-founder ZAMA Rand Hindi.

Ringkasan

Kakarot sebagai implementasi EVM di Starknet, dapat dengan baik menghubungkan Starknet dan ekosistem Ethereum. Ini menurunkan ambang pengembangan, memungkinkan proyek ekosistem Ethereum untuk dibangun di Starknet, sambil mempertahankan keamanan dan biaya rendah dari Ethereum.

Perkembangan Kakarot sangat terkait dengan ekosistem Starknet. Ini didukung oleh Vitalik Buterin dan StarkWare, yang merupakan sebuah keuntungan. Namun, dibandingkan dengan proyek zkEVM lainnya, tim Kakarot memiliki ukuran yang lebih kecil, anggaran dan kesadaran merek yang juga lebih rendah, yang merupakan salah satu alasan mengapa saat ini belum diimplementasikan sebagai zkEVM L2 umum.

Kakarot masih dalam tahap awal, jaringan pengujian akan segera dirilis. Perkembangan di masa depan patut diperhatikan.