Hybrid Rollup

Apa Itu Hybrid Rollup dalam Kripto?

Hybrid Rollup adalah desain skalabilitas blockchain Layer 2 yang menggabungkan ide dari optimistic rollup dan zero-knowledge rollup.

Sederhananya, Hybrid Rollup berupaya mempertahankan kecepatan, kompatibilitas, dan biaya pembuktian yang lebih rendah dari optimistic rollup, sekaligus menambahkan fitur zero-knowledge proof untuk verifikasi yang lebih kuat atau finalitas yang lebih cepat.

Hybrid Rollup bukan satu standar universal.

Istilah ini merupakan kategori desain untuk menjelaskan rollup yang menggabungkan lebih dari satu model proof atau verifikasi.

Makna yang paling umum adalah rollup yang menganggap transaksi valid secara default, seperti optimistic rollup, tetapi dapat menggunakan validity proof atau zero-knowledge virtual machine ketika diperlukan sengketa, challenge, atau langkah verifikasi.

Dokumentasi optimistic rollup dari Ethereum menjelaskan bahwa optimistic rollup mengirim data transaksi ke Ethereum dan menganggap transaksi valid kecuali ada pihak yang mengajukan challenge.

Dokumentasi ZK-rollup dari Ethereum menjelaskan bahwa ZK-rollup mengirimkan validity proof untuk memverifikasi komputasi off-chain.

Hybrid Rollup berada di antara kedua pendekatan tersebut.

Tujuannya adalah mengurangi kelemahan masing-masing desain sambil mempertahankan keunggulan utamanya.

Mengapa Hybrid Rollup Penting

Hybrid Rollup penting karena skalabilitas blockchain masih menjadi tantangan besar dalam kripto.

Blockchain publik perlu mendukung lebih banyak pengguna dan aplikasi, biaya yang lebih rendah, serta penyelesaian yang lebih cepat tanpa mengurangi keamanan.

Rollup membantu dengan mengeksekusi transaksi di luar layer penyelesaian utama, tetapi tetap menggunakan layer tersebut untuk data, proof, atau penyelesaian sengketa.

Halaman risiko ketersediaan data L2BEAT menjelaskan bahwa rollup secara berkala mengirim state commitment ke Ethereum dan memvalidasi commitment tersebut melalui validity proof atau mekanisme challenge optimistis.

Optimistic rollup sering kali lebih mudah dibuat kompatibel dengan smart contract bergaya Ethereum, tetapi penarikan dapat tertunda karena pengguna perlu menunggu waktu untuk menantang klaim yang tidak valid.

ZK-rollup dapat memberikan finalitas yang lebih cepat setelah proof diverifikasi, tetapi menghasilkan proof untuk komputasi serbaguna yang kompleks dapat sulit dan mahal.

Hybrid Rollup berupaya mengurangi kompromi yang terlalu besar di antara keduanya.

Sistem dapat berjalan secara optimistis hampir sepanjang waktu, lalu menggunakan ZK proof saat diperlukan verifikasi tambahan.

Hal ini dapat membuka jalan menuju finalitas yang lebih cepat, keamanan yang lebih baik, dan kompatibilitas praktis bagi developer.

Bagi pengguna kripto, istilah ini penting karena menjelaskan generasi baru desain Layer 2 yang dapat mengubah cara kerja penarikan, challenge, bridge, dan finalitas.

Cara Kerja Hybrid Rollup

Hybrid Rollup biasanya memproses transaksi secara off-chain dan mengirim data transaksi, state root, atau commitment ke blockchain penyelesaian Layer 1.

Operator atau sequencer rollup mengumpulkan transaksi pengguna dan membuat batch.

Rollup kemudian menerbitkan informasi yang cukup agar layer penyelesaian dan pengamat independen dapat memverifikasi state rollup.

Dalam optimistic rollup murni, state baru diterima kecuali seseorang mengirim fraud proof yang valid selama periode challenge.

Dalam ZK-rollup murni, state baru diterima setelah validity proof mengonfirmasi bahwa batch dihitung dengan benar.

Hybrid Rollup dapat menggunakan kedua jalur tersebut.

Misalnya, sistem dapat menerima batch secara optimistis dalam operasi normal dan mewajibkan zero-knowledge proof hanya ketika challenger menyengketakan suatu batch.

Desain lain dapat menggunakan ZK proof untuk operasi berisiko tinggi tertentu, sementara asumsi optimistis digunakan untuk eksekusi reguler.

Desain ketiga dapat menggunakan beberapa sistem proof sehingga satu metode proof dapat mendukung metode lainnya.

Intinya, rollup tidak terbatas pada satu gaya verifikasi saja.

Komponen Optimistic Rollup

Komponen optimistis dalam Hybrid Rollup menganggap batch transaksi yang dikirimkan valid, kecuali ada pihak yang membuktikan sebaliknya.

Desain ini berguna karena tidak perlu menghasilkan validity proof yang mahal untuk setiap batch.

Jika sebagian besar batch jujur, sistem dapat berjalan secara efisien.

Pengguna dapat menerima konfirmasi sementara yang cepat dari sequencer sebelum batch benar-benar difinalisasi di layer penyelesaian.

Komprominya adalah sistem membutuhkan jendela challenge.

Selama jendela tersebut, validator, watcher, atau peserta lain dapat meninjau batch dan menantang transisi state yang tidak valid.

Jika tidak ada challenge valid yang dikirim, batch menjadi final berdasarkan aturan optimistis.

Pendekatan ini dapat sederhana dan kompatibel dengan lingkungan eksekusi bergaya Ethereum yang sudah ada.

