Crypto Gloss

Optimistic Rollup: Skalabilitas Layer 2 Ethereum dengan Fraud Proof

Penulis Adler, John; Quintyne-Collins, Mikerah
Tahun 2019
Proyek Optimistic Rollup / Plasma Group
Lisensi Public
Sumber Resmi medium.com/plasma-group
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

Optimistic Rollup pertama kali dideskripsikan secara koheren oleh John Adler dan Mikerah Quintyne-Collins dalam blog post 2019 dan pekerjaan teknis yang menyertainya dari Plasma Group (kemudian menjadi Optimism). Nama “optimistic” mencerminkan asumsi inti: sistem secara optimis mengasumsikan semua transaksi valid dan hanya menjalankan komputasi di Ethereum L1 jika fraud proof challenge diajukan. Desain ini mencapai kompatibilitas EVM penuh, ketersediaan data di L1, peningkatan throughput 100–300x, dan keamanan yang diwariskan dari Ethereum melalui fraud proof.

Publikasi dan Konteks

Keterbatasan Plasma (2017): masalah data availability berarti Plasma tidak dapat mendukung smart contract EVM arbitrer. Optimistic Rollup memecahkan ini dengan mempublikasikan semua data transaksi ke Ethereum — bukan hanya Merkle root. Ini mahal tetapi memastikan siapa pun dapat memulihkan state rollup dan menghasilkan fraud proof. Dengan EIP-4844 (2024), biaya data ini turun 10–100x, membuat Optimistic Rollup jauh lebih ekonomis.

Cara Kerja Optimistic Rollup

Alur transaksi:

  1. Pengguna mengirim transaksi ke sequencer rollup
  2. Sequencer membatch ~1.000–10.000 transaksi, mengompresi, dan memposting data terkompresi sebagai calldata Ethereum (sekarang: data blob via EIP-4844)
  3. Sequencer juga memposting state root (state rollup ter-Merklize setelah mengeksekusi semua transaksi)
  4. Asumsi optimistis: Ethereum TIDAK mengeksekusi ulang transaksi; ia menerima state root yang diposting sebagai valid

Fraud proof (tantangan):

  1. Periode tantangan: 7 hari untuk Optimism/Arbitrum — siapa pun bisa mengajukan fraud proof yang mengklaim sequencer tidak jujur
  2. Jika penantang mendeteksi transisi state yang tidak valid, mereka memposting tantangan dan bond di L1
  3. Bisection/Interactive fraud proof: Penantang dan sequencer terlibat dalam protokol bisection untuk mempersempit ke langkah komputasi yang tepat yang mereka pertentangkan → Ethereum EVM mengeksekusi ulang hanya satu langkah itu
  4. Jika penantang benar: bond sequencer di-slash, state root dibalik, penantang diberi reward
  5. Jika tidak ada tantangan dalam 7 hari: state root difinalisasi

Penundaan 7 Hari: Trade-off Utama

Periode tantangan menciptakan kelemahan UX utama Optimistic Rollup: penarikan dari L2 ke L1 memerlukan 7 hari (kecuali menggunakan liquidity bridge seperti Across Protocol yang menyediakan likuiditas terlebih dahulu).

Interactive Fraud Proof Arbitrum vs. Optimism

  • Arbitrum: Fraud proof interaktif dan multi-putaran. Bisection mengidentifikasi satu instruksi EVM yang diperdebatkan; Ethereum mengeksekusi hanya instruksi itu. Hanya gas satu instruksi dikonsumsi di L1.
  • Optimism: Fault proof satu putaran menggunakan Cannon VM (verifikasi off-chain kemudian on-chain untuk satu langkah yang diperdebatkan).

Implementasi Utama

  • Optimism/OP Stack: Basis untuk Base (Coinbase), Zora, Mode, dan puluhan L2 lainnya dalam “Superchain”
  • Arbitrum One: L2 dengan TVL tertinggi pada puncaknya; Arbitrum Orbit memungkinkan L3 kustom

Istilah Terkait

Referensi

  • Adler, J. & Quintyne-Collins, M. (2019). Ethereum Smart Contracts in L2: Optimistic Rollup. medium.com/plasma-group