Mengapa ZkEVM Menjalankan Kode Ethereum Namun Membuktikannya dengan Zero-Knowledge

Ethereum (ETH) Virtual Machine (EVM) dirancang pada 2015 untuk menjalankan smart contract — bukan untuk menghasilkan bukti kriptografi. Zero-knowledge proof diciptakan untuk memverifikasi komputasi secara murah dan privat, tanpa konsep opcode sama sekali.

Selama bertahun-tahun, keduanya tampak mustahil dipertemukan.

Sampai akhirnya para insinyur menemukan cara menggabungkannya, melahirkan salah satu infrastruktur paling kompleks secara teknis di dunia kripto.

ZkEVM — singkatan dari zero-knowledge Ethereum Virtual Machine — adalah upaya menjalankan smart contract yang kompatibel dengan Ethereum, lalu membuktikan bahwa eksekusinya benar dengan ZK proof, tanpa memaksa pengembang menulis ulang satu baris kode pun.

Di atas kertas terdengar sederhana. Dalam praktiknya, ini berarti memecahkan persoalan yang membingungkan seluruh industri selama setengah dekade.

TL;DR

ZkEVM mengeksekusi smart contract kompatibel Ethereum dan menghasilkan zero-knowledge proof bahwa eksekusi tersebut benar, sehingga penyelesaian transaksi di Ethereum mainnet bisa jauh lebih cepat dan murah.

Semakin sulit ZkEVM dibangun, biasanya semakin tinggi pula kompatibilitasnya dengan tool Ethereum yang sudah ada; trade-off ini menjadi pusat semua keputusan desain di ranah ZkEVM.

Pengguna menikmati jaminan keamanan Ethereum tanpa membayar gas mainnet, sementara pengembang dapat mendepoy kontrak Solidity lama dengan sedikit atau tanpa modifikasi.

Apa Sebenarnya Fungsi Zero-Knowledge Proof

Sebelum menyentuh sisi EVM, perlu jelas dulu apa itu zero-knowledge proof dan apa yang bukan. ZK proof adalah metode kriptografi yang memungkinkan satu pihak, prover, meyakinkan pihak lain, verifier, bahwa sebuah pernyataan benar, tanpa mengungkap data yang mendasari kebenaran tersebut.

Contoh klasiknya: membuktikan Anda tahu sebuah password tanpa pernah mengirimkan password itu sendiri. Di blockchain, pernyataan yang dibuktikan hampir selalu bersifat komputasional: “Saya menjalankan program ini dengan input ini dan menghasilkan output ini, dan saya melakukannya dengan benar.”

Verifier — dalam konteks ini smart contract Ethereum di Layer 1 — memeriksa proof hanya dalam hitungan milidetik, tanpa perlu mengeksekusi ulang seluruh transaksi.

Zero-knowledge proof memungkinkan jaringan Layer 2 menggabungkan ribuan transaksi, menghasilkan satu proof ringkas bahwa semuanya valid, dan hanya mengirim proof itu ke Ethereum. Biaya per pengguna pun turun drastis.

Dua sistem proof mendominasi lanskap ZkEVM saat ini. SNARK (Succinct Non-interactive ARguments of Knowledge) menghasilkan proof sangat kecil dan cepat diverifikasi, namun membutuhkan trusted setup. STARK (Scalable Transparent ARguments of Knowledge) tidak memerlukan trusted setup dan tahan terhadap serangan kuantum, tetapi ukuran proof-nya jauh lebih besar. Mayoritas tim ZkEVM sementara ini memilih SNARK karena biaya verifikasi di Ethereum mainnet adalah kendala keras yang tak bisa diabaikan.

Mengapa EVM Sangat Sulit Dibuktikan

Ethereum Virtual Machine adalah lingkungan eksekusi berbasis stack dengan lebih dari 140 opcode, sistem gas, tata letak memori yang kompleks, dan berbagai edge case yang terkumpul selama hampir satu dekade penggunaan nyata. Setiap opcode, dari ADD sederhana hingga precompile kriptografi seperti ECRECOVER, harus direpresentasikan sebagai constraint aritmetika agar dapat “dipahami” oleh sistem ZK proof.

Masalahnya, sistem ZK proof berbicara dalam bahasa matematis yang sangat sempit. Mereka bekerja secara native di atas field hingga dan persamaan polinomial. EVM tidak pernah dirancang dengan itu dalam pikiran. Opcode seperti KECCAK256 (fungsi hash Ethereum) nyaris sebenci itu terhadap sirkuit ZK: penuh operasi bitwise yang ketika diterjemahkan menjadi constraint, akan meledak menjadi rangkaian persamaan yang sangat besar dan mahal.