Namun, jendela challenge dapat menunda penarikan dan kepastian penyelesaian.

Hybrid Rollup menggunakan komponen optimistis untuk menjaga biaya dan kompleksitas tetap lebih rendah dalam operasi normal.

Komponen Zero-Knowledge

Komponen zero-knowledge dalam Hybrid Rollup menggunakan validity proof untuk memverifikasi komputasi secara lebih langsung.

Validity proof dapat membuktikan bahwa transisi state dihitung dengan benar tanpa mengharuskan layer penyelesaian mengeksekusi ulang setiap transaksi.

Hal ini bermanfaat karena dapat mengurangi kebutuhan akan periode sengketa yang panjang.

Komponen ini juga dapat membantu menyelesaikan challenge dengan lebih cepat ketika suatu batch disengketakan.

Pembahasan Hybrid Rollup di Ethereum Research menjelaskan model yang memungkinkan validity proof dibuat hanya ketika ada challenge, bukan untuk setiap batch normal.

Hal ini dapat mengurangi biaya pembuktian karena sistem tidak perlu terus-menerus membuat ZK proof.

Di saat yang sama, keamanan dapat meningkat karena batch yang disengketakan bisa diperiksa dengan proof kriptografis, bukan hanya melalui proses fraud proof interaktif yang panjang.

Komponen zero-knowledge memberikan potensi verifikasi yang lebih kuat pada Hybrid Rollup.

Komponen ini juga menambah kompleksitas sistem proof.

Jika sirkuit ZK, virtual machine, kontrak verifier, atau alur pembuatan proof memiliki kelemahan, Hybrid Rollup dapat menghadapi masalah keamanan serius.

Hybrid Rollup vs Optimistic Rollup

Hybrid Rollup mirip dengan optimistic rollup karena dapat menganggap batch transaksi valid secara default.

Kedua desain dapat mengurangi biaya dengan menghindari eksekusi penuh setiap transaksi secara on-chain.

Keduanya dapat mengirim data transaksi atau state commitment ke layer penyelesaian.

Keduanya dapat menggunakan proses challenge untuk melindungi pengguna dari transisi state yang tidak valid.

Perbedaannya, Hybrid Rollup dapat menambahkan lapisan validity proof untuk memperkuat atau mempercepat penyelesaian sengketa.

Optimistic rollup standar biasanya mengandalkan fraud proof dan jendela challenge.

Hybrid Rollup dapat menggunakan ZK proof untuk membuktikan apakah batch yang disengketakan benar.

Hal ini dapat mengurangi kebutuhan akan penundaan penarikan yang lama jika sistem proof dapat diandalkan dan diterima oleh kontrak penyelesaian.

Model optimistis membuat Hybrid Rollup efisien dari sisi biaya dalam operasi normal.

Model ZK memberikan jalur verifikasi yang lebih kuat ketika terjadi masalah.

Hybrid Rollup vs ZK-Rollup

Hybrid Rollup juga mirip dengan ZK-rollup karena dapat menggunakan zero-knowledge validity proof.

Kedua desain dapat mengandalkan sistem proof kriptografis untuk memverifikasi transisi state.

Keduanya dapat mengurangi tingkat kepercayaan yang dibutuhkan terhadap sequencer atau operator.

Keduanya dapat membantu mendukung finalitas yang lebih cepat jika validity proof digunakan secara efektif.

Perbedaannya, ZK-rollup penuh biasanya menghasilkan validity proof untuk setiap batch atau setiap kelompok batch.

Hybrid Rollup mungkin tidak perlu menghasilkan proof setiap saat.

Proof mungkin hanya dibuat saat terjadi sengketa, checkpoint, penarikan, atau peristiwa penyelesaian bernilai tinggi.

Hal ini dapat mengurangi overhead pembuktian dan membuat sistem lebih mudah dioperasikan saat pembuktian ZK untuk komputasi kompleks masih mahal.

Komprominya, sistem mungkin masih mewarisi sebagian asumsi optimistic rollup dalam operasi normal.

Karena itu, dalam setiap konfigurasi Hybrid Rollup belum tentu memiliki finalitas atau meminimalkan kepercayaan sebaik ZK-rollup penuh.

Fraud Proof dalam Hybrid Rollup

Fraud proof adalah mekanisme untuk menunjukkan bahwa transisi state rollup yang dikirimkan tidak valid.

Dalam sistem optimistis, fraud proof sangat penting karena rollup menerima batch kecuali ada pihak yang membuktikan kecurangan.

Hybrid Rollup mungkin tetap menggunakan mekanisme fraud proof, tetapi fraud proof tersebut dapat didukung oleh ZK proof atau ZK virtual machine.

Misalnya, challenger dapat menyatakan bahwa suatu batch tidak valid, lalu menghasilkan proof yang menunjukkan hasil eksekusi yang benar.

Hal ini dapat membuat penyelesaian sengketa lebih cepat dan akurat.

Sistem fraud proof tradisional mungkin memerlukan beberapa putaran interaktif antara pihak yang membuat klaim dan challenger.

Fraud proof dengan bantuan ZK dapat mengurangi interaksi yang diperlukan jika proof tersebut dapat langsung memverifikasi komputasi yang disengketakan.

Inilah salah satu alasan Hybrid Rollup menarik bagi peneliti Layer 2.

Hybrid Rollup dapat mengurangi kendala dalam penggunaan fraud proof tanpa mewajibkan pembuatan ZK proof penuh untuk setiap batch.

Namun, sistem fraud proof hanya berguna jika challenger yang jujur dapat mengakses data, mengirim challenge, dan menanggung biaya yang diperlukan.

