Lompat ke konten

Rollup

Cara rollup menjalankan transaksi, menerbitkan data dan komitmen, memverifikasi transisi status, menyelesaikan di lapisan dasar, serta menimbulkan risiko operasional tersendiri.

Diperbarui

Hanya untuk tujuan edukasi; bukan nasihat keuangan, investasi, bridge, atau keamanan. Jaminan rollup bergantung pada kontrak yang diterapkan, sistem bukti, ketersediaan data, izin operator, tata kelola, dan lapisan dasar, yang semuanya dapat berubah.

Jawaban langsung

Rollup adalah desain penskalaan blockchain yang menjalankan transaksi di luar lapisan dasar, tetapi memakai lapisan itu untuk menerbitkan data atau komitmen yang ditentukan protokol dan menyelesaikan transisi status yang disengketakan atau dibuktikan. Banyak transaksi berbagi biaya data dan penyelesaian lapisan dasar. Jadi, rollup lebih dari kompresi transaksi dan state root saja tidak menyediakan data untuk merekonstruksi rantai.

Rollup optimistis umumnya menerima klaim status kecuali tantangan bukti kesalahan yang berhasil menunjukkan transisi tidak valid. Rollup ZK mengirim bukti validitas yang diverifikasi kontrak penyelesaian. Istilah ini menjelaskan cara transisi diterima, bukan jaminan universal tentang desentralisasi sequencer, penyimpanan, kendali peningkatan, biaya, atau waktu penarikan.

Cara kerja

  • Mengurutkan dan menjalankan. Sequencer atau mekanisme lain memilih dan mengurutkan transaksi lalu menghitung status hasil. Pengguna dapat menerima tanda terima cepat sebelum konfirmasi lapisan dasar.
  • Menerbitkan data. Sistem menerbitkan data input yang cukup, biasanya sebagai calldata atau blob, ke lapisan dasar atau memakai desain ketersediaan terpisah. Ini menentukan kemampuan node independen merekonstruksi dan memverifikasi status.
  • Mengikat status. Rollup menerbitkan state root atau komitmen lain yang mengikatnya pada hasil eksekusi. Komitmen ringkas, tetapi bukan riwayat transaksi yang mendasarinya.
  • Memverifikasi transisi. Desain optimistis bergantung pada jendela tantangan dan proses bukti kesalahan yang diterapkan; ZK bergantung pada bukti validitas dan verifier on-chain. Bug, izin, dan kelangsungan sistem bukti tetap penting.
  • Menyelesaikan dan menarik. Kontrak lapisan dasar menentukan penerimaan dan finalisasi pesan serta aset. Penarikan kanonis dapat tertunda karena bukti, tantangan, atau finalitas; bridge cepat menambah penyedia likuiditas dan risiko pihak lawan.
  • Meningkatkan dan memulihkan. Tata kelola, dewan keamanan, guardian, atau administrator dapat menjeda atau meningkatkan kontrak. Timelock, jalur keluar, dan inklusi paksa harus diperiksa pada penerapan yang tepat.

Contoh

Misalkan satu batch berisi 1,000 transaksi. Pengguna membayar total 0.8 ETH, biaya data lapisan dasar terukur 0.5 ETH, dan eksekusi rollup 0.2 ETH. Sisa yang belum dijelaskan ialah 0.8 - 0.5 - 0.2 = 0.1 ETH, atau 0.1 / 1,000 = 0.0001 ETH per transaksi sebelum pembuatan bukti, infrastruktur, batch gagal, biaya modal, dan pengembalian dana. Ini rekonsiliasi biaya, bukan laba operator.

Sebelum menganggap batch final, periksa apakah tanda terima hanya dikonfirmasi sequencer, data dan komitmen sudah mencapai lapisan dasar, jendela bukti kesalahan selesai atau bukti validitas diterima, serta pesan penarikan secara terpisah sudah dapat dijalankan.

Risiko

  • Sequencer terpusat dapat menyensor, mengurutkan ulang, atau menghentikan transaksi sementara.
  • Data batch yang hilang atau tidak tersedia dapat menghambat rekonstruksi dan keluar secara independen.
  • Program bukti kesalahan, sirkuit validitas, verifier, atau implementasi klien dapat memiliki bug.
  • Penantang atau pembuat bukti dapat offline, disensor, kekurangan dana, atau salah diberi izin.
  • Kemacetan, reorganisasi, atau kegagalan lapisan dasar dapat menunda penerbitan, pembuktian, dan penyelesaian.
  • Kunci peningkatan, guardian, atau tata kelola dapat mengubah kode, parameter, atau perilaku bridge.
  • Bridge kanonis dan pemetaan token dapat gagal meski eksekusi rollup benar.
  • Biaya, waktu pembuktian, dan keterlambatan penarikan berbeda tiap penerapan dan dapat berubah.

Kesalahpahaman umum

  • Semua rollup menyimpan semuanya secara permanen di lapisan dasar. Format penerbitan dan jaminan arsip berbeda; blob bukan penyimpanan permanen.
  • Tanda terima sequencer adalah penyelesaian final. Itu mungkin hanya janji pengurutan awal.
  • ZK berarti privat. Bukti validitas membuktikan komputasi benar; privasi transaksi adalah pilihan desain terpisah.
  • Optimistis berarti tanpa verifikasi. Kebenaran memerlukan data yang dapat direproduksi, sistem bukti kesalahan aktif, dan peserta yang mampu menantang.
  • Biaya rata-rata lebih rendah menghapus risiko operasional. Penyelesaian bersama dapat menekan biaya, tetapi ketergantungan sequencer, bukti, tata kelola, bridge, dan data tetap ada.

Topik terkait

Sumber

Navigasi

Cari di wiki...