Ketimpangan ini melahirkan apa yang disebut peneliti sebagai “masalah inkompatibilitas EVM”. Anda bisa membangun ZK rollup yang cepat dan murah, tetapi hanya untuk program yang sejak awal ditulis untuk lingkungan “ramah ZK”. Atau Anda bisa mencoba mendukung EVM penuh, namun biaya dan waktu pembuatan proof menjadi begitu besar hingga menghilangkan manfaat skalanya. Tantangan rekayasa ZkEVM adalah meruntuhkan trade-off tersebut.

Menghasilkan ZK proof untuk satu hash KECCAK256 saja bisa membutuhkan jutaan constraint aritmetika. Satu blok Ethereum lazimnya berisi ribuan hash, itulah mengapa generasi proof ZkEVM di implementasi awal bisa memakan waktu berjam-jam dan hingga kini masih memerlukan hardware khusus.

Empat Tipe ZkEVM dan Implikasinya

Tidak semua ZkEVM seragam. Peneliti Ethereum Vitalik Buterin pada 2022 memperkenalkan taksonomi yang kini banyak dirujuk, membagi implementasi menjadi empat tipe berdasarkan seberapa kompatibel mereka dengan tumpukan (stack) Ethereum yang ada. Memahami empat tipe ini adalah cara tercepat menilai proyek ZkEVM apa pun.

Tipe 1 sepenuhnya ekuivalen Ethereum. Ia membuktikan state transition Ethereum secara persis, termasuk struktur blok, fungsi hash, dan detail lain tanpa modifikasi. Artinya, klien Ethereum yang ada dapat melakukan sinkronisasi secara native dan seluruh tool berjalan apa adanya. Harga yang dibayar: pembuatan proof sangat lambat dan mahal. Belum ada ZkEVM produksi yang beroperasi di Tipe 1, meski sejumlah tim sedang mengarah ke sana.

Tipe 2 ekuivalen EVM. Di sini, beberapa struktur data internal diubah — misalnya mengganti KECCAK dengan hash yang lebih ramah ZK di state trie — namun kompatibilitas bytecode EVM dijaga penuh. Perilaku smart contract identik. Pengembang nyaris tidak merasakan perbedaan. Pembuatan proof lebih cepat dibanding Tipe 1, tetapi masih berat. Scroll dan versi awal Polygon zkEVM menargetkan kisaran ini.

Tipe 3 membuat modifikasi tambahan yang memutus sebagian kecil fitur edge case, seperti precompile tertentu. Hampir seluruh kontrak yang ada tetap bisa berjalan. Biaya pembuatan proof turun cukup signifikan. Sebagian besar ZkEVM komersial yang meluncur pada 2023–2024 berada di antara Tipe 2 dan Tipe 3 pada fase awal mereka.

Tipe 4 tidak membuktikan bytecode EVM secara langsung, melainkan mengompilasi source code Solidity atau Vyper ke virtual machine kustom yang ramah ZK. Ini opsi tercepat dan termurah, tetapi dapat menimbulkan perbedaan perilaku halus, dan trik EVM tingkat rendah tertentu tidak akan bekerja. zkSync Era menggunakan pendekatan ini dengan compiler kustom berbasis LLVM.

Taksonomi ini krusial bagi builder. Proyek yang hendak memigrasikan protokol DeFi battle-tested dari Ethereum mainnet cenderung memilih Tipe 2 atau Tipe 3 demi kepastian perilaku. Proyek yang dibangun dari nol mungkin rela menerima Tipe 4 demi biaya proving lebih murah dan finalitas lebih cepat.

Bagaimana ZkEVM Memproses Satu Transaksi

Menelusuri alur satu transaksi dari awal sampai akhir membantu memvisualisasikan arsitekturnya. Saat pengguna mengirim transaksi ke jaringan ZkEVM, rangkaiannya kira-kira seperti ini.

Pertama, transaksi masuk ke sequencer, node yang bertugas mengurutkan dan mengumpulkan transaksi dalam batch. Sequencer mengeksekusi transaksi, memperbarui state Layer 2, dan memberi “konfirmasi lunak” (soft confirmation) secara instan ke pengguna. Pada tahap ini, dompet pengguna sudah menampilkan saldo baru, tetapi transaksi belum difinalisasi secara kriptografis di Ethereum.

