Kakarot zkEVM: AppChain yang dibangun dengan Cairo dan dapat dibuktikan

robot
Pembuatan abstrak sedang berlangsung

Kakarot zkEVM: Ethereum Virtual Machine yang dibangun dengan Cairo

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

Ciri-ciri zkEVM adalah dapat menghasilkan transaksi dan blok yang dapat dibuktikan. Kakarot dibangun di atas CairoVM, sehingga setiap transaksi yang dieksekusi di atasnya 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-aplikasi ini menggunakan alat yang sudah mereka kenal.

Selain itu, Kakarot juga akan menyediakan interoperabilitas dengan protokol Starknet, membawa komposabilitas ke protokol di bidang DeFi dan GameFi.

Kakarot: Sebuah Zk-EVM yang dianggap keren oleh Vitalik Buterin dan diinvestasikan

Rencana Pengembangan

Proyek ini dimulai pada bulan Oktober 2022, bertujuan untuk mengembangkan zkEVM dengan kode sumber terbuka yang terdiri dari kurang dari 10.000 baris. Target ini tercapai dalam waktu hanya enam bulan. Rencana peluncuran testnet akan dilakukan pada akhir musim panas 2023.

Pengembangan Kakarot zkEVM dibagi menjadi tiga tahap:

  • Tahap Satu: Menerapkan Kakarot zkEVM di Starknet

Kakarot zkEVM akan pertama kali hadir sebagai EVM yang terintegrasi di Starknet L2, memungkinkan pengembang untuk langsung menerapkan kontrak pintar Solidity (atau bahasa yang kompatibel dengan EVM lainnya) di Starknet, dan menggunakan alat yang familiar. Pengguna dapat berinteraksi dengan dApps menggunakan alat yang umum digunakan. Secara keseluruhan, pengalaman pengembangan dan penggunaan di Kakarot akan sepenuhnya sejalan dengan Polygon, Scroll, atau Ethereum L1.

  • Tahap Dua: Kakarot dan Madara bergabung --- L3 zkEVMs

Kakarot dan Madara akan digabungkan menjadi tumpukan yang terintegrasi, mengaktifkan L3 zkEVM, dan mendukung L4, L5, dll. jika diperlukan. Tim dapat menerapkan rantai aplikasi zkEVM dan menyelesaikan transaksi di Starknet dengan bukti validitas. Perhitungan dilakukan di luar rantai atau di lapisan yang lebih tinggi, dengan verifikasi di dalam rantai. L3 ini memiliki fitur menarik: kemampuan untuk memisahkan keamanan dan desentralisasi. Pengguna dapat menikmati keamanan Ethereum L1 tanpa memerlukan tingkat desentralisasi yang sama. Namun, bagi rollup, desentralisasi tetap penting karena membawa aktivitas dan ketahanan terhadap sensor. Ini dapat dicapai dengan mengatur sorter menjadi ratusan daripada ribuan. Karena perhitungan dilakukan di lapisan lain, biaya gas L3 lebih rendah dibandingkan L2, dengan kinerja yang lebih tinggi. Untuk lebih menurunkan biaya, verifikasi bukti dan ketersediaan data (DA) dapat dipisahkan. Pengguna dapat memilih opsi berbeda berdasarkan kebutuhan keamanan.

  • Tahap Tiga: Kakarot dan Madara bergabung --- type 1 zkEVM

Kakarot dan Madara juga dapat digabungkan untuk mewujudkan type 1 zkEVM. Jika dapat:

  1. Menulis aturan konsensus Ethereum menggunakan Cairo di node penuh Madara x Kakarot, untuk membuktikan konsensus L1.
  2. Beralih dari Pedersen Merkle Patricia Trie (MPT) ke Keccak MPT.

Maka Kakarot dapat menjadi klien zkEVM tipe 1, yang dapat membuktikan blok L1. Ini adalah kasus penggunaan yang lebih maju, tergantung pada jalur pengembangan Ethereum, terutama pada tahap Verge. Setelah Verge, keccak mungkin akan digantikan oleh poseidon sebagai fungsi hash pilihan Ethereum. Ini akan membantu tim zkEVM mencapai tipe 1, karena hambatan utama kompatibilitas zkEVM adalah tata letak penyimpanan, yaitu untuk mewujudkan Keccak MPT dengan biaya yang dapat dibuktikan dan wajar.

