Apa Itu Rollup? Optimistic vs ZK Rollup Dijelaskan Detail

Rollup adalah teknologi scaling Ethereum yang memindahkan eksekusi transaksi ke chain terpisah sambil mengirim data atau bukti ke Ethereum mainnet untuk security. Rollup terbagi dua kategori utama: optimistic rollup yang memakai fraud proof, dan ZK rollup yang memakai validity proof. Artikel ini menjelaskan mekanisme keduanya secara detail dan tradeoff teknis yang penting dipahami.

Mengapa Rollup Diperlukan

Ethereum mainnet punya throughput terbatas di level konsensus dan eksekusi. Saat permintaan tinggi, gas fee bisa melonjak menjadi tidak ekonomis untuk transaksi kecil. Rollup menjawab problem ini dengan memproses transaksi off-chain (di L2) lalu posting data atau bukti ke L1. Penjelasan resmi tersedia di ethereum.org/layer-2.

Karakteristik umum rollup:

• Eksekusi off-chain: transaksi diproses di L2 dengan kecepatan lebih tinggi
• Data atau bukti posted ke L1: Ethereum jadi sumber kebenaran final
• Security inheritance: rollup mewarisi security Ethereum lewat data availability dan mekanisme verifikasi

Optimistic Rollup

Mekanisme Dasar

Optimistic rollup berasumsi semua transaksi valid by default. Hanya ketika ada yang challenge, mekanisme fraud proof dijalankan untuk verifikasi.

Alur transaksi:

1. Sequencer mengumpulkan transaksi dari user
2. Transaksi dieksekusi di L2 dan state baru dihitung
3. Batch data transaksi posted ke L1 (di-store sebagai calldata atau di blob via EIP-4844)
4. Periode challenge window dibuka: siapa saja bisa submit fraud proof jika menemukan transaksi yang invalid
5. Setelah challenge window habis tanpa fraud proof valid, state dianggap final

Detail teknis tersedia di ethereum.org/optimistic-rollups.

Challenge Window

Challenge window adalah periode di mana siapa pun bisa submit fraud proof. Banyak implementasi optimistic rollup di Ethereum memakai periode sekitar 7 hari. Detail per chain bisa berbeda dan dapat dicek di L2Beat.

Implikasi untuk user:

• Withdrawal langsung ke L1 butuh tunggu sampai challenge window habis
• Banyak user memilih bridge pihak ketiga untuk fast withdrawal dengan fee tambahan
• Transaksi di dalam L2 sendiri tidak terdampak; finality cepat di sekuriti L2

Fraud Proof

Fraud proof adalah bukti kriptografis yang menunjukkan transaksi tertentu salah dieksekusi. Untuk submit fraud proof, challenger biasanya butuh:

• Bond/stake yang dikunci sebagai jaminan
• Re-eksekusi transaksi yang disengketakan secara interaktif atau non-interaktif

Jika fraud proof valid, sequencer atau proposer yang nakal kehilangan stake-nya, dan state rollback.

Contoh Implementasi

Arbitrum One dan Optimism Mainnet adalah dua optimistic rollup yang paling sering disebut. Base juga termasuk optimistic rollup karena dibangun di atas OP Stack. Detail per chain di L2Beat.

ZK Rollup (Zero-Knowledge Rollup)

Mekanisme Dasar

ZK rollup memakai pendekatan kebalikannya: alih-alih mengasumsikan transaksi valid lalu menunggu challenge, ZK rollup wajib submit validity proof untuk setiap batch transaksi. Validity proof adalah bukti kriptografis yang membuktikan eksekusi batch benar tanpa perlu re-eksekusi.

Alur transaksi:

1. Sequencer mengumpulkan transaksi dari user
2. Transaksi dieksekusi di L2 dan state baru dihitung
3. Prover men-generate ZK proof (zk-SNARK atau zk-STARK) yang membuktikan eksekusi benar
4. Batch data + validity proof posted ke L1
5. Smart contract verifier di L1 memverifikasi proof: jika valid, state final segera

Detail teknis di ethereum.org/zk-rollups.

Validity Proof

Validity proof punya properti penting:

• Cryptographic guarantee: jika proof valid, eksekusi pasti benar (tidak butuh trust)
• Fast finality: tidak ada challenge window, withdrawal cepat
• Computationally expensive di prover side: generate proof butuh komputasi besar

Tipe ZK Proof

Dua tipe utama:

• zk-SNARK: proof size kecil, verifikasi cepat, biasanya butuh trusted setup
• zk-STARK: tidak butuh trusted setup, post-quantum resistant, tapi proof size lebih besar

Contoh Implementasi

Polygon zkEVM, zkSync Era, Starknet, Linea adalah beberapa ZK rollup yang aktif. Setiap implementasi punya tradeoff berbeda terkait kompatibilitas EVM, biaya proving, dan ekosistem.

Perbandingan Tradeoff

Counter-Argument: Optimistic Tidak Selalu Kalah

Walaupun ZK proof secara teori lebih elegan, optimistic rollup punya keunggulan praktis di 2026:

• Ekosistem lebih matang: Arbitrum dan Optimism punya TVL signifikan dan ekosistem dApp luas
• Biaya proving rendah: tidak perlu prover infrastructure yang mahal
• Lebih sederhana untuk EVM compatibility: implementasi pertama lebih natural

Di sisi lain, ZK rollup punya keunggulan jangka panjang:

• Tidak ada challenge window sehingga withdrawal cepat
• Cryptographic security yang lebih kuat secara teori
• Roadmap industri banyak mengarah ke ZK sebagai default

Data Availability: Layer Penting

Selain mekanisme proof, rollup juga harus memastikan data transaksi tersedia. Tanpa data, user tidak bisa rekonstruksi state mereka jika sequencer mati. Dua pendekatan utama:

• On-chain DA: data posted ke Ethereum (sekarang lewat blob via EIP-4944), full security
• Off-chain DA (alt-DA): data posted ke layer DA terpisah seperti Celestia atau EigenDA, biaya lebih rendah tapi trust assumption tambahan

Rollup dengan DA off-chain biasanya disebut validium (untuk ZK) atau optimium (untuk optimistic).

Implikasi Praktis untuk User

Untuk transaksi sehari-hari

Tidak banyak perbedaan UX antara optimistic dan ZK rollup di dalam L2. Swap di Arbitrum (optimistic) terasa sama cepatnya dengan swap di zkSync Era (ZK) dari sudut pandang user. Perbedaan utama muncul saat withdrawal ke L1.

Untuk withdrawal besar

Jika Anda perlu withdraw modal besar kembali ke Ethereum mainnet:

• Optimistic rollup: tunggu challenge window atau bayar fee fast bridge
• ZK rollup: withdrawal lebih cepat secara native

Untuk DeFi degens

Likuiditas dan ekosistem dApp lebih penting daripada tipe proof. Pilih chain dengan protokol yang Anda butuhkan, bukan berdasarkan jenis rollup saja.

Konteks Ethereum Roadmap

Rollup adalah bagian sentral dari "rollup-centric roadmap" Ethereum. Upgrade EIP-4844 (proto-danksharding) yang aktif di Ethereum sejak 2024 menurunkan biaya posting data rollup signifikan. Roadmap lanjutan ke full danksharding akan lebih jauh menurunkan biaya. Detail roadmap di ethereum.org/roadmap.

Disclaimer

Artikel ini edukatif teknis. Rollup adalah teknologi yang berkembang cepat. Status dan parameter spesifik berubah dengan upgrade protokol. Periksa dokumentasi resmi dan L2Beat untuk data terbaru.