Kedua, batch transaksi dikirim ke prover, perangkat lunak (atau hardware) khusus yang menjalankan algoritma ZK proving. Prover mengambil state sebelum eksekusi, seluruh transaksi, dan state setelah eksekusi, lalu menghasilkan validity proof yang menegaskan bahwa perubahan state tersebut dihitung dengan benar. Langkah ini sangat intensif komputasi dan dapat memakan waktu beberapa detik hingga menit, tergantung sistemnya.

Ketiga, proof beserta sejumlah kecil data transaksi yang telah dikompresi dikirim ke smart contract Ethereum yang disebut verifier contract.

Kontrak ini memverifikasi proof hanya dengan satu panggilan on-chain, dengan biaya gas tetap terlepas dari berapa banyak transaksi di dalam batch. Setelah terbukti, state root Layer 2 difinalisasi di Ethereum dan dianggap seaman transaksi mainnet mana pun.

Modular ZkEVM dan Interoperabilitas Lintas Chain

Desain awal ZkEVM berasumsi hanya ada satu lapisan penyelesaian: Ethereum. Semua eksekusi dibuktikan dan diselesaikan di Ethereum mainnet. Namun arsitektur generasi baru, modular ZkEVM, memisahkan lapisan eksekusi, lapisan proving, dan lapisan settlement sehingga ketiganya dapat dikomposisi secara independen.

Di sinilah proyek seperti Prom masuk ke panggung.

Prom menyebut dirinya sebagai Layer 2 ZkEVM modular yang memfasilitasi interoperabilitas lintas chain baik EVM maupun non-EVM. Alih-alih hanya membuktikan eksekusi dan menyelesaikannya di Ethereum, ia mengirim proof ke beberapa chain sekaligus, menciptakan “jembatan matematis” antar-ekosistem yang sebelumnya tidak memiliki koneksi trustless.

Pendekatan modular penting karena menghapus asumsi bahwa Ethereum adalah satu-satunya lapisan settlement yang sah.

Pada dasarnya, ZkEVM proof hanyalah ekspresi matematika. Jika Chain A dan Chain B sama-sama memiliki verifier contract yang mampu memeriksa ekspresi tersebut, satu proof bisa memfinalisasi sebuah state transition di dua chain sekaligus. Inilah cara ZK proof berevolusi dari sekadar teknologi scaling menjadi primitif interoperabilitas universal.

Arsitektur modular ZkEVM memisahkan eksekusi dari settlement, sehingga satu validity proof yang sama dapat diverifikasi di Ethereum, chain non-EVM, atau keduanya, menciptakan sumber kebenaran kriptografis bersama di antara ekosistem yang sebelumnya saling tidak kompatibel.

ZkEVM Versus Optimistic Rollups, Head-to-Head

Perbandingan antara ZkEVM dan optimistic rollups terus-menerus mencuat, dan wajar saja: keduanya mencoba menyelesaikan masalah yang sama dengan filosofi yang nyaris berlawanan.

Optimistic rollups beroperasi dengan asumsi bahwa setiap transaksi valid secara default, dan baru diverifikasi jika ada yang mengajukan “fraud proof” dalam jendela sengketa (biasanya tujuh hari). Pendekatan ini membuat operasional lebih murah dan implementasi lebih sederhana, tetapi konsekuensinya, penarikan dana ke Ethereum mainnet memakan waktu sekitar sepekan kecuali pengguna memakai jembatan likuiditas. Arbitrum dan Optimism saat ini menjadi jaringan optimistic rollup terbesar.

ZkEVM rollups justru tidak berasumsi apa pun. Setiap batch dianggap tidak valid sampai ada bukti kriptografis yang menyatakan sebaliknya. Ini menambah beban komputasi di sisi proving, tetapi sebagai imbalannya, penarikan dana bisa final di Ethereum hanya dalam hitungan jam, tanpa ketergantungan pada “watcher” jujur untuk mendeteksi kecurangan.

Bagi pengguna, perbedaan praktisnya kira-kira seperti ini:

