Apa itu zkEVM?

Saat artikel ini ditulis, istilah ZK-EVM mungkin masih cukup jarang didengar oleh investor kripto secara umum. Namun, teknologi ini sudah relatif lama dibahas dan saat ini sedang memasuki pengembangan tahap akhir yang juga diiringi dengan masuknya investasi senilai ratusan juta dolar dari investor-investor institusi kripto ternama untuk turut berinvestasi pada proyek pengembangan teknologi ini.

Secara umum, ZK-EVM bertujuan untuk menggunakan teknologi ZK-SNARK untuk membuat bukti kriptografi dari eksekusi transaksi Ethereum, baik untuk membuatnya lebih mudah untuk memverifikasi transaksi pada jaringan Ethereum itu sendiri atau untuk membangun ZK-rollup yang (hampir) setara dengan apa yang disediakan Ethereum tetapi berada pada lingkungan off-chain. 

Mengapa zk-evm menjadi topik yang cukup penting untuk diketahui para investor aset kripto khususnya yang memiliki minat terhadap platform blockchain seperti Ethereum dan aplikasi terdesentralisasi? Sebab, adanya ZK-EVM dapat menciptakan lompatan besar bagi kemampuan jaringan seperti Ethereum untuk mengakomodasi aplikasi terdesentralisasi dengan performa yang jauh lebih cepat dan fitur serta fungsionalitas smart contract yang jauh lebih kompleks. Oleh sebab potensinya yang besar itu beberapa investor institusi terlihat cukup agresif dalam menggelontorkan dana untuk pengembangan teknologi ini terlepas dari kondisi pasar kripto yang sedang bearish.

ZK-EVM adalah mesin virtual yang mengeksekusi smart contract dengan cara yang kompatibel dengan komputasi zero knowledge proof (link ke artikel what is zk proof). Hal ini adalah kunci untuk membangun teknologi ZK-rollup yang kompatibel dengan EVM dengan mempertahankan kode pemrograman Solidity. Dengan demikian smart contract dapat diskalakan yang membuatnya dapat mengakomodasi operasi dan alur pemrograman yang lebih kompleks. Hal ini merupakan infrastruktur penting dalam konteks penggunaan teknologi blockchain yang belum ada sebelumnya untuk beragam aplikasi terdesentralisasi dapat tercipta dan diadopsi secara masif. 

Peluncuran ZK-EVM merupakan titik lompatan penting untuk industri blockchain dan aset kripto. Bahkan teknologi ini oleh sebagian orang masih dianggap sebagai kemungkinan teoritis yang membutuhkan waktu bertahun-tahun untuk menjadi nyata, layaknya (walaupun tidak sekompleks) komputer quantum. Beberapa pelaku industri pengembangan aplikasi teknologi zero knowledge proof yang penulis sempat tanyai bahkan menganggap ZK-EVM tidak mungkin dapat tercipta. Namun, selama setahun terakhir ini, kecepatan pengembangan seluruh ekosistem teknologi ZK-EVM telah melampaui estimasi dan ekspektasi para ahli, termasuk salah satu founder Ethereum, Vitalik. 

Menurut Vitalik, seperti yang dituliskan dalam artikel blognya terkait ZK-EVM, teknologi ini dapat dikelompokkan menjadi empat tipe. Berikut ulasan singkatnya;

ZK-EVM Tipe 1 – Sepenuhnya setara dengan Ethereum

Tipe 1 ini tidak mengubah bagian apapun dari sistem Ethereum termasuk hash, transaction trees, state trees, atau logic sistem lainnya dalam konsensus. Sebagai trade-off nya, untuk menghasilkan bukti (proof) dari transaksi diperlukan proses yang kompleks seperti pada Ethereum yang membuat performa dari ZK-EVM tipe 1 ini dapat dikatakan yang paling rendah diantara tipe lainnya.   

Contoh proyek dalam kategori ini adalah ZK-EVM Community Edition.

ZK-EVM Tipe 2 – Sepenuhnya setara dengan EVM

Tipe 2 ini setara dengan EVM, tetapi tidak cukup setara dengan Ethereum. Artinya, mereka terlihat persis seperti Ethereum tetapi memiliki beberapa perbedaan terutama dalam struktur data seperti struktur blok.

Contoh proyek dalam kategori ini adalah tidak ada -pada saat artikel ini ditulis. Scroll dan Polygon Hermez 2.0 ditujukan untuk mengarah pada ZK-EVM tipe ini namun keduanya saat ini masih lebih dekat untuk masuk kategori ZK-EVM tipe 3. 

ZK-EVM Tipe 3 – Hampir setara dengan EVM

Tipe 3 hampir setara dengan EVM, adanya beberapa variabel yang membuatnya tidak sepenuhnya setara ditempuh untuk meningkatkan kecepatan penciptaan bukti (proof) dan mempermudah pengembangan. 

Contoh proyek dalam kategori ini adalah Scroll dan Polygon Hermez 2.0 pada kondisinya saat ini.  

ZK-EVM Tipe 4 – Setara dengan bahasa pemrograman high-level Ethereum

Tipe 4 ini beroperasi dengan mengambil kode sumber pemrograman smart contract yang menggunakan bahasa pemrograman Ethereum seperti Solidity atau Vyper untuk kemudian mengompilasinya ke beberapa bahasa yang secara eksplisit dirancang agar kompatibel dengan ZK-SNARK.

Contoh proyek dalam kategori ini adalah ZK Sync. Selain itu proyek Warp Nethermind juga sedang membangun kompiler dari Solidity ke Kairo Starkware, yang akan mengubah StarkNet dapat dikategorikan menjadi sistem Tipe 4.

Photo by Markus Spiske on Unsplash