Validity Rollups: Pilihan Terbaik untuk Memperluas Ethereum?
Validity Rollups (juga dikenal sebagai zk-rollups) dianggap sebagai solusi paling menjanjikan untuk meningkatkan throughput Ethereum dengan cara yang aman dan terdesentralisasi. Inti dari solusi skala ini adalah memanfaatkan bukti validitas untuk melakukan komputasi yang dapat diverifikasi. Cara kerjanya adalah sebagai berikut:
Operator akan mengeksekusi transaksi dengan memindahkannya ke lingkungan off-chain (Lapisan 2). Setelah memproses sejumlah besar transaksi, operator Lapisan 2 akan mengembalikan hasilnya untuk diterapkan pada status Ethereum, sambil memberikan bukti validitas integritas eksekusi off-chain. Bukti ini memastikan bahwa semua transaksi dalam batch adalah valid dan secara otomatis divalidasi oleh kontrak validator on-chain. Ini memungkinkan Ethereum untuk menerapkan hasil ke dalam statusnya.
Perlu dicatat bahwa Validity Rollups sering salah disebut sebagai zero-knowledge rollups, tetapi ini tidak akurat. Sebagian besar Validity Rollup tidak menggunakan bukti zero-knowledge dan tidak digunakan untuk memastikan privasi. Oleh karena itu, istilah "Validity Rollup" lebih tepat.
Dalam Validity Rollups, zkEVM dan Cairo VM (CVM) adalah dua jenis mesin virtual yang umum digunakan. zkEVM berfokus pada kompatibilitas Ethereum, tetapi mengorbankan kinerja dan skalabilitas. Sementara itu, Cairo VM yang digunakan oleh Starknet menempatkan kinerja dan skalabilitas di atas kompatibilitas.
Virtual Machine ( VM ) adalah lingkungan yang dapat menjalankan program, mirip dengan menjalankan sistem operasi Windows di Mac. Ini beralih antara berbagai status setelah memproses beberapa input. Ethereum Virtual Machine ( EVM ) adalah VM yang menjalankan kontrak pintar Ethereum.
Zero Knowledge Virtual Machine ( zkVM ) adalah lingkungan eksekusi program yang dapat menghasilkan bukti validitas yang mudah diverifikasi untuk membuktikan bahwa program telah dieksekusi dengan benar. "zkEVM" biasanya merujuk pada penggunaan Ethereum Virtual Machine ( EVM ) dan mampu membuktikan ringkasan eksekusi EVM. Istilah ini mungkin menyesatkan karena EVM sendiri tidak menghasilkan bukti ini; bukti dihasilkan oleh mekanisme pembuktian independen yang didasarkan pada hasil eksekusi EVM. Selain itu, bukti ini terutama berfokus pada validitas dan bukan pada privasi, sehingga tidak secara ketat merupakan bukti nol pengetahuan.
zkEVM bertujuan untuk sepenuhnya membawa pengalaman Ethereum ke dalam blockchain Layer-2. Ini berusaha untuk menyalin lingkungan Ethereum bagi para pengembang, sehingga mereka dapat menulis atau memindahkan kontrak pintar ke solusi yang lebih skalabel tanpa mengubah kode atau melepaskan alat EVM. Namun, kekurangan utama dari pendekatan ini adalah berkurangnya potensi skalabilitas dari bukti efikasi. Karena berkomitmen untuk kompatibel dengan Ethereum, zkEVM memiliki kecepatan yang lebih lambat dan konsumsi sumber daya yang lebih tinggi.
Sebagai perbandingan, Starknet menggunakan Cairo VM (CVM), yang merupakan jenis VM baru yang dirancang khusus untuk mengoptimalkan efisiensi pembuktian validitas. Cairo VM memungkinkan pengembang untuk menyesuaikan sesuai dengan kebutuhan spesifik dan dilengkapi dengan fitur yang memenuhi kebutuhan baru.
Bahasa Cairo awalnya dirancang untuk menyederhanakan proses pembuatan bukti keefektifan komputasi. Program Cairo dikompilasi menjadi kode mesin aljabar, yang dieksekusi oleh VM tetap. Pendekatan ini memungkinkan pengembang untuk memanfaatkan bukti keefektifan untuk memperluas aplikasi mereka tanpa perlu memahami secara mendalam matematika dasar dan infrastruktur.
Starknet menawarkan berbagai metode pengkodean. Pengembang dapat memilih untuk menulis kode secara native dalam Cairo, atau memanfaatkan alat kompatibilitas Solidity. Misalnya, penerjemah Warp dapat menerjemahkan kode Solidity ke dalam Cairo, sementara Kakarot adalah zkEVM yang ditulis dalam Cairo, yang dapat menjalankan kontrak pintar Ethereum di Starknet.
Secara keseluruhan, zkEVM bertujuan untuk meniru lingkungan Ethereum, tetapi mungkin membatasi potensi bukti validitas. Cairo VM dirancang khusus untuk sistem bukti validitas dan tidak terikat oleh EVM, menawarkan efisiensi dan fleksibilitas yang lebih tinggi. Dengan perkembangan ekosistem Starknet yang terus berlanjut, para pengembang sekarang memiliki kemampuan kontrol ekspansi blockchain yang belum pernah ada sebelumnya.
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.
Validity Rollups dan zkEVM: Membahas kelebihan dan kekurangan solusi skala Ethereum
Validity Rollups: Pilihan Terbaik untuk Memperluas Ethereum?
Validity Rollups (juga dikenal sebagai zk-rollups) dianggap sebagai solusi paling menjanjikan untuk meningkatkan throughput Ethereum dengan cara yang aman dan terdesentralisasi. Inti dari solusi skala ini adalah memanfaatkan bukti validitas untuk melakukan komputasi yang dapat diverifikasi. Cara kerjanya adalah sebagai berikut:
Operator akan mengeksekusi transaksi dengan memindahkannya ke lingkungan off-chain (Lapisan 2). Setelah memproses sejumlah besar transaksi, operator Lapisan 2 akan mengembalikan hasilnya untuk diterapkan pada status Ethereum, sambil memberikan bukti validitas integritas eksekusi off-chain. Bukti ini memastikan bahwa semua transaksi dalam batch adalah valid dan secara otomatis divalidasi oleh kontrak validator on-chain. Ini memungkinkan Ethereum untuk menerapkan hasil ke dalam statusnya.
Perlu dicatat bahwa Validity Rollups sering salah disebut sebagai zero-knowledge rollups, tetapi ini tidak akurat. Sebagian besar Validity Rollup tidak menggunakan bukti zero-knowledge dan tidak digunakan untuk memastikan privasi. Oleh karena itu, istilah "Validity Rollup" lebih tepat.
Dalam Validity Rollups, zkEVM dan Cairo VM (CVM) adalah dua jenis mesin virtual yang umum digunakan. zkEVM berfokus pada kompatibilitas Ethereum, tetapi mengorbankan kinerja dan skalabilitas. Sementara itu, Cairo VM yang digunakan oleh Starknet menempatkan kinerja dan skalabilitas di atas kompatibilitas.
Virtual Machine ( VM ) adalah lingkungan yang dapat menjalankan program, mirip dengan menjalankan sistem operasi Windows di Mac. Ini beralih antara berbagai status setelah memproses beberapa input. Ethereum Virtual Machine ( EVM ) adalah VM yang menjalankan kontrak pintar Ethereum.
Zero Knowledge Virtual Machine ( zkVM ) adalah lingkungan eksekusi program yang dapat menghasilkan bukti validitas yang mudah diverifikasi untuk membuktikan bahwa program telah dieksekusi dengan benar. "zkEVM" biasanya merujuk pada penggunaan Ethereum Virtual Machine ( EVM ) dan mampu membuktikan ringkasan eksekusi EVM. Istilah ini mungkin menyesatkan karena EVM sendiri tidak menghasilkan bukti ini; bukti dihasilkan oleh mekanisme pembuktian independen yang didasarkan pada hasil eksekusi EVM. Selain itu, bukti ini terutama berfokus pada validitas dan bukan pada privasi, sehingga tidak secara ketat merupakan bukti nol pengetahuan.
zkEVM bertujuan untuk sepenuhnya membawa pengalaman Ethereum ke dalam blockchain Layer-2. Ini berusaha untuk menyalin lingkungan Ethereum bagi para pengembang, sehingga mereka dapat menulis atau memindahkan kontrak pintar ke solusi yang lebih skalabel tanpa mengubah kode atau melepaskan alat EVM. Namun, kekurangan utama dari pendekatan ini adalah berkurangnya potensi skalabilitas dari bukti efikasi. Karena berkomitmen untuk kompatibel dengan Ethereum, zkEVM memiliki kecepatan yang lebih lambat dan konsumsi sumber daya yang lebih tinggi.
Sebagai perbandingan, Starknet menggunakan Cairo VM (CVM), yang merupakan jenis VM baru yang dirancang khusus untuk mengoptimalkan efisiensi pembuktian validitas. Cairo VM memungkinkan pengembang untuk menyesuaikan sesuai dengan kebutuhan spesifik dan dilengkapi dengan fitur yang memenuhi kebutuhan baru.
Bahasa Cairo awalnya dirancang untuk menyederhanakan proses pembuatan bukti keefektifan komputasi. Program Cairo dikompilasi menjadi kode mesin aljabar, yang dieksekusi oleh VM tetap. Pendekatan ini memungkinkan pengembang untuk memanfaatkan bukti keefektifan untuk memperluas aplikasi mereka tanpa perlu memahami secara mendalam matematika dasar dan infrastruktur.
Starknet menawarkan berbagai metode pengkodean. Pengembang dapat memilih untuk menulis kode secara native dalam Cairo, atau memanfaatkan alat kompatibilitas Solidity. Misalnya, penerjemah Warp dapat menerjemahkan kode Solidity ke dalam Cairo, sementara Kakarot adalah zkEVM yang ditulis dalam Cairo, yang dapat menjalankan kontrak pintar Ethereum di Starknet.
Secara keseluruhan, zkEVM bertujuan untuk meniru lingkungan Ethereum, tetapi mungkin membatasi potensi bukti validitas. Cairo VM dirancang khusus untuk sistem bukti validitas dan tidak terikat oleh EVM, menawarkan efisiensi dan fleksibilitas yang lebih tinggi. Dengan perkembangan ekosistem Starknet yang terus berlanjut, para pengembang sekarang memiliki kemampuan kontrol ekspansi blockchain yang belum pernah ada sebelumnya.