Kecepatan penarikan: ZkEVM unggul telak; finalitas berbasis bukti biasanya hanya butuh beberapa jam, dibanding sekitar tujuh hari untuk penarikan native di optimistic rollups.
Biaya transaksi: Optimistic rollups saat ini umumnya masih lebih murah karena proses pembuatan bukti ZK menambah biaya. Celah ini makin menyempit seiring peningkatan perangkat keras dan algoritma proving.
Model keamanan: ZkEVM menawarkan jaminan validitas secara kriptografis. Optimistic rollups mengandalkan keamanan ekonomi lewat fraud proof — kuat, tapi tidak identik dengan jaminan matematis.
Kompatibilitas EVM: ZkEVM modern (Tipe 2/3) sudah hampir sepenuhnya mengejar ketertinggalan dan kini mendukung hampir seluruh tooling Ethereum yang ada, menghapus keunggulan historis optimistic rollups di area ini.
Risiko liveness: Sistem ZkEVM bisa terhenti jika prover gagal berfungsi. Optimistic rollups tetap dapat memproses transaksi selama sequencer masih aktif.

Tidak ada pendekatan yang “menang mutlak” untuk semua kasus. Aplikasi ber-volume tinggi yang sangat sensitif terhadap biaya dan sanggup menerima jeda penarikan umumnya condong ke optimistic rollups. Aplikasi yang membutuhkan finalitas cepat, settlement lintas rantai, atau bukti matematis atas kebenaran eksekusi cenderung memilih ZkEVM.

Siapa yang Paling Diuntungkan dari ZkEVM Saat Ini

ZkEVM bukan lagi sekadar teknologi masa depan di atas kertas. Beberapa jaringan sudah live dengan nilai terkunci riil dan basis pengguna yang membayar biaya transaksi. Namun tetap penting memahami siapa yang paling diuntungkan di tiap lapisan stack.

Protokol DeFi yang migrasi dari Ethereum mainnet mendapatkan eksekusi yang hampir identik (Tipe 2/3) dengan gas fee yang turun drastis. Protokol yang sebelumnya “mengusir” pengguna ritel karena biaya gas $30 per swap di mainnet bisa menawarkan biaya di bawah satu sen di ZkEVM — tanpa perlu menulis ulang smart contract.

Bridge dan aplikasi lintas rantai diuntungkan dari arsitektur ZkEVM modular yang dapat mengirim bukti ke banyak chain. Alih-alih mempercayai bridge multisig — kategori yang secara historis paling sering diretas di kripto — pengguna dapat mengandalkan bukti matematis yang diverifikasi langsung di on-chain.

Korporasi dan institusi yang membangun aplikasi permissioned atau semi-permissioned mendapatkan lingkungan eksekusi yang sudah teruji dengan jejak audit kriptografis. Setiap perubahan state dapat dibuktikan kebenarannya, faktor penting untuk kepatuhan regulasi dan pelaporan keuangan.

Pengembang yang memulai proyek baru hari ini perlu memahami trade-off antara Tipe 4 dan Tipe 2 sebelum memilih jaringan. Jika Anda menulis Solidity dari nol dan ingin kecepatan proving maksimum plus biaya termurah, jaringan Tipe 4 bisa lebih cocok. Jika Anda memigrasi protokol eksisting dan tidak bisa mengambil risiko perbedaan perilaku eksekusi, Tipe 2 atau Tipe 3 adalah pilihan yang lebih aman.

Bagi pengguna ritel, ZkEVM paling banyak dirasakan hanya sebagai “Ethereum versi murah dan cepat” yang kompatibel dengan wallet yang sudah mereka pakai, dan token yang sama bisa dibawa lewat bridge. Mesin kriptografi di baliknya nyaris tak terlihat — persis seperti seharusnya sebuah infrastruktur yang baik.

Penutup

ZkEVM adalah salah satu masalah konvergensi tersulit dalam kriptografi terapan: memaksa sebuah mesin virtual yang awalnya tidak dirancang dengan struktur matematis, untuk berbicara dalam bahasa zero-knowledge proofs.

Tim yang berhasil memecahkannya menghabiskan waktu bertahun-tahun berurusan dengan ketidakcocokan fungsi hash, ledakan jumlah constraint, dan kebutuhan hardware prover yang bahkan belum tersedia ketika paper ilmiahnya ditulis.

Lanskapnya masih bergerak sangat cepat. Waktu generasi bukti terus menyusut. Jaringan prover terdesentralisasi mulai bermunculan. Target Tipe 1 — equivalence penuh dengan Ethereum — tetap menjadi tujuan yang kini semakin didekati beberapa tim.

Bagi siapa pun yang membangun atau berinvestasi di ekosistem Ethereum, memahami cara kerja ZkEVM secara substantif — bukan sekadar jargon pemasaran — adalah fondasi bagi setiap keputusan strategis berikutnya.

Baca Berikutnya: Dorongan Pendanaan AI $500 Miliar Nvidia Posisikan Token Crypto Compute dalam Sorotan