Validity Proof dalam Hybrid Rollup

Validity proof adalah proof kriptografis bahwa batch atau komputasi telah dilakukan dengan benar.

Dalam ZK-rollup, validity proof menjadi sumber utama untuk memverifikasi transisi state.

Dalam Hybrid Rollup, validity proof dapat digunakan secara lebih selektif.

Proof dapat dibuat saat terjadi sengketa, digunakan untuk checkpoint, mempercepat penarikan, atau diwajibkan untuk jenis transaksi tertentu.

Penggunaan selektif ini dapat menurunkan biaya dibandingkan dengan membuktikan setiap batch.

Penggunaan ini juga dapat memberikan jaminan yang lebih kuat daripada desain optimistis murni.

Tantangannya, validity proof membutuhkan sistem pembuktian khusus.

Pembuatan proof dapat membutuhkan komputasi berat, sirkuit yang dioptimalkan, perangkat keras khusus, atau virtual machine yang dirancang dengan cermat.

Kontrak verifier juga harus aman dan efisien.

Jika sistem validity proof belum siap untuk produksi, Hybrid Rollup mungkin masih sangat bergantung pada asumsi optimistis.

Periode Challenge

Periode challenge adalah waktu ketika state rollup yang dikirimkan dapat disengketakan.

Optimistic rollup membutuhkan periode challenge karena batch yang tidak valid dianggap valid kecuali ditantang.

Hybrid Rollup dapat berupaya memperpendek periode ini dengan menggunakan ZK proof untuk menyelesaikan sengketa lebih cepat.

Hal ini dapat meningkatkan pengalaman pengguna karena penundaan penarikan yang lama merupakan salah satu keluhan paling umum tentang optimistic rollup.

Jika sengketa dapat diselesaikan dengan validity proof, sistem mungkin tidak perlu menunggu terlalu lama sebelum menerima state final.

Namun, memperpendek periode challenge berisiko jika sistem proof, ketersediaan data, atau akses challenger lemah.

Pengguna membutuhkan cukup waktu dan informasi untuk mendeteksi masalah.

Klaim finalitas yang cepat hanya berguna jika sistem tetap aman dalam kondisi adversarial nyata.

Perancang Hybrid Rollup harus menyeimbangkan kecepatan dengan hak untuk mengajukan challenge.

Sistem yang paling aman membuat proses challenge praktis, terjangkau, dan terdokumentasi dengan baik.

Finalitas Penarikan

Finalitas penarikan merupakan salah satu alasan utama developer mengeksplorasi Hybrid Rollup.

Dalam banyak desain optimistis, penarikan kembali ke layer penyelesaian dapat memakan waktu karena pengguna harus menunggu hingga periode challenge berakhir.

Dalam banyak desain ZK, penarikan dapat diselesaikan lebih cepat setelah validity proof diterima.

Hybrid Rollup dapat berupaya mempercepat finalitas penarikan dengan menggunakan ZK proof hanya saat diperlukan.

Hal ini dapat membantu pengguna menghindari penundaan panjang tanpa membuat sistem terus-menerus menghasilkan proof.

Finalitas penarikan yang lebih cepat dapat meningkatkan pengalaman DeFi, pembayaran, gaming, penyelesaian institusional, dan penggunaan cross-chain.

Namun, kecepatan penarikan bukan satu-satunya pertanyaan keamanan.

Pengguna juga sebaiknya memeriksa apakah rollup memiliki mekanisme keluar darurat, penarikan paksa, jaminan ketersediaan data, dan kontrak bridge yang aman.

Bridge penarikan yang cepat tidak aman jika bergantung pada verifikasi yang lemah.

Hybrid Rollup yang aman seharusnya menjelaskan secara tepat kapan penarikan menjadi final dan sistem proof apa yang mendukungnya.

Ketersediaan Data

Ketersediaan data sangat penting bagi setiap rollup, termasuk Hybrid Rollup.

Ketersediaan data berarti data transaksi yang diperlukan untuk merekonstruksi state rollup dapat diakses oleh pengguna dan challenger.

Jika data tidak tersedia, peserta yang jujur mungkin tidak dapat mendeteksi kecurangan atau membuktikan state yang benar.

Dokumentasi rollup Ethereum menekankan bahwa rollup mengirimkan data atau informasi transaksi terkompresi agar main chain dapat mendukung verifikasi dan pemulihan.

Hybrid Rollup yang menggunakan asumsi optimistis tetap membutuhkan ketersediaan data untuk proses challenge.

Hybrid Rollup yang menggunakan ZK proof mungkin tetap membutuhkan ketersediaan data agar pengguna dapat mengetahui saldo dan melakukan penarikan dengan aman.

Beberapa sistem dapat menggunakan Ethereum untuk ketersediaan data, sementara sistem lain dapat menggunakan layer ketersediaan data atau komite terpisah.

Pilihan ini mengubah model kepercayaan.

Pengguna sebaiknya tidak menganggap semua Hybrid Rollup sama amannya kecuali desain ketersediaan datanya sama.

Sistem proof rollup penting, tetapi data yang tersedia membuat verifikasi independen dapat dilakukan secara praktis.

Sequencer

Sequencer adalah komponen yang mengurutkan transaksi dalam banyak sistem rollup.

Dalam Hybrid Rollup, sequencer dapat memberikan konfirmasi transaksi yang cepat sebelum penyelesaian final.

Hal ini meningkatkan pengalaman pengguna karena mereka tidak perlu menunggu setiap konfirmasi dari layer penyelesaian.

