Apa itu ZK Rollup?
ZK Rollup (Zero-Knowledge Rollup) adalah jenis Layer 2 yang mengeksekusi transaksi di luar Layer 1, lalu mengirimkan bukti kriptografis (validity proof) ke L1 untuk membuktikan bahwa semua transaksi dalam batch tersebut valid — tanpa perlu mempublikasikan detail setiap transaksi.
“Zero-knowledge” merujuk pada sifat proof ini: bisa membuktikan kebenaran suatu pernyataan tanpa mengungkap informasi di baliknya.
Cara Kerjanya
- Pengguna mengirim transaksi ke sequencer ZK Rollup
- Sequencer mengelompokkan ratusan hingga ribuan transaksi menjadi satu batch
- Prover menghasilkan validity proof (biasanya berupa zk-SNARK atau zk-STARK) yang membuktikan semua transaksi dalam batch valid
- Batch + validity proof dikirim ke smart contract di Ethereum
- Smart contract memverifikasi proof — jika valid, state L1 diperbarui
Verifikasi proof di L1 sangat murah secara komputasi, meski pembuatan proof-nya sendiri butuh banyak resource di sisi sequencer.
zk-SNARK vs zk-STARK
Dua jenis zero-knowledge proof yang paling umum digunakan:
| zk-SNARK | zk-STARK | |
|---|---|---|
| Ukuran proof | Kecil (~200 bytes) | Lebih besar |
| Verifikasi | Sangat cepat | Cepat |
| Trusted setup | Diperlukan | Tidak diperlukan |
| Tahan quantum | Tidak | Ya |
| Digunakan oleh | zkSync Era, Polygon zkEVM | Starknet |
“Trusted setup” di zk-SNARK berarti ada fase inisialisasi yang harus dilakukan secara jujur oleh sekelompok orang — jika semua pesertanya berkolusi, sistem bisa dikompromikan. zk-STARK menghilangkan kebutuhan ini.
Keunggulan ZK Rollup
Finality cepat
Begitu validity proof diterima dan diverifikasi L1, transaksi bersifat final. Tidak ada periode challenge seperti di Optimistic Rollup. Penarikan ke L1 bisa lebih cepat.
Keamanan berbasis kriptografi
Tidak bergantung pada asumsi perilaku ekonomi (seperti “akan ada yang melaporkan fraud”). Validitas dijamin secara matematis.
Keterbatasan Saat Ini
- Komputasi proof mahal — menghasilkan zk proof untuk smart contract arbitrer adalah masalah teknis yang baru mulai terpecahkan
- Kompatibilitas EVM — beberapa ZK Rollup butuh virtual machine berbeda (Cairo VM di Starknet), meski zkSync Era dan Polygon zkEVM sudah EVM-compatible
- Kompleksitas teknis — lebih sulit diaudit dan di-debug dibanding sistem tradisional
ZK Rollup sering disebut sebagai masa depan scaling Ethereum jangka panjang, meski secara maturity ekosistemnya masih di belakang Optimistic Rollup.