**Validity Rollups adalah cara yang paling menjanjikan untuk meningkatkan throughput Ethereum dengan cara yang aman dan terdesentralisasi; zkEVM dan Cairo VM (CVM) adalah dua jenis VM yang digunakan dalam Validity Rollups. **
**zkEVM berfokus pada kompatibilitas Ethereum dengan mengorbankan kinerja dan skalabilitas. **
** VM Kairo yang digunakan di Starknet memprioritaskan kinerja dan skalabilitas daripada kompatibilitas. **
Rollup adalah topik hangat tahun ini ketika berbicara tentang penskalaan Ethereum. Di antara berbagai jenis rollup, kami percaya bahwa Validity Rollup (VR), juga dikenal sebagai zk-rollup, adalah cara yang paling menjanjikan untuk meningkatkan throughput Ethereum dengan cara yang aman dan terdesentralisasi. Inti dari solusi penskalaan ini adalah komputasi yang dapat diverifikasi menggunakan bukti validitas. Begini cara kerjanya:
Alih-alih memproses setiap transaksi di mainnet Ethereum, operator memindahkan eksekusi transaksi ke lingkungan off-chain. Lingkungan off-chain ini bertindak sebagai lapisan 2, artinya lapisan yang berjalan di atas Ethereum.
Setelah memproses sejumlah besar transaksi, operator lapisan 2 mengembalikan hasil untuk diterapkan ke status Ethereum, bersama dengan bukti validitas untuk memverifikasi integritas eksekusi off-chain. Bukti ini menjamin bahwa semua transaksi dalam satu batch adalah valid dan diverifikasi secara mandiri oleh kontrak validator on-chain. Ini memungkinkan Ethereum untuk menerapkan hasilnya ke kondisinya.
Rollup Validitas
Catatan: Pembatalan Validitas sering salah disebut Pembatalan Tanpa Pengetahuan, tetapi ini tidak akurat. Kebanyakan Pembatalan Validitas tidak menggunakan ZKP, juga tidak digunakan untuk tujuan privasi. Oleh karena itu, istilah "Validity Rollup" lebih akurat.
mesin virtual off-chain
Sebelum melanjutkan, pertanyaan pertama yang perlu kita jawab adalah: **Apa itu mesin virtual (VM)? Sederhananya, ini adalah lingkungan tempat program dapat berjalan, seperti Mac yang menjalankan sistem operasi Windows. Ini bertransisi antar status setelah melakukan perhitungan pada beberapa input. Mesin Virtual Ethereum (EVM) adalah VM yang menjalankan kontrak pintar Ethereum. **
** Mesin virtual tanpa pengetahuan (zkVM) adalah lingkungan eksekusi program yang, bersama dengan output program, memungkinkan pembuatan bukti validitas yang dapat diverifikasi dengan mudah. **Bukti validitas ini menyatakan bahwa program telah dilakukan dengan benar. **Ketika istilah "zkEVM" digunakan, umumnya mengacu pada agregasi yang menggunakan Ethereum Virtual Machine (EVM) dan dapat membuktikan eksekusi EVM. **Terminologi ini dapat menyesatkan karena EVM itu sendiri tidak menghasilkan bukti-bukti ini; sebaliknya, bukti dihasilkan oleh mekanisme bukti terpisah yang dimulai dengan hasil eksekusi EVM. Juga, bukti-bukti ini adalah tentang validitas, bukan privasi, jadi itu bukan bukti tanpa pengetahuan. Namun demikian, demi konsistensi, kami akan tetap menggunakan istilah tradisional "zkEVM" di seluruh artikel ini.
Sementara semua Validity Rollup bertujuan untuk menskalakan Ethereum dengan bukti validitas, mereka berbeda dalam pilihan VM untuk melakukan transaksi off-chain. Banyak Pembatalan Validitas memilih untuk mereplikasi desain EVM (oleh karena itu istilah "penggulungan zkEVM"), mencoba mereplikasi Ethereum pada pembatalan L2. Starknet menggunakan jenis VM baru - Cairo VM (CVM) - yang dirancang khusus untuk mengoptimalkan efisiensi pembuktian validitas.
Kedua metode ini memiliki kelebihan dan kekurangannya masing-masing, tetapi zkEVM memperdagangkan kinerja untuk kompatibilitas Ethereum, sementara VM Kairo memprioritaskan kinerja daripada kompatibilitas dan skalabilitas.
pendekatan zkEVM
**zkEVM adalah Validity Rollup yang tujuannya adalah untuk sepenuhnya menghadirkan pengalaman Ethereum ke blockchain Layer-2. Ini bertujuan untuk mereplikasi lingkungan pengembang Ethereum sebagai rollup. **Dengan zkEVM, pengembang tidak perlu mengubah kode mereka atau meninggalkan alat EVM mereka (dan kontrak pintar) saat menulis kontrak pintar atau memindahkan kontrak pintar ke solusi yang lebih skalabel.
Kerugian utama dari pendekatan ini adalah mengurangi potensi penskalaan bukti validitas. Karena zkEVM ditujukan agar kompatibel dengan Ethereum, ini lebih lambat dan lebih intensif sumber daya. Tidak seperti CVM, EVM tidak dirancang dengan mempertimbangkan efisiensi bukti. Ini membatasi penggunaan pengoptimalan yang dapat meningkatkan efisiensi dan skalabilitas, yang pada akhirnya memengaruhi kinerja sistem secara keseluruhan.
Provabilitas EVM
Tantangan inti dari pendekatan zkEVM berakar pada cetak biru asli EVM - ini tidak dirancang untuk beroperasi dalam konteks pembuktian validitas. Akibatnya, upaya untuk mencerminkan fungsinya gagal membuka potensi penuh dari bukti validitas, sehingga menghasilkan tingkat efisiensi yang kurang optimal. Ketidakefisienan ini pada akhirnya menurunkan kinerja sistem secara keseluruhan. Kompatibilitas EVM dengan bukti validitas terhambat oleh:
**EVM menggunakan model berbasis tumpukan, sedangkan bukti efisiensi lebih efisien untuk model berbasis register. Sifat berbasis stack dari EVM membuat pembuktian kebenaran eksekusi dan memberikan dukungan langsung untuk toolchain aslinya menjadi lebih sulit. **
Tata letak penyimpanan Ethereum sangat bergantung pada Keccak dan Pohon Merkle Patricia yang besar, keduanya buruk untuk bukti validitas dan membebankan beban bukti yang besar. Misalnya, Keccak sangat cepat untuk arsitektur x86 (di mana kami biasanya menjalankan EVM), tetapi membutuhkan 90k langkah untuk membuktikannya (build khusus bawaan). Sedangkan Pedersen (fungsi hash ramah-zk) membutuhkan 32 langkah. Bahkan dengan kompresi rekursif, menggunakan Keccak di zkEVM berarti banyak sumber daya pembukti yang pada akhirnya dibayar oleh pengguna.
Akibatnya, berbagai zkEVM dirancang untuk memberikan berbagai tingkat dukungan untuk alat Ethereum - semakin kompatibel zkEVM dengan Ethereum, semakin rendah kinerjanya. (Untuk informasi lebih lanjut tentang jenis zkEVM, lompat ke bagian akhir artikel.)
Pendekatan Kairo-VM
Solusi zkEVM menghabiskan banyak waktu pengembangan untuk "membuat EVM berfungsi untuk Validity Rollups", memprioritaskan kompatibilitas daripada kinerja dan skalabilitas jangka panjang. Ada opsi lain: gunakan mesin virtual khusus baru dan tambahkan dukungan untuk alat Ethereum di atas sebagai lapisan tambahan. Ini adalah pendekatan yang diambil oleh Starknet, peluncuran Validity Rollup tanpa izin pada November 2021. Starknet adalah Batal Validitas pertama yang menawarkan platform kontrak pintar tujuan umum pada jaringan yang dapat disusun sepenuhnya.
Starknet menggunakan Cairo-VM (CVM), bahasa tingkat tinggi dengan nama yang sama. Cairo-VM adalah VM yang dirancang untuk menghasilkan bukti validitas eksekusi program yang efisien.
Menggunakan Kairo (mesin dan bahasa virtual), kami memiliki:
Bukti keefektifan optimasi - setiap instruksi memiliki representasi aljabar yang valid
Bahasa mirip karat untuk menulis program yang dapat dibuktikan
Representasi perantara (Sierra) antara Kairo tingkat tinggi dan perakitan Kairo (instruksi VM), memungkinkan eksekusi kode Kairo yang efisien
Mengembangkan bahasa baru memungkinkan seseorang untuk menyesuaikannya dengan kebutuhan khusus yang ingin dipenuhinya, dan melengkapinya dengan fitur yang memuaskan kebutuhan yang sebelumnya tidak terpenuhi.
Kairo dan pluralisme pengkodean
Untuk membuat bukti tentang validitas beberapa komputasi, komputasi pertama-tama harus dinyatakan sebagai serangkaian batasan matematis yang menjelaskan komputasi tersebut. Prosesnya bisa rumit karena tantangan mengoptimalkan perhitungan untuk efisiensi dan kebutuhan akan alat khusus.
Bahasa Kairo awalnya dirancang untuk menyederhanakan tugas ini dan membuatnya lebih mudah untuk menambahkan fungsionalitas dan logika bisnis yang kompleks ke StarkEx. Program Kairo dikompilasi menjadi kode mesin aljabar -- urutan angka -- yang dijalankan oleh VM tetap. Dengan Kairo, seluruh kerumitan dalam menghasilkan batasan matematis yang menjelaskan perhitungan—masalah pelik dari bukti validitas—diabstraksikan dan ditangkap oleh serangkaian batasan tetap (total kurang dari 50 batasan). Akibatnya, pengembang dapat memanfaatkan bukti validitas untuk memperluas aplikasi mereka tanpa perlu memahami matematika dan infrastruktur yang mendasarinya, hanya dengan menulis kode menggunakan sintaks yang mereka kenal.
Starknet adalah tentang inovasi, dan ini tercermin dalam pendekatannya yang beragam terhadap pengkodean. Kemampuan Kairo untuk menskalakan secara optimal dengan STARK tidak terbatas pada kontrak penulisan asli di Kairo. Pengembang dapat memilih metode yang paling cocok untuk mereka:
Menulis kode secara native di Kairo: Dengan dirilisnya Cairo 1.0, developer sekarang dapat menggunakan bahasa Rust yang ergonomis dan aman, yang membuat penulisan logika program menjadi lebih mudah dan mengurangi rawan kesalahan.
**Kompatibilitas Soliditas:**Developer soliditas dapat menulis kode yang dapat digunakan oleh VM Kairo. Pendekatan ini memberikan pengalaman pengembang yang mirip dengan Ethereum dan menjadikan kontrak pintar Solidity portabel untuk Starknet. Ada dua cara untuk mencapai ini:
**Terjemahan: **Terjemahan adalah proses mengubah kode sumber yang ditulis dalam satu bahasa pemrograman ke bahasa lain. Tim Nethermind membuat transpiler Warp untuk memindahkan kode Solidity ke Kairo. Warp menjadikan Solidity smart contract portabel untuk Starknet, secara efektif menjadikannya zkEVM Tipe 4. Itu telah digunakan untuk menerjemahkan dan menyebarkan kontrak Uniswap dengan sedikit perubahan.
zkEVM di Starknet: VM Kairo dapat digunakan untuk membuktikan eksekusi VM lain. Kakarot adalah zkEVM yang ditulis di Kairo yang dapat digunakan untuk menjalankan kontrak cerdas Ethereum di Starknet. VM Kairo dan zkEVM bukanlah pendekatan yang bersaing, kita dapat memiliki VM Kairo dan zkEVM alih-alih memilih antara VM Kairo dan zkEVM!
Meskipun keberadaannya singkat, Kairo adalah bahasa kontrak pintar terpopuler keempat oleh TVL dan telah menerima dana lebih dari $350 juta.
Ringkas
**zkEVM bertujuan untuk mereplikasi lingkungan Ethereum sebagai rollup dan memungkinkan pengembang untuk menggunakan alat Ethereum yang sudah dikenal. Namun, pendekatan ini menghambat potensi penuh bukti validitas dan dapat menjadi intensif sumber daya. **
Cairo VM dirancang untuk sistem bukti validitas tanpa batasan EVM. Ini didukung oleh bahasa pemrograman yang terinspirasi Rust baru, aman dan ergonomis yang disebut Kairo 1.0, membentuk alat yang ampuh yang bertujuan untuk mendapatkan efisiensi maksimum dengan menskalakan Ethereum dengan bukti STARK.
Sangat menyenangkan melihat apa yang dicapai Kairo setiap minggu, dan pertumbuhan berbagai opsi untuk pengembang, seperti Kakarot zkEVM dan Warp. Saat Starknet dApp memasuki tahap produksi, menunjukkan kekuatan Kairo, kami yakin ini akan digunakan untuk proyek yang lebih ambisius di masa mendatang.
Berkat tiga jalan untuk penskalaan STARK yang diuraikan di atas, dan lainnya yang tidak diragukan lagi akan tersedia dalam beberapa bulan mendatang, pengembang sekarang memiliki kendali yang belum pernah terjadi sebelumnya atas penskalaan blockchain.
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.
Mengapa Validity Rollup adalah cara yang paling menjanjikan untuk menskalakan Ethereum?
Pengarang: StarkWare; Penyusun: Bumpman
Ringkasan
Rollup adalah topik hangat tahun ini ketika berbicara tentang penskalaan Ethereum. Di antara berbagai jenis rollup, kami percaya bahwa Validity Rollup (VR), juga dikenal sebagai zk-rollup, adalah cara yang paling menjanjikan untuk meningkatkan throughput Ethereum dengan cara yang aman dan terdesentralisasi. Inti dari solusi penskalaan ini adalah komputasi yang dapat diverifikasi menggunakan bukti validitas. Begini cara kerjanya:
Alih-alih memproses setiap transaksi di mainnet Ethereum, operator memindahkan eksekusi transaksi ke lingkungan off-chain. Lingkungan off-chain ini bertindak sebagai lapisan 2, artinya lapisan yang berjalan di atas Ethereum.
Setelah memproses sejumlah besar transaksi, operator lapisan 2 mengembalikan hasil untuk diterapkan ke status Ethereum, bersama dengan bukti validitas untuk memverifikasi integritas eksekusi off-chain. Bukti ini menjamin bahwa semua transaksi dalam satu batch adalah valid dan diverifikasi secara mandiri oleh kontrak validator on-chain. Ini memungkinkan Ethereum untuk menerapkan hasilnya ke kondisinya.
Rollup Validitas
Catatan: Pembatalan Validitas sering salah disebut Pembatalan Tanpa Pengetahuan, tetapi ini tidak akurat. Kebanyakan Pembatalan Validitas tidak menggunakan ZKP, juga tidak digunakan untuk tujuan privasi. Oleh karena itu, istilah "Validity Rollup" lebih akurat.
mesin virtual off-chain
Sebelum melanjutkan, pertanyaan pertama yang perlu kita jawab adalah: **Apa itu mesin virtual (VM)? Sederhananya, ini adalah lingkungan tempat program dapat berjalan, seperti Mac yang menjalankan sistem operasi Windows. Ini bertransisi antar status setelah melakukan perhitungan pada beberapa input. Mesin Virtual Ethereum (EVM) adalah VM yang menjalankan kontrak pintar Ethereum. **
** Mesin virtual tanpa pengetahuan (zkVM) adalah lingkungan eksekusi program yang, bersama dengan output program, memungkinkan pembuatan bukti validitas yang dapat diverifikasi dengan mudah. **Bukti validitas ini menyatakan bahwa program telah dilakukan dengan benar. **Ketika istilah "zkEVM" digunakan, umumnya mengacu pada agregasi yang menggunakan Ethereum Virtual Machine (EVM) dan dapat membuktikan eksekusi EVM. **Terminologi ini dapat menyesatkan karena EVM itu sendiri tidak menghasilkan bukti-bukti ini; sebaliknya, bukti dihasilkan oleh mekanisme bukti terpisah yang dimulai dengan hasil eksekusi EVM. Juga, bukti-bukti ini adalah tentang validitas, bukan privasi, jadi itu bukan bukti tanpa pengetahuan. Namun demikian, demi konsistensi, kami akan tetap menggunakan istilah tradisional "zkEVM" di seluruh artikel ini.
Sementara semua Validity Rollup bertujuan untuk menskalakan Ethereum dengan bukti validitas, mereka berbeda dalam pilihan VM untuk melakukan transaksi off-chain. Banyak Pembatalan Validitas memilih untuk mereplikasi desain EVM (oleh karena itu istilah "penggulungan zkEVM"), mencoba mereplikasi Ethereum pada pembatalan L2. Starknet menggunakan jenis VM baru - Cairo VM (CVM) - yang dirancang khusus untuk mengoptimalkan efisiensi pembuktian validitas.
Kedua metode ini memiliki kelebihan dan kekurangannya masing-masing, tetapi zkEVM memperdagangkan kinerja untuk kompatibilitas Ethereum, sementara VM Kairo memprioritaskan kinerja daripada kompatibilitas dan skalabilitas.
pendekatan zkEVM
**zkEVM adalah Validity Rollup yang tujuannya adalah untuk sepenuhnya menghadirkan pengalaman Ethereum ke blockchain Layer-2. Ini bertujuan untuk mereplikasi lingkungan pengembang Ethereum sebagai rollup. **Dengan zkEVM, pengembang tidak perlu mengubah kode mereka atau meninggalkan alat EVM mereka (dan kontrak pintar) saat menulis kontrak pintar atau memindahkan kontrak pintar ke solusi yang lebih skalabel.
Kerugian utama dari pendekatan ini adalah mengurangi potensi penskalaan bukti validitas. Karena zkEVM ditujukan agar kompatibel dengan Ethereum, ini lebih lambat dan lebih intensif sumber daya. Tidak seperti CVM, EVM tidak dirancang dengan mempertimbangkan efisiensi bukti. Ini membatasi penggunaan pengoptimalan yang dapat meningkatkan efisiensi dan skalabilitas, yang pada akhirnya memengaruhi kinerja sistem secara keseluruhan.
Provabilitas EVM
Tantangan inti dari pendekatan zkEVM berakar pada cetak biru asli EVM - ini tidak dirancang untuk beroperasi dalam konteks pembuktian validitas. Akibatnya, upaya untuk mencerminkan fungsinya gagal membuka potensi penuh dari bukti validitas, sehingga menghasilkan tingkat efisiensi yang kurang optimal. Ketidakefisienan ini pada akhirnya menurunkan kinerja sistem secara keseluruhan. Kompatibilitas EVM dengan bukti validitas terhambat oleh:
**EVM menggunakan model berbasis tumpukan, sedangkan bukti efisiensi lebih efisien untuk model berbasis register. Sifat berbasis stack dari EVM membuat pembuktian kebenaran eksekusi dan memberikan dukungan langsung untuk toolchain aslinya menjadi lebih sulit. **
Tata letak penyimpanan Ethereum sangat bergantung pada Keccak dan Pohon Merkle Patricia yang besar, keduanya buruk untuk bukti validitas dan membebankan beban bukti yang besar. Misalnya, Keccak sangat cepat untuk arsitektur x86 (di mana kami biasanya menjalankan EVM), tetapi membutuhkan 90k langkah untuk membuktikannya (build khusus bawaan). Sedangkan Pedersen (fungsi hash ramah-zk) membutuhkan 32 langkah. Bahkan dengan kompresi rekursif, menggunakan Keccak di zkEVM berarti banyak sumber daya pembukti yang pada akhirnya dibayar oleh pengguna.
Akibatnya, berbagai zkEVM dirancang untuk memberikan berbagai tingkat dukungan untuk alat Ethereum - semakin kompatibel zkEVM dengan Ethereum, semakin rendah kinerjanya. (Untuk informasi lebih lanjut tentang jenis zkEVM, lompat ke bagian akhir artikel.)
Pendekatan Kairo-VM
Solusi zkEVM menghabiskan banyak waktu pengembangan untuk "membuat EVM berfungsi untuk Validity Rollups", memprioritaskan kompatibilitas daripada kinerja dan skalabilitas jangka panjang. Ada opsi lain: gunakan mesin virtual khusus baru dan tambahkan dukungan untuk alat Ethereum di atas sebagai lapisan tambahan. Ini adalah pendekatan yang diambil oleh Starknet, peluncuran Validity Rollup tanpa izin pada November 2021. Starknet adalah Batal Validitas pertama yang menawarkan platform kontrak pintar tujuan umum pada jaringan yang dapat disusun sepenuhnya.
Starknet menggunakan Cairo-VM (CVM), bahasa tingkat tinggi dengan nama yang sama. Cairo-VM adalah VM yang dirancang untuk menghasilkan bukti validitas eksekusi program yang efisien.
Menggunakan Kairo (mesin dan bahasa virtual), kami memiliki:
Bukti keefektifan optimasi - setiap instruksi memiliki representasi aljabar yang valid
Bahasa mirip karat untuk menulis program yang dapat dibuktikan
Representasi perantara (Sierra) antara Kairo tingkat tinggi dan perakitan Kairo (instruksi VM), memungkinkan eksekusi kode Kairo yang efisien
Mengembangkan bahasa baru memungkinkan seseorang untuk menyesuaikannya dengan kebutuhan khusus yang ingin dipenuhinya, dan melengkapinya dengan fitur yang memuaskan kebutuhan yang sebelumnya tidak terpenuhi.
Kairo dan pluralisme pengkodean
Untuk membuat bukti tentang validitas beberapa komputasi, komputasi pertama-tama harus dinyatakan sebagai serangkaian batasan matematis yang menjelaskan komputasi tersebut. Prosesnya bisa rumit karena tantangan mengoptimalkan perhitungan untuk efisiensi dan kebutuhan akan alat khusus.
Bahasa Kairo awalnya dirancang untuk menyederhanakan tugas ini dan membuatnya lebih mudah untuk menambahkan fungsionalitas dan logika bisnis yang kompleks ke StarkEx. Program Kairo dikompilasi menjadi kode mesin aljabar -- urutan angka -- yang dijalankan oleh VM tetap. Dengan Kairo, seluruh kerumitan dalam menghasilkan batasan matematis yang menjelaskan perhitungan—masalah pelik dari bukti validitas—diabstraksikan dan ditangkap oleh serangkaian batasan tetap (total kurang dari 50 batasan). Akibatnya, pengembang dapat memanfaatkan bukti validitas untuk memperluas aplikasi mereka tanpa perlu memahami matematika dan infrastruktur yang mendasarinya, hanya dengan menulis kode menggunakan sintaks yang mereka kenal.
Starknet adalah tentang inovasi, dan ini tercermin dalam pendekatannya yang beragam terhadap pengkodean. Kemampuan Kairo untuk menskalakan secara optimal dengan STARK tidak terbatas pada kontrak penulisan asli di Kairo. Pengembang dapat memilih metode yang paling cocok untuk mereka:
Menulis kode secara native di Kairo: Dengan dirilisnya Cairo 1.0, developer sekarang dapat menggunakan bahasa Rust yang ergonomis dan aman, yang membuat penulisan logika program menjadi lebih mudah dan mengurangi rawan kesalahan.
**Kompatibilitas Soliditas:**Developer soliditas dapat menulis kode yang dapat digunakan oleh VM Kairo. Pendekatan ini memberikan pengalaman pengembang yang mirip dengan Ethereum dan menjadikan kontrak pintar Solidity portabel untuk Starknet. Ada dua cara untuk mencapai ini:
**Terjemahan: **Terjemahan adalah proses mengubah kode sumber yang ditulis dalam satu bahasa pemrograman ke bahasa lain. Tim Nethermind membuat transpiler Warp untuk memindahkan kode Solidity ke Kairo. Warp menjadikan Solidity smart contract portabel untuk Starknet, secara efektif menjadikannya zkEVM Tipe 4. Itu telah digunakan untuk menerjemahkan dan menyebarkan kontrak Uniswap dengan sedikit perubahan.
zkEVM di Starknet: VM Kairo dapat digunakan untuk membuktikan eksekusi VM lain. Kakarot adalah zkEVM yang ditulis di Kairo yang dapat digunakan untuk menjalankan kontrak cerdas Ethereum di Starknet. VM Kairo dan zkEVM bukanlah pendekatan yang bersaing, kita dapat memiliki VM Kairo dan zkEVM alih-alih memilih antara VM Kairo dan zkEVM!
Meskipun keberadaannya singkat, Kairo adalah bahasa kontrak pintar terpopuler keempat oleh TVL dan telah menerima dana lebih dari $350 juta.
Ringkas
**zkEVM bertujuan untuk mereplikasi lingkungan Ethereum sebagai rollup dan memungkinkan pengembang untuk menggunakan alat Ethereum yang sudah dikenal. Namun, pendekatan ini menghambat potensi penuh bukti validitas dan dapat menjadi intensif sumber daya. **
Cairo VM dirancang untuk sistem bukti validitas tanpa batasan EVM. Ini didukung oleh bahasa pemrograman yang terinspirasi Rust baru, aman dan ergonomis yang disebut Kairo 1.0, membentuk alat yang ampuh yang bertujuan untuk mendapatkan efisiensi maksimum dengan menskalakan Ethereum dengan bukti STARK.
Sangat menyenangkan melihat apa yang dicapai Kairo setiap minggu, dan pertumbuhan berbagai opsi untuk pengembang, seperti Kakarot zkEVM dan Warp. Saat Starknet dApp memasuki tahap produksi, menunjukkan kekuatan Kairo, kami yakin ini akan digunakan untuk proyek yang lebih ambisius di masa mendatang.
Berkat tiga jalan untuk penskalaan STARK yang diuraikan di atas, dan lainnya yang tidak diragukan lagi akan tersedia dalam beberapa bulan mendatang, pengembang sekarang memiliki kendali yang belum pernah terjadi sebelumnya atas penskalaan blockchain.