Namun, sequencer terpusat dapat menimbulkan risiko sensor, downtime, dan pengurutan transaksi.

Sequencer dapat menunda transaksi, mengubah urutan transaksi, atau menghentikan sementara pembuatan batch.

Hybrid Rollup tetap dapat aman pada tingkat penyelesaian, sementara pengguna mengalami masalah pada tingkat sequencing.

Desain yang baik mencakup mekanisme cadangan seperti pemrosesan paksa, proposer alternatif, sequencing terdesentralisasi, atau jalur keluar yang jelas.

Pengguna sebaiknya memeriksa siapa yang mengoperasikan sequencer dan apa yang terjadi jika sequencer tersebut gagal.

Konfirmasi cepat berguna, tetapi tidak boleh disamakan dengan penyelesaian final.

Hybrid Rollup harus menjelaskan perbedaan antara konfirmasi sementara dan finalitas.

Hybrid Rollup dan zkVM

zkVM adalah zero-knowledge virtual machine yang dapat membuktikan kebenaran eksekusi program.

Desain Hybrid Rollup sering membahas zkVM karena teknologi ini dapat memungkinkan eksekusi rollup kompleks dibuktikan hanya saat diperlukan.

Dokumentasi Hybrid Rollup ZKM menjelaskan model ketika batch transaksi dianggap valid kecuali ada challenge, sementara teknologi ZK proof digunakan dalam proses challenge.

Desain semacam ini dapat membantu menggabungkan eksekusi optimistis dengan verifikasi kriptografis.

zkVM dapat berguna karena mampu membuktikan eksekusi tanpa mengharuskan developer menulis ulang setiap aplikasi ke dalam sirkuit khusus.

Hal ini dapat meningkatkan kompatibilitas bagi developer.

Namun, sistem zkVM memiliki kompleksitas teknis.

Sistem ini membutuhkan set instruksi yang aman, sistem proof yang sound, pembuktian yang efisien, kontrak verifier yang benar, serta integrasi yang cermat dengan aturan state rollup.

zkVM dapat memperkuat Hybrid Rollup, tetapi hanya jika teknologinya matang dan diterapkan dengan benar.

Pengguna sebaiknya tidak berasumsi bahwa istilah zkVM saja menjamin keamanan.

Arsitektur Hybrid Rollup

Arsitektur Hybrid Rollup biasanya mencakup sequencer, perangkat lunak node rollup, logika pengiriman batch, sistem ketersediaan data, kontrak penyelesaian, mekanisme fraud proof, pembuatan ZK proof, dan kontrak verifier.

Sequencer mengurutkan transaksi dan membuat batch.

Node rollup melacak state dan memvalidasi eksekusi.

Pengirim batch mengirim commitment atau data ke layer penyelesaian.

Sistem ketersediaan data memastikan data transaksi dapat diperiksa.

Kontrak penyelesaian menerima state root, menangani challenge, dan mengelola penarikan.

Sistem fraud proof mendeteksi transisi yang tidak valid.

ZK prover menghasilkan validity proof saat diperlukan.

Kontrak verifier memeriksa proof tersebut secara on-chain.

Semua komponen ini harus bekerja bersama.

Kelemahan pada satu komponen dapat melemahkan keseluruhan sistem.

Hybrid Rollup dan Ethereum

Sebagian besar pembahasan Hybrid Rollup berkaitan dengan skalabilitas Ethereum karena Ethereum telah menjadi layer penyelesaian utama bagi banyak desain rollup.

Ethereum menyediakan penyelesaian yang kuat, partisipasi validator yang luas, alat smart contract yang matang, dan ekosistem developer yang aktif.

Hybrid Rollup dapat menggunakan Ethereum sebagai tempat state commitment, proof, atau hasil sengketa pada akhirnya diberlakukan.

Dengan demikian, rollup dapat memproses transaksi dengan biaya lebih rendah sambil tetap terhubung dengan keamanan Ethereum.

Namun, keamanan yang diwarisi dari Ethereum bergantung pada desain rollup.

Jika data transaksi dikirim ke Ethereum dan sistem proof diberlakukan oleh kontrak Ethereum, rollup mungkin mewarisi jaminan berbasis Ethereum yang lebih kuat.

Jika data disimpan di tempat lain atau upgrade dikendalikan oleh kelompok admin kecil, profil risikonya berubah.

Pengguna sebaiknya membaca arsitektur yang sebenarnya, bukan berasumsi bahwa setiap rollup yang terhubung dengan Ethereum memiliki tingkat kepercayaan yang sama.

Hybrid Rollup menjanjikan karena dapat menggunakan Ethereum sebagai fondasi penyelesaian sekaligus meningkatkan fleksibilitas eksekusi.

Namun, Hybrid Rollup tetap merupakan sistem Layer 2 yang memiliki risiko operasional dan tata kelolanya sendiri.

Manfaat Hybrid Rollup

Manfaat pertama Hybrid Rollup adalah efisiensi biaya.

Dengan menghindari pembuatan validity proof secara terus-menerus, rollup mungkin dapat mengurangi biaya pembuktian dalam operasi normal.

Manfaat kedua adalah penyelesaian sengketa yang lebih cepat.

ZK proof dapat membantu menyelesaikan batch yang ditantang lebih cepat daripada proses fraud proof interaktif yang panjang.

Manfaat ketiga adalah pengalaman penarikan yang lebih baik.

Jika challenge dapat diselesaikan lebih cepat, pengguna mungkin menghadapi penundaan penarikan yang lebih singkat.

Manfaat keempat adalah kompatibilitas bagi developer.

