Apa itu Kakarot zkEVM? Mengapa didukung oleh Vitalik dan StarkWare? Kakarot membawa EVM ke Starknet, memfasilitasi perluasan dApps EVM. Mari kita lihat lebih dalam!
Kami telah mem-boot dan memasuki mode Super Saiyan. Kakarot Labs telah secara resmi didirikan dan menyelesaikan pembiayaan awal pra-benih dengan investor top.
Mari kita nantikan visi pembangunan, perjelas posisi saat ini, dan nantikan masa depan yang cerah.
Artikel ini terutama akan memperkenalkan hal-hal berikut: 1. Apa itu CairoVM? 2. Apa itu Kairo? 3. Arsitektur EVM 4. Arsitektur Kakarot 5. Klasifikasi tipe zkEVM 6. Roadmap Kakarot 7. Pemikiran pribadi.
Kakarot zkEVM adalah EVM yang diterapkan menggunakan bahasa Cario, memperluas keandalan ekosistem Starknet dengan meningkatkan kompatibilitas EVM. Mari kita pahami langkah demi langkah.
**1. ****Apa itu CairoVM? **
Kakarot berjalan di mesin virtual CairoVM, yang merupakan infrastruktur Starknet. Fitur utama CairoVM adalah sebagai berikut:
· Mewakili eksekusi sebagai persamaan polinomial untuk eksekusi yang dapat dibuktikan.
· Izinkan semua transaksi Starknet untuk menggunakan verifikasi STARK.
**2. Apa itu Cario? **
Cario adalah arsitektur CPU ramah STARK Turing-lengkap.
· Turing Lengkap: Sistem ini mampu menghitung setiap kemungkinan komputasi/program.
· Stark Friendly: Sistem otentikasi StarkWare. Integritas komputasi off-chain dibuktikan oleh pembukti dan diverifikasi oleh pemverifikasi on-chain.
Jadi, bagaimana cara kerja Cario? Pengembang dapat menggunakan Kairo untuk menulis program di CaroVM dan mendeskripsikan pernyataan pernyataan dalam bahasa tingkat tinggi (untuk dibuktikan). Hal ini meningkatkan pengalaman pengembangan karena pengembang dapat memanfaatkan skalabilitas ZK Proofs (ZKPs) tanpa harus mempelajari cara menulis sirkuit yang rumit.
3. EVM****arsitektur
Arsitektur EVM adalah arsitektur VM (mesin virtual) yang matang dan terdefinisi dengan baik dengan:
142 opcodes: instruksi yang digunakan oleh EVM untuk mengeksekusi transaksi dan smart contract (SC). Biaya gas diperlukan untuk mengeksekusi.
9 prekompilasi: Kontrak pintar dibangun ke dalam Ethereum untuk menangani operasi umum. Dapat dipanggil dengan biaya gas standar.
4. Kakarot****Struktur
Kakarot dikembangkan berdasarkan CairoVM, yaitu:
· Penerjemah bytecode EVM
· Kontrak pintar diterapkan di Starknet
· Gunakan bahasa Cario
Kakarot mendukung:
· Terapkan kontrak pintar EVM sebagaimana adanya
Kakarot bukan:
· Blockchain
Kompiler: tidak mengonversi kode Soliditas ke Kairo
Pada Mei 2023:
Arsitektur bytecode 100% telah direalisasikan (Tipe 3 zkEVM)
9 EVM dikompilasi untuk mencapai 8
Setelah mengimplementasikan semua 9 prakompilasi EVM, Kakarot akan menjadi zkEVM Tipe 2.5.
5, zkEVM****Tipe****tipe
(1) Tipe 1 zkEVM | Sepenuhnya setara dengan Ethereum
Tidak ada perubahan pada sistem Ethereum untuk mendukung pembuatan bukti yang lebih mudah.
keuntungan:
Solusi pamungkas untuk ekspansi Ethereum
kekurangan:
· Komputasi intensif
Waktu pembuktiannya lama (membutuhkan waktu berjam-jam)
Contoh:
·Menggulir
·Taiko
(2) Tipe 2 zkEVM | sepenuhnya setara dengan EVM
Modifikasi kecil pada sistem Ethereum (fungsi hash yang berbeda) membuat pengembangan lebih mudah dan pembuatan bukti lebih cepat.
keuntungan:
· Mendukung sebagian besar dApps Ethereum
kekurangan:
Inefisiensi dan ketidakramahan EVM masih ada
Contoh:
·Menggulir
(3) Tipe 2.5 zkEVM | Setara dengan EVM (kecuali biaya gas)
Menambahkan biaya gas untuk operasi tertentu di EVM yang sulit dibuktikan menggunakan ZK.
keuntungan:
Kurang berisiko dibandingkan perubahan EVM yang lebih luas
kekurangan:
Mengurangi kompatibilitas alat pengembangan
· Beberapa dApps tidak kompatibel
(4) Tipe 3 zkEVM | hampir setara dengan EVM
Fitur yang sangat sulit diterapkan (seperti prekompilasi) telah dihapus.
keuntungan:
· Waktu pembuktian lebih cepat
· Pengembangan EVM lebih mudah
kekurangan:
· Beberapa dApps perlu ditulis ulang
Contoh:
·Menggulir
·Poligon
**(5)Tpye4zkEVM|**setara dengan bahasa tingkat tinggi
Kode sumber kontrak pintar (bahasa tingkat tinggi) dikompilasi menjadi bahasa ramah ZK-SNARK.
keuntungan:
· Hindari banyak overhead
kekurangan:
Alamat kontrak mungkin berbeda dengan alamat di EVM
Mungkin tidak mendukung bytecode EVM tulisan tangan
· Infrastruktur debugging tidak dapat diwariskan karena dijalankan pada bytecode EVM.
Contoh:
·zkSync
· Nethermind
6**、Peta Rute Kakarot**
(1) Fase 1 | Menghadirkan EVM ke Starknet
Kakarot awalnya akan ada di Starknet sebagai EVM yang diabadikan. Pengalaman pengembangan dan pengalaman pengguna (UX) akan sama dengan Polygon, Scroll, atau Ethereum.
(2) Tahap 2 | L3 zkEVM
Menyebarkan rantai aplikasi zkEVM melalui Kakarot memungkinkan mereka menyelesaikan transaksi di Starknet menggunakan bukti validitas.
Dengan menggabungkan sequencer Starknet Kakarot dan Madara (sequencer Starknet berbasis substrat) ke dalam tumpukan terpadu.
(3) Fase 2 | zkEVM-Rollup-as-a-Service
Hanya dengan satu klik, rollup menerima:
·ZkEVM khusus aplikasi yang diterapkan di Starknet
· Akses ke lingkungan EVM
· Eksekusi cepat
Biaya bahan bakar rendah: gunakan solusi ketersediaan data (Celestia, EigenLayer)
· Keamanan enkripsi
Keuntungan dari zkEVM-Rollup-as-a-Service:
Jalankan smart contract Solidity di CairoVM dengan menggunakan Kakarot
Smart contract Solidity apa pun yang diterapkan di EVM dapat berjalan di Starknet tanpa perubahan kode
Terbaik dari kedua dunia:
Efisiensi dengan EVM
· Kontrak pintar menjadi dapat dibuktikan
(4) Fase 3 | Tipe 1 zkEVM
Untuk memasuki tahap ini, Kakarot harus:
·Gunakan Kairo untuk menulis aturan konsensus Ethereum dalam simpul penuh Madara dan Kakarot untuk membuktikan konsensus L1.
· Beralih dari Pedersen Merkle Patricia Trie (MPT) ke Keccak MPT.
Namun, Fase 3 tidak pasti. Itu tergantung pada peta jalan Ethereum: Verge. Saat ini, menerapkan Keccak MPT dengan cara yang dapat dibuktikan dan berbiaya rendah merupakan hambatan utama untuk kompatibilitas zkEVM. Setelah Verge, Keccak dapat digantikan oleh Poseidon sebagai fungsi hash pilihan untuk Ethereum.
7**、Pikiran pribadi**
Membawa kompatibilitas EVM ke Starknet tentu saja merupakan langkah maju yang besar, tetapi masih ada kekhawatiran tentang kesuksesan Kakarot.
(1) Bidang ZK yang sangat kompetitif
Kompetitor adalah:
· ZK-rollup dengan sistem bukti berbeda (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Rollup optimis：Optimisme、Keputusan、Base
ZkVM berbeda: RISC Zero, Hyper Oracle
(2) Kesesuaian Pasar Produk (PMF)
Secara keseluruhan, rollup-as-a-service adalah topik terbuka, dengan dua aspek utama untuk dipertimbangkan:
· Berapa banyak pembatalan yang membutuhkan layanan ini?
Apakah rollup lebih suka membangun kedaulatan dan kemampuan penyesuaian secara internal?
(3) Iterasi produk berkelanjutan
Kakarot sedang mengembangkan dan membangun produk yang sangat kompleks secara teknis dan kemungkinan akan membutuhkan iterasi yang konstan agar berhasil.
Itu juga bergantung pada beberapa komponen dinamis, termasuk:
·Susu
· Solusi Ketersediaan Data
Peta Jalan Ethereum: Ambang
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.
Apa itu Kakarot zkEVM? Mengapa Vitalik berpartisipasi dalam pemungutan suara
Penulis: s, analis modal ventura terjemahan: Jinse Finance xiaozou
Apa itu Kakarot zkEVM? Mengapa didukung oleh Vitalik dan StarkWare? Kakarot membawa EVM ke Starknet, memfasilitasi perluasan dApps EVM. Mari kita lihat lebih dalam!
Kami telah mem-boot dan memasuki mode Super Saiyan. Kakarot Labs telah secara resmi didirikan dan menyelesaikan pembiayaan awal pra-benih dengan investor top.
Mari kita nantikan visi pembangunan, perjelas posisi saat ini, dan nantikan masa depan yang cerah.
Artikel ini terutama akan memperkenalkan hal-hal berikut: 1. Apa itu CairoVM? 2. Apa itu Kairo? 3. Arsitektur EVM 4. Arsitektur Kakarot 5. Klasifikasi tipe zkEVM 6. Roadmap Kakarot 7. Pemikiran pribadi.
Kakarot zkEVM adalah EVM yang diterapkan menggunakan bahasa Cario, memperluas keandalan ekosistem Starknet dengan meningkatkan kompatibilitas EVM. Mari kita pahami langkah demi langkah.
**1. ****Apa itu CairoVM? **
Kakarot berjalan di mesin virtual CairoVM, yang merupakan infrastruktur Starknet. Fitur utama CairoVM adalah sebagai berikut:
· Mewakili eksekusi sebagai persamaan polinomial untuk eksekusi yang dapat dibuktikan.
· Izinkan semua transaksi Starknet untuk menggunakan verifikasi STARK.
**2. Apa itu Cario? **
Cario adalah arsitektur CPU ramah STARK Turing-lengkap.
· Turing Lengkap: Sistem ini mampu menghitung setiap kemungkinan komputasi/program.
· Stark Friendly: Sistem otentikasi StarkWare. Integritas komputasi off-chain dibuktikan oleh pembukti dan diverifikasi oleh pemverifikasi on-chain.
Jadi, bagaimana cara kerja Cario? Pengembang dapat menggunakan Kairo untuk menulis program di CaroVM dan mendeskripsikan pernyataan pernyataan dalam bahasa tingkat tinggi (untuk dibuktikan). Hal ini meningkatkan pengalaman pengembangan karena pengembang dapat memanfaatkan skalabilitas ZK Proofs (ZKPs) tanpa harus mempelajari cara menulis sirkuit yang rumit.
3. EVM****arsitektur
Arsitektur EVM adalah arsitektur VM (mesin virtual) yang matang dan terdefinisi dengan baik dengan:
142 opcodes: instruksi yang digunakan oleh EVM untuk mengeksekusi transaksi dan smart contract (SC). Biaya gas diperlukan untuk mengeksekusi.
9 prekompilasi: Kontrak pintar dibangun ke dalam Ethereum untuk menangani operasi umum. Dapat dipanggil dengan biaya gas standar.
4. Kakarot****Struktur
Kakarot dikembangkan berdasarkan CairoVM, yaitu:
· Penerjemah bytecode EVM
· Kontrak pintar diterapkan di Starknet
· Gunakan bahasa Cario
Kakarot mendukung:
· Terapkan kontrak pintar EVM sebagaimana adanya
Kakarot bukan:
· Blockchain
Kompiler: tidak mengonversi kode Soliditas ke Kairo
Pada Mei 2023:
Arsitektur bytecode 100% telah direalisasikan (Tipe 3 zkEVM)
9 EVM dikompilasi untuk mencapai 8
Setelah mengimplementasikan semua 9 prakompilasi EVM, Kakarot akan menjadi zkEVM Tipe 2.5.
5, zkEVM****Tipe****tipe
(1) Tipe 1 zkEVM | Sepenuhnya setara dengan Ethereum
Tidak ada perubahan pada sistem Ethereum untuk mendukung pembuatan bukti yang lebih mudah.
keuntungan:
Solusi pamungkas untuk ekspansi Ethereum
kekurangan:
· Komputasi intensif
Waktu pembuktiannya lama (membutuhkan waktu berjam-jam)
Contoh:
·Menggulir
·Taiko
(2) Tipe 2 zkEVM | sepenuhnya setara dengan EVM
Modifikasi kecil pada sistem Ethereum (fungsi hash yang berbeda) membuat pengembangan lebih mudah dan pembuatan bukti lebih cepat.
keuntungan:
· Mendukung sebagian besar dApps Ethereum
kekurangan:
Inefisiensi dan ketidakramahan EVM masih ada
Contoh:
·Menggulir
(3) Tipe 2.5 zkEVM | Setara dengan EVM (kecuali biaya gas)
Menambahkan biaya gas untuk operasi tertentu di EVM yang sulit dibuktikan menggunakan ZK.
keuntungan:
Kurang berisiko dibandingkan perubahan EVM yang lebih luas
kekurangan:
Mengurangi kompatibilitas alat pengembangan
· Beberapa dApps tidak kompatibel
(4) Tipe 3 zkEVM | hampir setara dengan EVM
Fitur yang sangat sulit diterapkan (seperti prekompilasi) telah dihapus.
keuntungan:
· Waktu pembuktian lebih cepat
· Pengembangan EVM lebih mudah
kekurangan:
· Beberapa dApps perlu ditulis ulang
Contoh:
·Menggulir
·Poligon
**(5)Tpye4zkEVM|**setara dengan bahasa tingkat tinggi
Kode sumber kontrak pintar (bahasa tingkat tinggi) dikompilasi menjadi bahasa ramah ZK-SNARK.
keuntungan:
· Hindari banyak overhead
kekurangan:
Alamat kontrak mungkin berbeda dengan alamat di EVM
Mungkin tidak mendukung bytecode EVM tulisan tangan
· Infrastruktur debugging tidak dapat diwariskan karena dijalankan pada bytecode EVM.
Contoh:
·zkSync
· Nethermind
6**、Peta Rute Kakarot**
(1) Fase 1 | Menghadirkan EVM ke Starknet
Kakarot awalnya akan ada di Starknet sebagai EVM yang diabadikan. Pengalaman pengembangan dan pengalaman pengguna (UX) akan sama dengan Polygon, Scroll, atau Ethereum.
(2) Tahap 2 | L3 zkEVM
Menyebarkan rantai aplikasi zkEVM melalui Kakarot memungkinkan mereka menyelesaikan transaksi di Starknet menggunakan bukti validitas.
Dengan menggabungkan sequencer Starknet Kakarot dan Madara (sequencer Starknet berbasis substrat) ke dalam tumpukan terpadu.
(3) Fase 2 | zkEVM-Rollup-as-a-Service
Hanya dengan satu klik, rollup menerima:
·ZkEVM khusus aplikasi yang diterapkan di Starknet
· Akses ke lingkungan EVM
· Eksekusi cepat
Biaya bahan bakar rendah: gunakan solusi ketersediaan data (Celestia, EigenLayer)
· Keamanan enkripsi
Keuntungan dari zkEVM-Rollup-as-a-Service:
Jalankan smart contract Solidity di CairoVM dengan menggunakan Kakarot
Smart contract Solidity apa pun yang diterapkan di EVM dapat berjalan di Starknet tanpa perubahan kode
Terbaik dari kedua dunia:
Efisiensi dengan EVM
· Kontrak pintar menjadi dapat dibuktikan
(4) Fase 3 | Tipe 1 zkEVM
Untuk memasuki tahap ini, Kakarot harus:
·Gunakan Kairo untuk menulis aturan konsensus Ethereum dalam simpul penuh Madara dan Kakarot untuk membuktikan konsensus L1.
· Beralih dari Pedersen Merkle Patricia Trie (MPT) ke Keccak MPT.
Namun, Fase 3 tidak pasti. Itu tergantung pada peta jalan Ethereum: Verge. Saat ini, menerapkan Keccak MPT dengan cara yang dapat dibuktikan dan berbiaya rendah merupakan hambatan utama untuk kompatibilitas zkEVM. Setelah Verge, Keccak dapat digantikan oleh Poseidon sebagai fungsi hash pilihan untuk Ethereum.
7**、Pikiran pribadi**
Membawa kompatibilitas EVM ke Starknet tentu saja merupakan langkah maju yang besar, tetapi masih ada kekhawatiran tentang kesuksesan Kakarot.
(1) Bidang ZK yang sangat kompetitif
Kompetitor adalah:
· ZK-rollup dengan sistem bukti berbeda (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Rollup optimis：Optimisme、Keputusan、Base
ZkVM berbeda: RISC Zero, Hyper Oracle
(2) Kesesuaian Pasar Produk (PMF)
Secara keseluruhan, rollup-as-a-service adalah topik terbuka, dengan dua aspek utama untuk dipertimbangkan:
· Berapa banyak pembatalan yang membutuhkan layanan ini?
Apakah rollup lebih suka membangun kedaulatan dan kemampuan penyesuaian secara internal?
(3) Iterasi produk berkelanjutan
Kakarot sedang mengembangkan dan membangun produk yang sangat kompleks secara teknis dan kemungkinan akan membutuhkan iterasi yang konstan agar berhasil.
Itu juga bergantung pada beberapa komponen dinamis, termasuk:
·Susu
· Solusi Ketersediaan Data
Peta Jalan Ethereum: Ambang