Analis Dalam artikel ini, kita akan mengeksplorasi berbagai fase Kakarot, kekuatan dan kelemahannya, serta tantangan dan peluang yang dihadapi proyek tersebut.
Penulis: s
Kompilasi: TechFlow Gelombang Dalam
Kakarot zkEVM adalah EVM yang diimplementasikan di Kairo. Dengan meningkatkan kompatibilitas EVM, Kakarot memperluas ekosistem Starknet. Apa yang digunakan untuk memenangkan dukungan Vitalik dan StarkWare? Analis Dalam artikel ini, kita akan mengeksplorasi berbagai fase Kakarot, kekuatan dan kelemahannya, serta tantangan dan peluang yang dihadapi proyek tersebut.
Apa itu CairoVM?
Kakarot dibangun di atas mesin virtual (VM) CairoVM, yang merupakan infrastruktur Starknet.
Fitur utama KairoVM:
Mewakili eksekusi sebagai polinomial (persamaan) untuk eksekusi yang dapat dibuktikan;
Memungkinkan penggunaan STARK untuk membuktikan semua transaksi Starknet.
Apa itu Kairo?
Turing menyelesaikan arsitektur CPU ramah STARK:
Kelengkapan Turing: sistem dapat menghitung kemungkinan perhitungan/program;
STARK FRIENDLY: Sistem bukti disediakan oleh StarkWare. Integritas komputasi off-chain dibuktikan oleh pembukti dan diverifikasi oleh pemverifikasi on-chain.
Cara kerja Kairo
Pengembang dapat menggunakan Kairo untuk menulis program di CairoVM untuk mendeskripsikan pernyataan yang akan dibuktikan dalam bahasa tingkat tinggi. Ini meningkatkan pengalaman pengembang karena mereka dapat memanfaatkan skalabilitas bukti tanpa pengetahuan (ZKP) tanpa harus mempelajari cara menulis sirkuit yang kompleks.
Arsitektur Kakarot
Kakarot dibangun di atas CairoVM dan:
Penerjemah bytecode EVM;
SC dikerahkan di Starknet;
Ditulis di Kairo.
Kakarot memungkinkan:
Terapkan EVM SC yang ada.
Kakarot bukan:
Blockchain;
Kompiler: Tidak mengonversi kode Soliditas ke Kairo.
Pada Mei 2023:
Arsitektur bytecode 100% (Tipe 3 zkEVM);
Menerapkan prakompilasi 8/9 EVM.
Setelah menerapkan prakompilasi 9/9 EVM, Kakarot akan menjadi zkEVM Tipe 2.5.
Tipe 1 zkEVM sepenuhnya setara dengan Ethereum, tanpa mengubah sistem Ethereum untuk menghasilkan bukti dengan lebih mudah,
Kelebihan: Solusi pamungkas untuk menskalakan Ethereum.
Kekurangan: Komputasi intensif, bukti panjang (memerlukan berjam-jam).
Contoh: Scroll, Taiko.
Tipe 2 zkEVM sepenuhnya setara dengan EVM, dengan sedikit modifikasi pada sistem Ethereum (menggunakan fungsi hash yang berbeda) untuk:
Pengembangan lebih mudah;
Generasi bukti lebih cepat.
Kelebihan: Tersedia untuk sebagian besar Ethereum dApps.
Kekurangan: Efisiensi EVM dan ZK kurang bersahabat.
Misalnya Gulir.
Tipe 2.5 zkEVM setara dengan EVM kecuali untuk biaya Gas. Ini meningkatkan biaya gas untuk operasi tertentu di EVM yang sulit dibuktikan dengan ZK.
Pro: risiko lebih kecil daripada EVM yang lebih luas
Kekurangan: Kompatibilitas alat pengembangan berkurang, beberapa dApps tidak akan kompatibel.
Tipe 3 zkEVM hampir identik dengan EVM, hanya fitur yang sangat sulit diimplementasikan (seperti precompilation) yang dihapus.
Pro: Waktu pembuktian yang lebih cepat, pengembangan EVM lebih mudah.
Cons: Beberapa dApps perlu ditulis ulang.
Misalnya:
Menggulir;
Poligon
Ketik 4 zkEVM bahasa tingkat tinggi yang setara, kompilasi kode sumber SC (bahasa tingkat tinggi) ke dalam bahasa ramah ZK-SNARK.
Pro: Menghindari banyak overhead.
Kekurangan: Kontrak mungkin tidak memiliki alamat yang sama dengan EVM, bytecode EVM tulisan tangan mungkin tidak didukung, infrastruktur tidak dapat ditransfer karena dijalankan pada bytecode EVM.
Misalnya:
zksync;
Nethermind.
Roadmap Kakarot | Fase 1 | Membawa EVM ke Starknet
Kakarot awalnya akan ada di Starknet sebagai EVM yang Diabadikan. Pengalaman pengembang dan pengguna (UX) akan persis sama dengan Polygon, Scroll, atau Ethereum.
Tahap 2 | L3 zkEVMs
Menerapkan appchains zkEVM melalui Kakarot memungkinkan mereka menyelesaikan txns di Starknet menggunakan bukti validitas. Ini dicapai dengan menggabungkan Kakarot dan MadaraStarknet menjadi satu tumpukan.
Hanya dengan 1 klik, Rollups memberi Anda:
ZkEVM khusus aplikasi diterapkan di Starknet;
Akses ke lingkungan EVM;
Eksekusi cepat;
Gas Rendah: Gunakan solusi ketersediaan data.
Keamanan.
Jalankan Solidity SC di CairoVM dengan menggunakan Kakarot: Semua Solidity SC yang diterapkan di EVM akan dapat dijalankan di Starknet tanpa perubahan kode.
Keuntungan memiliki keduanya:
Efisiensi EVM;
Kontrak pintar menjadi dapat dibuktikan.
Fase 3 | Tipe 1 zkEVM
Untuk mencapai ini, Kakarot harus:
Gunakan Kairo untuk menulis aturan konsensus Ethereum di node penuh Madara x Kakarot untuk membuktikan konsensus L1;
Beralih dari Pedersen Merkle Patricia Trie (MPT) ke Keccak MPT.
Itu tergantung pada peta jalan Ethereum: Verge. Saat ini, menerapkan Keccak MPT dengan cara yang terbukti murah adalah kendala kompatibilitas utama untuk zkEVM. Setelah Verge, Keccak dapat digantikan oleh Poseidon sebagai fungsi hash pilihan Ethereum.
pikiran saya
Ini jelas merupakan langkah besar dalam menghadirkan kompatibilitas EVM ke Starknet, tetapi ada beberapa kekhawatiran seputar kesuksesan Kakarot.
Menghadapi persaingan dari pesaing berikut:
ZK-rollup dengan sistem pembuktian berbeda (SNARK): Scroll, zksync, Polygon, Taiko, Linea;
Optimistic-rollups: Optimisme、Decision、Base;
ZkVM berbeda: RISC Zero, Hyper Oracle.
Kesesuaian Pasar Produk (PMF)
Secara keseluruhan, Rollup-as-a-service adalah argumen yang belum teruji yang memerlukan pertimbangan dua aspek utama:
Berapa banyak Rollup yang membutuhkan layanan ini?
Apakah Rollup lebih memilih build internal untuk kedaulatan dan kemampuan penyesuaian?
Iterasi produk secara terus-menerus
Kakarot sedang membangun produk yang sangat kompleks secara teknis yang kemungkinan akan membutuhkan iterasi konstan untuk berhasil. Itu juga tergantung pada beberapa komponen, termasuk:
Susu;
Solusi DA;
Peta jalan Ethereum: The Verge.
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.
Vitalik berpartisipasi dalam investasi, bagaimana Kakarot memperkenalkan EVM ke Starknet?
Penulis: s
Kompilasi: TechFlow Gelombang Dalam
Kakarot zkEVM adalah EVM yang diimplementasikan di Kairo. Dengan meningkatkan kompatibilitas EVM, Kakarot memperluas ekosistem Starknet. Apa yang digunakan untuk memenangkan dukungan Vitalik dan StarkWare? Analis Dalam artikel ini, kita akan mengeksplorasi berbagai fase Kakarot, kekuatan dan kelemahannya, serta tantangan dan peluang yang dihadapi proyek tersebut.
Apa itu CairoVM?
Kakarot dibangun di atas mesin virtual (VM) CairoVM, yang merupakan infrastruktur Starknet.
Fitur utama KairoVM:
Apa itu Kairo?
Turing menyelesaikan arsitektur CPU ramah STARK:
Cara kerja Kairo
Pengembang dapat menggunakan Kairo untuk menulis program di CairoVM untuk mendeskripsikan pernyataan yang akan dibuktikan dalam bahasa tingkat tinggi. Ini meningkatkan pengalaman pengembang karena mereka dapat memanfaatkan skalabilitas bukti tanpa pengetahuan (ZKP) tanpa harus mempelajari cara menulis sirkuit yang kompleks.
Arsitektur Kakarot
Kakarot dibangun di atas CairoVM dan:
Kakarot memungkinkan:
Kakarot bukan:
Pada Mei 2023:
Setelah menerapkan prakompilasi 9/9 EVM, Kakarot akan menjadi zkEVM Tipe 2.5.
Tipe 1 zkEVM sepenuhnya setara dengan Ethereum, tanpa mengubah sistem Ethereum untuk menghasilkan bukti dengan lebih mudah,
Kelebihan: Solusi pamungkas untuk menskalakan Ethereum.
Kekurangan: Komputasi intensif, bukti panjang (memerlukan berjam-jam).
Contoh: Scroll, Taiko.
Tipe 2 zkEVM sepenuhnya setara dengan EVM, dengan sedikit modifikasi pada sistem Ethereum (menggunakan fungsi hash yang berbeda) untuk:
Kelebihan: Tersedia untuk sebagian besar Ethereum dApps.
Kekurangan: Efisiensi EVM dan ZK kurang bersahabat.
Misalnya Gulir.
Tipe 2.5 zkEVM setara dengan EVM kecuali untuk biaya Gas. Ini meningkatkan biaya gas untuk operasi tertentu di EVM yang sulit dibuktikan dengan ZK.
Pro: risiko lebih kecil daripada EVM yang lebih luas
Kekurangan: Kompatibilitas alat pengembangan berkurang, beberapa dApps tidak akan kompatibel.
Tipe 3 zkEVM hampir identik dengan EVM, hanya fitur yang sangat sulit diimplementasikan (seperti precompilation) yang dihapus.
Pro: Waktu pembuktian yang lebih cepat, pengembangan EVM lebih mudah.
Cons: Beberapa dApps perlu ditulis ulang.
Misalnya:
Ketik 4 zkEVM bahasa tingkat tinggi yang setara, kompilasi kode sumber SC (bahasa tingkat tinggi) ke dalam bahasa ramah ZK-SNARK.
Pro: Menghindari banyak overhead.
Kekurangan: Kontrak mungkin tidak memiliki alamat yang sama dengan EVM, bytecode EVM tulisan tangan mungkin tidak didukung, infrastruktur tidak dapat ditransfer karena dijalankan pada bytecode EVM.
Misalnya:
Roadmap Kakarot | Fase 1 | Membawa EVM ke Starknet
Kakarot awalnya akan ada di Starknet sebagai EVM yang Diabadikan. Pengalaman pengembang dan pengguna (UX) akan persis sama dengan Polygon, Scroll, atau Ethereum.
Tahap 2 | L3 zkEVMs
Menerapkan appchains zkEVM melalui Kakarot memungkinkan mereka menyelesaikan txns di Starknet menggunakan bukti validitas. Ini dicapai dengan menggabungkan Kakarot dan MadaraStarknet menjadi satu tumpukan.
Hanya dengan 1 klik, Rollups memberi Anda:
Jalankan Solidity SC di CairoVM dengan menggunakan Kakarot: Semua Solidity SC yang diterapkan di EVM akan dapat dijalankan di Starknet tanpa perubahan kode.
Keuntungan memiliki keduanya:
Fase 3 | Tipe 1 zkEVM
Untuk mencapai ini, Kakarot harus:
Itu tergantung pada peta jalan Ethereum: Verge. Saat ini, menerapkan Keccak MPT dengan cara yang terbukti murah adalah kendala kompatibilitas utama untuk zkEVM. Setelah Verge, Keccak dapat digantikan oleh Poseidon sebagai fungsi hash pilihan Ethereum.
pikiran saya
Ini jelas merupakan langkah besar dalam menghadirkan kompatibilitas EVM ke Starknet, tetapi ada beberapa kekhawatiran seputar kesuksesan Kakarot.
Menghadapi persaingan dari pesaing berikut:
Kesesuaian Pasar Produk (PMF)
Secara keseluruhan, Rollup-as-a-service adalah argumen yang belum teruji yang memerlukan pertimbangan dua aspek utama:
Iterasi produk secara terus-menerus
Kakarot sedang membangun produk yang sangat kompleks secara teknis yang kemungkinan akan membutuhkan iterasi konstan untuk berhasil. Itu juga tergantung pada beberapa komponen, termasuk: