Kakarot zkEVM adalah Ethereum Virtual Machine (EVM) yang ditulis di Kairo. Kairo adalah bahasa lengkap Turing yang terkait dengan CairoVM. CairoVM menggunakan sistem bukti polinomial dan ZK-STARK untuk mencapai perhitungan yang dapat dibuktikan.
Karakteristik zkEVM adalah dapat menghasilkan transaksi yang dapat dibuktikan, sehingga juga dapat menghasilkan blok yang dapat dibuktikan. Kakarot dibangun di atas CairoVM, sehingga setiap transaksi yang dijalankan di Kakarot dapat dibuktikan.
Secara umum, Kakarot zkEVM ditulis dalam bahasa Kairo dan menggunakan sistem bukti ZK-STARK untuk menyediakan daya komputasi yang dapat dibuktikan. Ini memungkinkan pengembang untuk menyebarkan aplikasi EVM di atasnya, dan memungkinkan pengguna akhir untuk berinteraksi dengan aplikasi ini menggunakan rantai alat biasa mereka.
Terakhir, Kakarot juga akan menyediakan interoperabilitas dengan protokol Starknet, menyediakan kemampuan untuk menyusun protokol di berbagai bidang seperti DeFi dan GameFi.
peta rute
Proyek ini dimulai pada Oktober 2022 dengan beberapa sasaran: sumber terbuka sejak hari pertama dan, yang paling ambisius, membuat zkEVM dalam kurang dari 10.000 baris kode. Ini dicapai hanya dalam waktu enam bulan. Dan testnet akan dirilis pada akhir musim panas 2023.
Roadmap Kakarot zkEVM dibagi menjadi tiga fase:
Fase 1: Kakarot zkEVM di Starknet — Membawa EVM ke Starknet
Kakarot zkEVM pertama kali akan ada di L2 Starknet sebagai EVM bawaan, memungkinkan pengembang untuk secara langsung menerapkan kontrak pintar Solidity (atau bahasa apa pun yang kompatibel dengan EVM) di Starknet dan menggunakan alat yang mereka kenal (seperti Foundry, Hardhat , Wagmi, dll.) . Pengguna akhir mereka akan dapat berinteraksi dengan dApps mereka menggunakan toolchain yang mereka kenal seperti Metamask, Wallet connect, dll. Secara keseluruhan, pengalaman pengembang dan pengguna di Kakarot akan sama persis dengan Polygon, Scroll, atau Ethereum L1
Fase 2: Kakarot x Madara — L3 zkEVMs
Kakarot dan Madara akan digabungkan menjadi tumpukan terpadu untuk mengaktifkan L3 zkEVMs dan jika masuk akal untuk mengaktifkan L4, L5, dll. Tim akan dapat menyebarkan rantai aplikasi zkEVM mereka dan menggunakan bukti validitas untuk menyelesaikan transaksi di Starknet. Perhitungan dilakukan secara off-chain atau pada lapisan yang lebih tinggi, dan diverifikasi secara on-chain. L3 bukti validitas ini (seperti Kakarot) memiliki properti yang menarik dan diremehkan: kemampuan untuk memisahkan keamanan dan desentralisasi. Pengguna bisa mendapatkan keuntungan dari keamanan Ethereum L1 tanpa memerlukan tingkat desentralisasi yang sama (yaitu ribuan validator). Namun, untuk rollup, desentralisasi bermanfaat karena menghadirkan keaktifan dan ketahanan sensor, dua sifat yang sangat penting. Ini dapat dicapai dengan menyetel sequencer dalam ratusan, bukan ribuan. L2 memiliki biaya gas yang jauh lebih rendah dan kinerja (TPS) yang lebih tinggi daripada L2 karena perhitungan dilakukan di lapisan lain. Perhatikan bahwa L2 sudah jauh lebih murah daripada L1. Rollup ditumpuk dan dikalikan untuk skalabilitas. Untuk lebih mengurangi biaya gas, verifikasi bukti dan ketersediaan data (DA) dapat dipisahkan. Starknet L2 hanya dapat digunakan sebagai lapisan verifikasi bukti, sedangkan solusi ketersediaan data baru, seperti Celestia atau EigenDA, dapat digunakan untuk mempublikasikan data transaksi. Pengguna akan memiliki opsi untuk ikut serta, tergantung pada kebutuhan keamanan mereka. Menerbitkan bukti dan data transaksi di Starknet adalah pilihan yang lebih aman, sementara menggunakan solusi DA untuk menerbitkan data transaksi adalah pilihan yang lebih ekonomis
Fase 3: Kakarot x Madara — ketik 1 zkEVM
Kakarot dan Madara juga dapat digabungkan untuk mengimplementasikan zkEVM tipe 1. Jika kamu bisa:
Tulis aturan konsensus Ethereum dengan Kairo di simpul penuh Madara x Kakarot, sehingga konsensus L1 dapat dibuktikan.
Beralih dari Pedersen Merkle Patricia Trie (MPT) ke Keccak MPT. Kemudian, Kakarot akan menjadi klien zkEVM tipe 1 yang mampu membuktikan blok L1. Ini adalah kasus penggunaan yang lebih canggih yang bergantung pada peta jalan Ethereum, khususnya Verge. Setelah Verge, keccak dapat digantikan oleh poseidon sebagai fungsi hash pilihan untuk Ethereum. Ini akan membantu tim zkEVM menjadi tipe 1, karena rintangan kompatibilitas utama untuk zkEVM adalah tata letak penyimpanan, yaitu menerapkan Keccak MPT dengan biaya yang dapat dibuktikan dan masuk akal.
Tim:
Di rumah seorang peretas di Lisbon, sekitar satu minggu kerja keras, sekitar sepuluh orang membangun zkEVM, sejauh ini, tim inti Kakarot lahir.
Dengan bantuan Starknet Foundation dan Onlydust, saat ini Kakarot memiliki lebih dari 40 kontributor unik.
**Elias Tazartes: **Co-founder dan CEO Kakarot, seorang pengembang lepas yang berspesialisasi dalam teknik blockchain (Dapp, Ethereum, Algorand) dan pengembangan full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter: **Ilmuwan, insinyur, pengusaha, tukang, ingin tahu tentang segalanya, ini adalah perkenalan Clément tentang dirinya sendiri. Pada saat yang sama, dia adalah co-founder dan chief technology officer Kakarot
Pembiayaan:
Saat ini Kakarot telah melakukan pembiayaan tahap awal. Jumlah pembiayaan spesifik belum diumumkan. Tim dan personel yang terlibat dalam investasi tersebut adalah: **Starkware, LambDa. **Angel investor termasuk Vitalik, Nicolas Bacca, salah satu pendiri Ledger, dan Rand Hindi, salah satu pendiri dan CEO ZAMA.
Ringkas:
Saat ini, pengembangan ekologi rantai publik yang tidak kompatibel dengan EVM sedang dalam tahap lambat. Saat ini, sebagian besar ekologi rantai publik dikembangkan di sekitar ekosistem Ethereum Kakarot, sebagai Ethereum Virtual Machine (EVM) yang ditulis di Kairo di Starknet, dapat dengan cepat Tautan yang baik antara ekologi Starknet dan ekologi Ethereum, di Starknet yang tidak kompatibel dengan EVM, memungkinkan ekologi Ethereum dibangun dengan baik di Starknet, dan menurunkan penghalang masuk bagi pengembang untuk mengembangkan, mengakses keamanan Ethereum dan mengurangi biaya. Pada tahap kedua dan ketiga Kakarot, lebih banyak komposisi dapat dicapai, dan modul seperti Celestia atau EigenDA dapat digabungkan secara modular.
Seperti yang ditulis ZK-EVM di Starknet, koneksi dengan ekologi Starknet seperti hubungan antara bibir dan gigi, dan keduanya makmur.Saat ini, Starknet juga terus ditingkatkan secara iteratif untuk meningkatkan pengalaman pengguna, dan mengandalkan ZK- EVM yang dibangun oleh Kakarot bisa sangat bagus, untuk berkontribusi pada kemakmuran ekologis proyek, sebaliknya, jika pengembangan Starknet tidak memuaskan, Kakarot juga akan terpengaruh.
Keuntungan lain dari Kakarot adalah mendapat dukungan dari V God dan StarkWare, tidak hanya secara spiritual tetapi juga finansial.
Dibandingkan dengan ZK-EVM lainnya, Kakarot berada pada posisi yang kurang menguntungkan—tim yang terdiri dari kurang dari 10 orang, dengan anggaran dan merek yang jauh lebih kecil. Inilah salah satu alasan mengapa Kakarot tidak digunakan sebagai zkEVM L2 tujuan umum.
Saat ini Kakarot masih dalam tahap awal, dan testnet akan dirilis dalam waktu dekat, harap nantikan.
Lihat Asli
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Kakarot: Zk-EVM yang menurut Vitalik Buterin keren dan cocok untuk investasi
Ditulis oleh: Yinnan
Perkenalan
Kakarot zkEVM adalah Ethereum Virtual Machine (EVM) yang ditulis di Kairo. Kairo adalah bahasa lengkap Turing yang terkait dengan CairoVM. CairoVM menggunakan sistem bukti polinomial dan ZK-STARK untuk mencapai perhitungan yang dapat dibuktikan.
Karakteristik zkEVM adalah dapat menghasilkan transaksi yang dapat dibuktikan, sehingga juga dapat menghasilkan blok yang dapat dibuktikan. Kakarot dibangun di atas CairoVM, sehingga setiap transaksi yang dijalankan di Kakarot dapat dibuktikan.
Secara umum, Kakarot zkEVM ditulis dalam bahasa Kairo dan menggunakan sistem bukti ZK-STARK untuk menyediakan daya komputasi yang dapat dibuktikan. Ini memungkinkan pengembang untuk menyebarkan aplikasi EVM di atasnya, dan memungkinkan pengguna akhir untuk berinteraksi dengan aplikasi ini menggunakan rantai alat biasa mereka.
Terakhir, Kakarot juga akan menyediakan interoperabilitas dengan protokol Starknet, menyediakan kemampuan untuk menyusun protokol di berbagai bidang seperti DeFi dan GameFi.
peta rute
Proyek ini dimulai pada Oktober 2022 dengan beberapa sasaran: sumber terbuka sejak hari pertama dan, yang paling ambisius, membuat zkEVM dalam kurang dari 10.000 baris kode. Ini dicapai hanya dalam waktu enam bulan. Dan testnet akan dirilis pada akhir musim panas 2023.
Roadmap Kakarot zkEVM dibagi menjadi tiga fase:
Kakarot zkEVM pertama kali akan ada di L2 Starknet sebagai EVM bawaan, memungkinkan pengembang untuk secara langsung menerapkan kontrak pintar Solidity (atau bahasa apa pun yang kompatibel dengan EVM) di Starknet dan menggunakan alat yang mereka kenal (seperti Foundry, Hardhat , Wagmi, dll.) . Pengguna akhir mereka akan dapat berinteraksi dengan dApps mereka menggunakan toolchain yang mereka kenal seperti Metamask, Wallet connect, dll. Secara keseluruhan, pengalaman pengembang dan pengguna di Kakarot akan sama persis dengan Polygon, Scroll, atau Ethereum L1
Kakarot dan Madara akan digabungkan menjadi tumpukan terpadu untuk mengaktifkan L3 zkEVMs dan jika masuk akal untuk mengaktifkan L4, L5, dll. Tim akan dapat menyebarkan rantai aplikasi zkEVM mereka dan menggunakan bukti validitas untuk menyelesaikan transaksi di Starknet. Perhitungan dilakukan secara off-chain atau pada lapisan yang lebih tinggi, dan diverifikasi secara on-chain. L3 bukti validitas ini (seperti Kakarot) memiliki properti yang menarik dan diremehkan: kemampuan untuk memisahkan keamanan dan desentralisasi. Pengguna bisa mendapatkan keuntungan dari keamanan Ethereum L1 tanpa memerlukan tingkat desentralisasi yang sama (yaitu ribuan validator). Namun, untuk rollup, desentralisasi bermanfaat karena menghadirkan keaktifan dan ketahanan sensor, dua sifat yang sangat penting. Ini dapat dicapai dengan menyetel sequencer dalam ratusan, bukan ribuan. L2 memiliki biaya gas yang jauh lebih rendah dan kinerja (TPS) yang lebih tinggi daripada L2 karena perhitungan dilakukan di lapisan lain. Perhatikan bahwa L2 sudah jauh lebih murah daripada L1. Rollup ditumpuk dan dikalikan untuk skalabilitas. Untuk lebih mengurangi biaya gas, verifikasi bukti dan ketersediaan data (DA) dapat dipisahkan. Starknet L2 hanya dapat digunakan sebagai lapisan verifikasi bukti, sedangkan solusi ketersediaan data baru, seperti Celestia atau EigenDA, dapat digunakan untuk mempublikasikan data transaksi. Pengguna akan memiliki opsi untuk ikut serta, tergantung pada kebutuhan keamanan mereka. Menerbitkan bukti dan data transaksi di Starknet adalah pilihan yang lebih aman, sementara menggunakan solusi DA untuk menerbitkan data transaksi adalah pilihan yang lebih ekonomis
Kakarot dan Madara juga dapat digabungkan untuk mengimplementasikan zkEVM tipe 1. Jika kamu bisa:
Tim:
Di rumah seorang peretas di Lisbon, sekitar satu minggu kerja keras, sekitar sepuluh orang membangun zkEVM, sejauh ini, tim inti Kakarot lahir.
Dengan bantuan Starknet Foundation dan Onlydust, saat ini Kakarot memiliki lebih dari 40 kontributor unik.
**Elias Tazartes: **Co-founder dan CEO Kakarot, seorang pengembang lepas yang berspesialisasi dalam teknik blockchain (Dapp, Ethereum, Algorand) dan pengembangan full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter: **Ilmuwan, insinyur, pengusaha, tukang, ingin tahu tentang segalanya, ini adalah perkenalan Clément tentang dirinya sendiri. Pada saat yang sama, dia adalah co-founder dan chief technology officer Kakarot
Pembiayaan:
Saat ini Kakarot telah melakukan pembiayaan tahap awal. Jumlah pembiayaan spesifik belum diumumkan. Tim dan personel yang terlibat dalam investasi tersebut adalah: **Starkware, LambDa. **Angel investor termasuk Vitalik, Nicolas Bacca, salah satu pendiri Ledger, dan Rand Hindi, salah satu pendiri dan CEO ZAMA.
Ringkas:
Saat ini, pengembangan ekologi rantai publik yang tidak kompatibel dengan EVM sedang dalam tahap lambat. Saat ini, sebagian besar ekologi rantai publik dikembangkan di sekitar ekosistem Ethereum Kakarot, sebagai Ethereum Virtual Machine (EVM) yang ditulis di Kairo di Starknet, dapat dengan cepat Tautan yang baik antara ekologi Starknet dan ekologi Ethereum, di Starknet yang tidak kompatibel dengan EVM, memungkinkan ekologi Ethereum dibangun dengan baik di Starknet, dan menurunkan penghalang masuk bagi pengembang untuk mengembangkan, mengakses keamanan Ethereum dan mengurangi biaya. Pada tahap kedua dan ketiga Kakarot, lebih banyak komposisi dapat dicapai, dan modul seperti Celestia atau EigenDA dapat digabungkan secara modular.
Seperti yang ditulis ZK-EVM di Starknet, koneksi dengan ekologi Starknet seperti hubungan antara bibir dan gigi, dan keduanya makmur.Saat ini, Starknet juga terus ditingkatkan secara iteratif untuk meningkatkan pengalaman pengguna, dan mengandalkan ZK- EVM yang dibangun oleh Kakarot bisa sangat bagus, untuk berkontribusi pada kemakmuran ekologis proyek, sebaliknya, jika pengembangan Starknet tidak memuaskan, Kakarot juga akan terpengaruh.
Keuntungan lain dari Kakarot adalah mendapat dukungan dari V God dan StarkWare, tidak hanya secara spiritual tetapi juga finansial.
Dibandingkan dengan ZK-EVM lainnya, Kakarot berada pada posisi yang kurang menguntungkan—tim yang terdiri dari kurang dari 10 orang, dengan anggaran dan merek yang jauh lebih kecil. Inilah salah satu alasan mengapa Kakarot tidak digunakan sebagai zkEVM L2 tujuan umum.
Saat ini Kakarot masih dalam tahap awal, dan testnet akan dirilis dalam waktu dekat, harap nantikan.