Model eksekusi optimistis dapat lebih mudah disesuaikan dengan smart contract bergaya Ethereum.

Manfaat kelima adalah keamanan yang lebih kuat daripada desain optimistis murni jika lapisan ZK proof dapat diandalkan.

Manfaat keenam adalah fleksibilitas.

Aplikasi yang berbeda dapat menggunakan aturan verifikasi yang berbeda berdasarkan nilai, kecepatan, biaya, atau risiko.

Risiko Hybrid Rollup

Risiko pertama adalah kompleksitas tambahan.

Hybrid Rollup memiliki lebih banyak komponen dibandingkan desain optimistis sederhana atau ZK sederhana.

Risiko kedua adalah kegagalan sistem proof.

Jika verifier, sirkuit, atau virtual machine ZK memiliki kelemahan, state yang tidak valid dapat diterima atau state yang valid dapat terhambat.

Risiko ketiga adalah akses challenge.

Jika challenger yang jujur tidak dapat mengakses data atau menanggung biaya challenge, komponen optimistis sistem menjadi lebih lemah.

Risiko keempat adalah risiko tata kelola.

Kunci upgrade, kontrol darurat, dan perubahan verifier dapat memengaruhi keamanan pengguna.

Risiko kelima adalah risiko ketersediaan data.

Tanpa data yang tersedia, pengguna dan watcher mungkin tidak dapat memverifikasi state rollup.

Risiko keenam adalah risiko sequencer.

Sequencer dapat menimbulkan masalah liveness, sensor, dan pengurutan transaksi.

Risiko ketujuh adalah kebingungan akibat pemasaran.

Proyek mungkin menyebut dirinya hybrid tanpa menjelaskan dengan jelas apa yang sebenarnya bersifat hybrid.

Hybrid Rollup dan Asumsi Keamanan

Setiap Hybrid Rollup memiliki asumsi keamanan yang perlu dipahami pengguna.

Sistem mungkin berasumsi bahwa setidaknya ada satu watcher yang jujur.

Sistem mungkin berasumsi bahwa data transaksi tersedia selama periode challenge.

Sistem mungkin berasumsi bahwa sistem ZK proof bersifat sound.

Sistem mungkin berasumsi bahwa kontrak penyelesaian bekerja dengan benar.

Sistem mungkin berasumsi bahwa sequencer tidak dapat menyensor pengguna secara permanen karena mekanisme pemrosesan paksa tersedia.

Sistem mungkin berasumsi bahwa administrator upgrade tidak akan bertindak jahat atau tanpa pemberitahuan.

Asumsi-asumsi ini tidak selalu terlihat jelas dari antarmuka pengguna.

Wallet mungkin menampilkan transaksi yang lancar, sementara rollup di baliknya tetap bergantung pada beberapa lapisan kepercayaan.

Pengguna sebaiknya mencari dokumentasi publik, audit, status sistem proof, analisis risiko L2, dan pengungkapan tata kelola yang jelas.

Hybrid Rollup paling kuat ketika asumsinya transparan dan diminimalkan.

Hybrid Rollup dan Finalitas

Finalitas berarti transaksi atau pembaruan state telah diselesaikan sehingga pengguna dapat mengandalkannya.

Hybrid Rollup dapat memiliki beberapa jenis finalitas.

Finalitas sementara dapat terjadi ketika sequencer mengonfirmasi transaksi dengan cepat.

Finalitas ekonomi dapat meningkat setelah batch dikirim dan kondisi challenge semakin sulit dibatalkan.

Finalitas berbasis proof dapat terjadi setelah validity proof diverifikasi.

Finalitas layer penyelesaian bergantung pada Layer 1 yang mendasarinya.

Pengguna sebaiknya tidak menganggap semua sinyal finalitas setara.

Transaksi yang tampak terkonfirmasi di antarmuka rollup mungkin masih tunduk pada aturan pengiriman batch, verifikasi proof, atau challenge.

Hybrid Rollup dapat meningkatkan finalitas, tetapi juga perlu menjelaskan dengan baik tahap finalitas yang sedang dilihat pengguna.

Hal ini sangat penting untuk bridge, transaksi DeFi bernilai tinggi, dan penyelesaian institusional.

Sistem terbaik memisahkan konfirmasi yang mudah dipahami pengguna dari penyelesaian final secara kriptografis.

Hybrid Rollup dan Bridge

Bridge merupakan salah satu komponen paling sensitif dalam sistem rollup mana pun.

Bridge rollup mengatur perpindahan aset antara layer penyelesaian dan rollup.

Dalam Hybrid Rollup, bridge mungkin bergantung pada state root optimistis, ZK proof, jendela challenge, atau kombinasi unsur-unsur tersebut.

Jika bridge menerima state yang tidak valid, dana pengguna dapat berisiko.

Jika bridge terlalu lambat, pengalaman pengguna akan terganggu.

Jika bridge memiliki kontrol upgrade istimewa, pengguna harus memercayai administratornya.

Hybrid Rollup berupaya meningkatkan finalitas bridge dengan menggunakan mekanisme proof yang lebih kuat saat diperlukan.

Namun, keamanan bridge tetap bergantung pada keamanan kontrak, ketersediaan data, verifikasi proof, dan tata kelola.

Pengguna sebaiknya berhati-hati saat memindahkan jumlah besar melalui bridge rollup mana pun.

Melakukan transfer percobaan dalam jumlah kecil merupakan langkah pengamanan yang praktis.

Hybrid Rollup dan DeFi

Aplikasi DeFi dapat memperoleh manfaat dari Hybrid Rollup karena membutuhkan biaya rendah, eksekusi cepat, dan jaminan penyelesaian yang kuat.