Kakarot: Zk-EVM yang dianggap keren oleh Vitalik Buterin dan diinvestasikan

Latar Belakang Tim

Tim inti Kakarot lahir dari sebuah hackathon di Lisbon, sekitar 10 orang membangun sebuah zkEVM dalam waktu seminggu.

Dengan dukungan dari Starknet Foundation dan Onlydust, Kakarot saat ini memiliki lebih dari 40 kontributor independen.

**Elias Tazartes:**Kakarot co-founder dan CEO, fokus pada rekayasa blockchain dan pengembangan full-stack.

Clément Walter: Co-founder and CTO of Kakarot, self-proclaimed scientist, engineer, entrepreneur, and jack-of-all-trades.

Kakarot: Zk-EVM yang dianggap keren oleh Vitalik Buterin dan diinvestasikan

Situasi Pendanaan

Kakarot telah menyelesaikan pembiayaan pra-putaran benih, jumlah spesifik tidak diungkapkan. Investor termasuk Starkware dan LambDa. Investor malaikat termasuk Vitalik Buterin, salah satu pendiri Ledger Nicolas Bacca dan salah satu pendiri serta CEO ZAMA Rand Hindi.

Prospek Proyek

Saat ini, ekosistem rantai publik non-EVM berkembang lambat, sebagian besar ekosistem rantai publik berfokus pada Ethereum. Kakarot, sebagai EVM yang ditulis dengan Cairo di Starknet, dapat dengan baik menghubungkan Starknet dan ekosistem Ethereum, memungkinkan proyek Ethereum dibangun di Starknet, mengurangi hambatan pengembangan, dan menikmati keamanan serta biaya rendah dari Ethereum. Pada tahap selanjutnya, lebih banyak kemampuan komposabilitas akan dicapai, seperti dengan modulasi modular seperti Celestia atau EigenDA.

Sebagai ZK-EVM di Starknet, Kakarot sangat terkait dengan ekosistem Starknet. Starknet terus berinovasi dan meningkatkan pengalaman pengguna, sementara ZK-EVM yang dibangun oleh Kakarot akan berkontribusi pada kemakmuran ekosistem. Namun, jika perkembangan Starknet tidak baik, Kakarot juga akan terpengaruh.

Kakarot mendapatkan dukungan dari Vitalik Buterin dan StarkWare, mendapatkan dukungan baik secara mental maupun finansial, ini adalah keunggulan besar.

Namun, dibandingkan dengan ZK-EVM lainnya, Kakarot juga menghadapi tantangan: ukuran tim yang kecil, anggaran, dan brand yang kurang dikenal. Ini juga merupakan salah satu alasan mengapa Kakarot belum diterapkan sebagai zkEVM L2 yang umum.

Kakarot saat ini masih dalam tahap awal, jaringan pengujian akan segera diluncurkan, layak untuk terus memperhatikan perkembangan ini.

Kakarot: Zk-EVM yang dianggap keren dan diinvestasikan oleh Vitalik Buterin

Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
  • Hadiah
  • 5
  • Bagikan
Komentar
0/400
EthMaximalistvip
· 14jam yang lalu
Ada sedikit sesuatu, bagus.
Lihat AsliBalas0
NFTArchaeologisvip
· 14jam yang lalu
Gulungan kuno dunia digital menambahkan bab baru
Lihat AsliBalas0
MrDecodervip
· 14jam yang lalu
Menang besar Vitalik Buterin turun tangan
Lihat AsliBalas0
RugPullAlarmvip
· 15jam yang lalu
Apakah hanya dengan dukungan vb itu benar-benar menarik? Yang disebut tim kecil kemungkinan besar adalah skema ponzi.
Lihat AsliBalas0
GateUser-2fce706cvip
· 15jam yang lalu
Sudah pernah dikatakan bahwa jalur zkEVM adalah sandi kekayaan yang sebenarnya, tidak terlambat dalam tiga tahun!
Lihat AsliBalas0
  • Sematkan
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)