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:
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.
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.
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.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
7 Suka
Hadiah
7
6
Bagikan
Komentar
0/400
WenAirdrop
· 16jam yang lalu
Apakah zk benar-benar bisa berhasil?
Lihat AsliBalas0
NftDeepBreather
· 07-06 17:16
主打kotak misteri暴力小王子
Lihat AsliBalas0
CommunityWorker
· 07-06 17:13
Sumber Terbuka bull, inilah rasanya
Lihat AsliBalas0
LiquidationTherapist
· 07-06 17:12
Para pekerja arbitrase adalah yang pertama mencium peluang
Kakarot zkEVM: EVM yang dapat dibuktikan yang dibangun dengan bahasa Cairo, segera masuk ke Starknet
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:
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.
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.
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:
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.