Trading, pinjam-meminjam, pool likuiditas, derivatif, dan pembayaran menjadi lebih mudah digunakan ketika biaya transaksi turun.

Di saat yang sama, DeFi sangat bergantung pada finalitas dan keamanan bridge.

Protokol pinjam-meminjam membutuhkan pencatatan agunan yang andal.

Protokol trading membutuhkan perlindungan terhadap pembaruan state yang tidak valid.

Protokol derivatif membutuhkan keyakinan bahwa penyelesaian tidak dapat dibatalkan secara tak terduga.

Hybrid Rollup dapat membantu dengan menggabungkan kinerja optimistis dan peningkatan keamanan berbasis proof.

Namun, pengguna DeFi tetap perlu memeriksa risiko sequencer, oracle, bridge, dan kontrak.

Layer 2 yang lebih cepat tidak otomatis membuat protokol DeFi aman.

Keamanan rollup dan keamanan aplikasi sama-sama harus kuat.

Hybrid Rollup dan Gaming

Game blockchain juga dapat memperoleh manfaat dari Hybrid Rollup.

Game sering membutuhkan banyak transaksi berbiaya rendah untuk tindakan seperti transfer item, reward, upgrade, listing marketplace, dan interaksi pemain.

Membuat ZK proof penuh untuk setiap tindakan dapat mahal jika volume transaksi game tinggi.

Model optimistis murni mungkin efisien, tetapi dapat memperlambat penyelesaian final untuk penarikan dan transfer aset.

Hybrid Rollup dapat memungkinkan interaksi game berlangsung cepat, sembari menggunakan ZK proof untuk penyelesaian, sengketa, atau perpindahan aset penting.

Hal ini dapat membuat game on-chain lebih praktis tanpa memaksakan setiap interaksi ke base layer yang padat.

Namun, pengguna game tetap membutuhkan keamanan wallet, kejelasan kepemilikan aset, dan jalur bridge yang andal.

Jika chain game memiliki ketersediaan data yang lemah atau kontrol terpusat, aset pengguna dapat berisiko.

Infrastruktur gaming Hybrid Rollup sebaiknya menjelaskan cara melindungi item, token, dan proses keluar.

Biaya rendah memang berguna, tetapi keamanan aset tetap penting.

Hybrid Rollup dan Penggunaan Perusahaan

Aplikasi blockchain perusahaan dapat menggunakan konsep Hybrid Rollup saat membutuhkan perpaduan kinerja, privasi, dan kepastian penyelesaian.

Bisnis mungkin menginginkan throughput tinggi untuk transaksi internal atau transaksi dengan mitra.

Mereka mungkin juga menginginkan penyelesaian berbasis proof agar dapat diaudit.

Hybrid Rollup dapat mendukung desain yang memproses sebagian besar aktivitas secara efisien, sementara transisi state penting dibuktikan atau diselesaikan dengan jaminan yang lebih kuat.

Hal ini dapat berguna untuk catatan rantai pasok, alur kerja keuangan, sistem identitas, program loyalitas, atau operasi aset tokenisasi.

Namun, kasus penggunaan perusahaan sering menambahkan persyaratan izin akses, kepatuhan, privasi data, dan tata kelola.

Persyaratan tersebut dapat mengubah asumsi kepercayaan rollup.

Pengguna sebaiknya membedakan Hybrid Rollup publik tanpa izin dari sistem hybrid berizin.

Keduanya dapat menggunakan teknologi rollup, tetapi tingkat keterbukaan dan ketahanan sensornya tidak sama.

Istilah hybrid menjelaskan desain verifikasi, bukan otomatis desentralisasi.

Hybrid Rollup dan Desain Blockchain Modular

Hybrid Rollup merupakan bagian dari gerakan blockchain modular yang lebih luas.

Desain modular memisahkan fungsi blockchain seperti eksekusi, penyelesaian, konsensus, dan ketersediaan data.

Rollup biasanya menangani eksekusi di luar main chain dan menggunakan layer lain untuk penyelesaian atau ketersediaan data.

Hybrid Rollup menambahkan modularitas pada verifikasi karena dapat menggabungkan sistem proof optimistis dan berbasis validity.

Modularitas ini dapat meningkatkan fleksibilitas.

Satu sistem dapat memilih kapan menggunakan asumsi optimistis dan kapan menggunakan ZK proof.

Sistem lain dapat memilih layer ketersediaan data atau jadwal proof yang berbeda.

Manfaatnya adalah kemampuan untuk menyesuaikan desain.

Risikonya adalah kompleksitas.

Pengguna dan developer membutuhkan dokumentasi yang jelas untuk memahami tanggung jawab setiap layer terhadap properti keamanan tertentu.

Hybrid Rollup dan Sistem Multi-Proof

Hybrid Rollup dapat dipahami sebagai salah satu jenis sistem multi-proof.

Sistem multi-proof menggunakan lebih dari satu mekanisme untuk memverifikasi transisi state atau melindungi pengguna.

Satu jalur proof dapat bersifat optimistis.

Jalur proof lainnya dapat berbasis zero-knowledge.

Jalur lain dapat melibatkan tata kelola darurat atau mekanisme keluar.

Tujuannya adalah agar sistem tidak sepenuhnya bergantung pada satu mekanisme.

Misalnya, eksekusi optimistis dapat menjaga biaya normal tetap rendah, sementara ZK proof dapat memberikan bukti yang lebih kuat saat terjadi sengketa.

Jika dirancang dengan benar, hal ini dapat membuat sistem lebih tangguh.

Namun, jalur proof yang lebih banyak juga dapat menambah titik kegagalan.

Sistem multi-proof perlu diaudit dengan cermat karena interaksi antarjalur proof bisa sama pentingnya dengan setiap jalur itu sendiri.

Cara Mengevaluasi Hybrid Rollup

Langkah pertama adalah menanyakan apa yang membuat rollup tersebut bersifat hybrid.

Beberapa sistem menggabungkan fraud proof optimistis dengan validity proof ZK.

Beberapa sistem menggabungkan ZK proof dengan trusted execution environment atau sistem verifikasi alternatif.

Beberapa sistem hanya menggunakan istilah hybrid untuk menjelaskan desain ketersediaan data atau penyelesaian.

Langkah kedua adalah memeriksa apakah sistem proof sudah aktif atau baru direncanakan.

Langkah ketiga adalah memeriksa apakah rollup mengizinkan challenge tanpa izin.

Langkah keempat adalah memeriksa apakah data transaksi tersedia bagi watcher independen.

Langkah kelima adalah memeriksa aturan penarikan dan waktu finalitas.

Langkah keenam adalah meninjau audit kontrak bridge, kontrak verifier, dan perangkat lunak node rollup.

Langkah ketujuh adalah memeriksa tata kelola dan kontrol upgrade.

Langkah kedelapan adalah memeriksa desentralisasi sequencer dan opsi pemrosesan paksa.

Langkah kesembilan adalah membandingkan klaim proyek dengan analisis risiko independen yang tersedia.

Langkah kesepuluh adalah menguji sistem dengan dana kecil sebelum mengandalkannya untuk nilai yang lebih besar.

Kesalahpahaman Umum tentang Hybrid Rollup

Salah satu kesalahpahaman umum adalah bahwa Hybrid Rollup otomatis lebih aman daripada setiap optimistic rollup atau ZK-rollup.

Anggapan tersebut tidak benar karena keamanan bergantung pada implementasi, ketersediaan data, tata kelola, dan kematangan sistem proof.

Kesalahpahaman lainnya adalah bahwa setiap batch Hybrid Rollup dibuktikan dengan ZK proof.

Banyak desain Hybrid Rollup menggunakan ZK proof secara selektif, bukan terus-menerus.

Kesalahpahaman ketiga adalah bahwa finalitas yang lebih cepat dijamin.

Finalitas yang lebih cepat bergantung pada apakah sistem proof sudah aktif, diterima secara on-chain, dan terintegrasi dengan proses penarikan.

Kesalahpahaman keempat adalah bahwa Hybrid Rollup menghilangkan kebutuhan akan watcher.

Jika sistem masih menggunakan asumsi optimistis, watcher atau challenger mungkin tetap penting.

Kesalahpahaman kelima adalah bahwa hybrid merupakan label protokol formal.

Dalam praktiknya, istilah ini digunakan secara fleksibel sehingga pengguna perlu membaca arsitektur yang sebenarnya.

Praktik Terbaik bagi Pengguna

Pengguna sebaiknya memastikan apakah Hybrid Rollup memiliki sistem proof aktif sebelum mengandalkan klaim keamanan berbasis proof.

Mereka sebaiknya membaca dokumentasi resmi mengenai penarikan, periode challenge, dan finalitas.

Mereka sebaiknya memeriksa apakah bridge diamankan oleh fraud proof, validity proof, kontrol admin, atau kombinasi mekanisme tersebut.

Mereka sebaiknya tidak berasumsi bahwa antarmuka yang lancar berarti sistem sepenuhnya terdesentralisasi.

Mereka sebaiknya memeriksa apakah penarikan paksa atau penyertaan transaksi paksa tersedia.

Mereka sebaiknya meninjau asumsi ketersediaan data sebelum melakukan deposit dalam jumlah besar.

Mereka sebaiknya memantau status jaringan selama upgrade atau perubahan sistem proof.

Mereka sebaiknya menggunakan transfer percobaan dalam jumlah kecil saat pertama kali menggunakan bridge.

Mereka sebaiknya menyimpan gas yang cukup di rollup dan layer penyelesaian agar dapat keluar jika diperlukan.

Mereka sebaiknya menganggap Hybrid Rollup sebagai infrastruktur tingkat lanjut yang tetap memiliki risiko smart contract dan operasional.

Praktik Terbaik bagi Developer

Developer sebaiknya mendokumentasikan dengan jelas bagian sistem mana yang bersifat optimistis dan bagian mana yang menggunakan ZK proof.

Mereka sebaiknya tidak menggunakan istilah hybrid sebagai label pemasaran yang samar.

Mereka sebaiknya menerbitkan aturan challenge, persyaratan proof, alamat kontrak verifier, dan waktu penarikan.

Mereka sebaiknya merancang akses bagi challenger agar peserta yang jujur dapat secara realistis menyengketakan state yang tidak valid.

Mereka sebaiknya menjelaskan asumsi ketersediaan data secara terbuka.

Mereka sebaiknya mengaudit kontrak bridge, kontrak verifier, mekanisme upgrade, dan perangkat lunak node rollup.

Mereka sebaiknya membuat sistem pemantauan untuk downtime sequencer, keterlambatan pengiriman batch, kegagalan proof, dan masalah bridge.

Mereka sebaiknya menerapkan peluncuran bertahap sebelum menangani deposit pengguna dalam jumlah besar.

Mereka sebaiknya membuat antarmuka pengguna yang membedakan dengan jelas status tertunda, terkonfirmasi, disengketakan, terbukti, dan final.

Mereka sebaiknya ingat bahwa kompleksitas Hybrid Rollup perlu dijelaskan dengan bahasa yang aman dan mudah dipahami pengguna.

FAQ

Apa itu Hybrid Rollup?

Hybrid Rollup adalah desain skalabilitas Layer 2 yang menggabungkan asumsi optimistic rollup dengan mekanisme zero-knowledge proof atau validity proof.

Apakah Hybrid Rollup sama dengan optimistic rollup?

Tidak. Hybrid Rollup mungkin menggunakan eksekusi optimistis, tetapi juga menambahkan lapisan verifikasi lain seperti ZK proof.

Apakah Hybrid Rollup sama dengan ZK-rollup?

Tidak. Hybrid Rollup mungkin menggunakan ZK proof, tetapi tidak selalu menghasilkan validity proof untuk setiap batch seperti ZK-rollup pada umumnya.

Mengapa Hybrid Rollup menggunakan metode optimistis dan ZK sekaligus?

Kedua metode digunakan untuk menggabungkan biaya operasi normal yang lebih rendah dengan penyelesaian sengketa berbasis proof yang lebih kuat atau lebih cepat.

Apakah waktu penarikan Hybrid Rollup lebih singkat?

Waktu penarikan mungkin lebih singkat jika mekanisme sengketa atau finalitas berbasis ZK proof telah aktif dan diterima oleh kontrak penyelesaian.

Apakah Hybrid Rollup lebih aman daripada rollup biasa?

Hybrid Rollup dapat meningkatkan aspek keamanan tertentu, tetapi keamanannya bergantung pada implementasi, sistem proof, ketersediaan data, tata kelola, dan desain bridge.

Apa manfaat utama Hybrid Rollup?

Manfaat utamanya adalah menggabungkan efisiensi optimistic rollup dengan kekuatan verifikasi ZK-rollup.

Apa risiko terbesar Hybrid Rollup?

Risiko terbesarnya adalah kompleksitas karena sistem harus menggabungkan sequencing, ketersediaan data, fraud proof, validity proof, bridge, dan tata kelola secara aman.

Apakah Hybrid Rollup membutuhkan ketersediaan data?

Ya. Ketersediaan data tetap penting karena pengguna dan challenger membutuhkan akses ke data transaksi untuk memverifikasi state dan melindungi proses keluar.

Apakah Hybrid Rollup dapat mendukung DeFi?

Ya. Hybrid Rollup dapat mendukung DeFi, tetapi pengguna DeFi tetap perlu mengevaluasi keamanan bridge, finalitas, risiko sequencer, risiko oracle, dan risiko kontrak aplikasi.

Apakah Hybrid Rollup sudah aktif atau masih eksperimental?

Beberapa komponen dan implementasi Hybrid Rollup sudah aktif atau sedang dikembangkan secara intensif, tetapi pengguna sebaiknya memeriksa status sistem proof dan pengungkapan risiko terbaru dari setiap proyek.

Bagaimana pemula sebaiknya memahami Hybrid Rollup?

Pemula dapat menganggap Hybrid Rollup sebagai rollup yang berjalan secara efisien seperti optimistic rollup hampir sepanjang waktu, tetapi dapat menggunakan ZK proof untuk memperkuat verifikasi saat diperlukan.

Kesimpulan

Hybrid Rollup adalah desain skalabilitas Layer 2 tingkat lanjut yang menggabungkan ide optimistic rollup dan zero-knowledge rollup.

Desain ini biasanya mempertahankan eksekusi optimistis demi efisiensi, sembari menambahkan teknologi ZK proof untuk verifikasi yang lebih kuat, penyelesaian sengketa yang lebih cepat, atau finalitas penarikan yang lebih baik.

Desain ini penting karena optimistic rollup dan ZK-rollup masing-masing memiliki kelebihan dan kekurangan.

Optimistic rollup dapat lebih murah dan lebih kompatibel dengan eksekusi bergaya Ethereum, tetapi sering membutuhkan periode challenge.

ZK-rollup dapat memberikan finalitas berbasis proof yang lebih kuat, tetapi pembuktian komputasi kompleks dapat mahal dan sulit.

Hybrid Rollup berupaya mengurangi kompromi tersebut dengan menggunakan setiap metode pada saat yang paling sesuai.

Namun, desain hybrid tidak otomatis berarti keamanannya sempurna.

Rollup tetap bergantung pada ketersediaan data, ketepatan sistem proof, kontrak bridge, perilaku sequencer, akses watcher, kontrol tata kelola, dan praktik keamanan pengguna.

Istilah Hybrid Rollup juga digunakan secara fleksibel, sehingga pengguna sebaiknya selalu menanyakan bagian mana dalam sistem yang sebenarnya bersifat hybrid.

Hybrid Rollup yang nyata seharusnya menjelaskan dengan jelas kapan asumsi optimistis berlaku, kapan ZK proof dibuat, bagaimana challenge bekerja, dan bagaimana penarikan menjadi final.

Bagi pengguna, Hybrid Rollup dapat menawarkan biaya lebih rendah, finalitas lebih baik, dan pengalaman Layer 2 yang lebih lancar jika diterapkan dengan baik.

Bagi developer, desain ini menawarkan jalur untuk membangun aplikasi yang skalabel dengan menyeimbangkan kompatibilitas, biaya, dan keamanan.

Cara paling aman untuk memahami Hybrid Rollup adalah dengan tidak menganggapnya sebagai sekadar buzzword.

Istilah ini merujuk pada pilihan desain tertentu yang harus dinilai berdasarkan arsitektur, implementasi, transparansi, dan jaminan keamanan nyata.