Foresight Ventures: Rollup Ethereum seperti apa yang kita inginkan?

Penulis asli: Maggie-Foresight Ventures

Selamat siang semuanya dan selamat datang. Nama saya Maggie dan saya Direktur Teknis di Foresight Ventures. Hari ini kita akan menghabiskan 30 menit untuk membicarakan “Ethereum Rollup seperti apa yang kita inginkan?”

Sekarang, saya ingin memperkenalkan secara singkat perusahaan kami.

• Foresight Ventures adalah lembaga investasi berbasis penelitian yang berfokus pada teknologi blockchain dan industri Kripto. Matriks produk kami mencakup beberapa komponen utama.
• Foresight News adalah platform media web3 multibahasa terbesar di kawasan Asia-Pasifik.
• Kami juga menjalankan Foresight X, sebuah akselerator yang memberikan dukungan khusus untuk startup Crypto dan membangun komunitas pengembang Web3 global yang berkembang dalam prosesnya.

Jika Anda ingin tahu lebih banyak tentang kami, silakan kunjungi situs web resmi kami atau terhubung dengan kami di saluran media sosial.

Mari kita beralih ke agenda hari ini.

Pertama, mari kita tinjau kontroversi baru-baru ini mengenai “apa itu Ethereum L2” dan Rollups.

Setelah itu, kita akan membahas “Ethereum Rollup seperti apa yang bisa kita harapkan?”

1. Kontroversi tentang "Apa itu Ethereum L2"

Bulan lalu, Dankrad mentweet: “Jika tidak menggunakan Ethereum sebagai Lapisan Ketersediaan Data (DA), itu bukan Rollup Ethereum, dan oleh karena itu bukan L2 Ethereum.” Dia juga mengatakan bahwa saluran Plasma dan negara dipertimbangkan L2, tapi Validium tidak.

Setelah Dankrad mempublikasikan pendapatnya, banyak pembangun dan peneliti di bidang L2 mulai mempertanyakannya. Ada banyak proyek L2 yang tidak menggunakan Ethereum sebagai lapisan ketersediaan data untuk menghemat biaya. Jika proyek-proyek tersebut tidak masuk dalam daftar L2, maka akan berdampak signifikan terhadap proyek perluasan jaringan tersebut. Selain itu, beberapa orang berpendapat bahwa jika Validium tidak dihitung sebagai L2, maka Plasma juga tidak dihitung.

Jadi, jika Anda menggali lebih dalam dokumentasi Ethereum, Anda mungkin memperhatikan bahwa mereka tidak mengetahui dengan jelas apakah Validium adalah platform L2. Namun mereka menyebutkan bahwa Validium lebih aman dibandingkan Plasma karena menggunakan bukti validitas. Hal ini tampaknya bertentangan dengan sudut pandang Dankred, yang percaya bahwa Plasma lebih aman daripada Validium dari beberapa sudut pandang, karena pengguna dapat keluar menggunakan keadaan sebelumnya, yang tidak dapat didukung oleh Validium.

Jadi, belum ada jawaban pasti apakah Plasma dan Validium harus dimasukkan ke dalam L2.

Namun, L 2B EAT telah menerapkan filter “show only Rollup” di situs webnya, memungkinkan pengguna untuk menyaring semua proyek yang tidak menggunakan Ethereum sebagai lapisan DA.

Perdebatan tentang L2 dan Rollup lebih dari itu. Kami juga mendengar banyak pendapat berbeda, seperti "Ketersediaan data adalah istilah yang membingungkan, Penerbitan data lebih baik", "Classic Rollup juga merupakan Sovereign Rollup", "Sovereign Rollup sama sekali bukan Rollup" dan seterusnya.

Jadi, daripada terpaku pada definisi tersebut, mari kita fokus pada topik yang lebih bermakna, Ethereum L2 seperti apa yang kita inginkan? **

2. Ethereum Rollup seperti apa yang kita inginkan?

Menurut definisinya, Layer 2 adalah blockchain independen yang memperluas Ethereum dan mewarisi jaminan keamanan Ethereum.

Masalah keamanan Ethereum Rollup telah diremehkan. Kami berharap Rollup akan meningkatkan keamanan dan akan ada lebih banyak blockchain modular yang disesuaikan untuk aplikasi.

Berikut adalah fitur yang ingin kami miliki dalam solusi Layer 2:

1. Pertama, Kami ingin L2 dapat memperluas Ethereum, yang berarti L2 harus memiliki jembatan verifikasi ke Ethereum, memungkinkan pengguna untuk mentransfer aset antara L2 dan Ethereum dan menerima keamanan dari Ethereum. Misalnya, saya dapat menggunakan ETH saya di Arbitrum L2 untuk transaksi tertentu dengan biaya yang relatif rendah dengan tetap menjaga keamanan Ethereum.
2. Kedua, kami berharap L2 dapat mencapai keamanan ultra-tinggi dengan mewarisi keamanan Ethereum.

• Pertama-tama, kami berharap L2 dapat mewarisi keamanan Ethereum. Cara terbaik untuk mencapai hal ini adalah dengan menggunakan Ethereum sebagai lapisan ketersediaan data (DA), yang bertindak sebagai Rollup untuk Ethereum. Idealnya, kami ingin menjadikan node L2 sebagai node yang tidak dapat dipercaya dan hanya perlu mempercayai Ethereum untuk sepenuhnya menjamin keamanan Rollup.
• Kedua, kami berharap Rollup dapat mewarisi aktivitas Ethereum. Pengguna harus dapat menjalankan Rollup sendiri meskipun node Rollup tidak berfungsi, atau setidaknya memiliki cara untuk keluar dari L2 dan mendapatkan dana kembali ke L1.
• Selain itu, kami juga berharap Rollup dapat mewarisi ketahanan desentralisasi dan sensor Ethereum.

2.1 Mewarisi keamanan Ethereum

Untuk mewarisi keamanan Ethereum (ETH) dengan lebih baik, Ethereum harus digunakan tidak hanya untuk ketersediaan data dan pemesanan transaksi, tetapi juga untuk penyelesaian. Lapisan Rollup bertanggung jawab untuk mengeksekusi transaksi dan melakukan transisi keadaan. Penyelesaian di Ethereum melalui bukti penipuan atau bukti validitas.

Seperti yang Anda lihat pada diagram, peran node Rollup dapat dibagi menjadi 2-3 jenis berbeda: Sequencer, Proposer, dan ZK Prover.

• Sequencer memainkan peran penting dalam Rollup, yang mengemas transaksi dan mengirimkannya ke jaringan Ethereum, menggunakan Ethereum untuk memastikan ketersediaan data dan urutan transaksi.
• Pada saat yang sama, Pengusul mengeksekusi transaksi ini dan menghasilkan status terbaru dari Rollup, lalu mengirimkan akar Merkle dari status baru tersebut ke Ethereum. Jika ini merupakan rollup optimis dan tidak ada yang memulai tantangan dalam waktu yang ditentukan, root status akan diterima dan transaksi akan dikonfirmasi.
• Dalam kasus ZK Rollup, pembuktian menghasilkan bukti tanpa pengetahuan untuk membuktikan validitas akar status. Setelah ZKP dikirimkan dan dikonfirmasi di Ethereum, transaksi juga akan dikonfirmasi.

Oleh karena itu, setelah semua data ini telah dikomit dan dikonfirmasi di Ethereum, pembatalan transaksi Rollup memerlukan pembatalan Ethereum, sehingga mewarisi jaminan keamanan Ethereum. Selain itu, ketiga peran ini terkadang dimainkan oleh node yang sama. Dalam beberapa protokol, seperti Optimisme, Sequencer mengirimkan kumpulan transaksi dan akar status Merkle secara bersamaan.

Masalah terkait keamanan lainnya adalah verifikasi status Rollup. Seperti disebutkan sebelumnya, Rollup optimis menggunakan bukti penipuan, sedangkan ZK Rollup menggunakan bukti validitas, seperti bukti tanpa pengetahuan.

• Keuntungan menggunakan bukti penipuan (seperti Optimisme dan Arbitrum) adalah Rollup dapat setara dengan Ethereum Virtual Machine (EVM). Namun, pengguna harus memverifikasi rantai untuk melindungi dana mereka, dan konfirmasi akhir transaksi lebih lambat karena periode tantangan yang panjang sekitar 7 hari.
• ZK Rollup, seperti Starknet, zkSync, Scroll, dan Polygon zkEVM, memberikan keamanan yang lebih kuat dengan menggunakan bukti tanpa pengetahuan untuk membuktikan bahwa status dihitung dengan benar. Setelah ZKP terverifikasi di L1, transaksi akan segera selesai. Ini hanya membutuhkan waktu beberapa menit atau paling lama beberapa jam, jauh lebih cepat daripada rollup optimis. Namun, ZK Rollup biasanya tidak sepenuhnya setara dengan EVM.

**Dari perspektif keamanan, bukti tanpa pengetahuan bekerja lebih baik. Mereka mengandalkan mekanisme kriptografi yang tidak dapat dipercaya untuk verifikasi negara, daripada mengandalkan kejujuran peserta yang diberi insentif seperti rollup yang optimis. **Tetapi biaya transaksi mungkin lebih tinggi dan tidak setara dengan EVM. Oleh karena itu, pemilihan mana yang akan digunakan bergantung pada tujuan jaringan.

Dalam beberapa kasus, pendekatan hibrid dapat menggabungkan fitur kedua Rollup. Sebuah proyek baru bernama Morphism menggunakan bukti validitas ZK untuk merespons tantangan dalam desain rollup optimis, yang dapat mengurangi jangka waktu tantangan dari 7 hari menjadi 1 hari dan mengurangi biaya DA. Tumpukan OP juga mengeksplorasi penggunaan ZKP untuk membuktikan program yang salah Optimisme.

Namun, ada kekhawatiran keamanan yang besar terkait skalabilitas Rollup. Ketika Rollup memerlukan perbaikan bug yang mendesak atau perlu ditingkatkan untuk mendukung fitur baru, terkadang kontrak pintar Rollup di Ethereum perlu ditingkatkan. Oleh karena itu, siapa yang mengendalikan kontrak pintar ini sangatlah penting.

• Bagi banyak rollup, kunci untuk mengontrol peningkatan dipegang oleh anggota tim inti. Secara teori, anggota ini memiliki kemampuan untuk mencuri dana pengguna melalui penggunaan mekanisme eskalasi. Seperti yang dikatakan Vitalic, ini seperti “pintu belakang” bagi pengembang.
• Untuk menghindari masalah ini, kemampuan upgrade dapat dinonaktifkan. Misalnya, Fuel V1 menonaktifkan kemampuan peningkatan, namun setiap iterasi pembaruan memerlukan kontrak pintar untuk diterapkan ulang, dan pengguna perlu memigrasikan aset mereka ke versi baru secara manual. Proses ini mirip dengan memulai proyek baru, sehingga mengakibatkan likuiditas terfragmentasi dan fleksibilitas berkurang secara signifikan.
• **Pendekatan yang lebih baik adalah dengan menggunakan DAO untuk peningkatan tata kelola dan menetapkan penundaan agar pengguna yang tidak setuju dengan peningkatan dapat keluar sebelum peningkatan terjadi. **Ini menambahkan beberapa asumsi keamanan DAO ke Rollup, seperti asumsi mayoritas yang jujur.

**Secara umum, untuk mewarisi keamanan Ethereum, kami menyarankan Rollup menggunakan Ethereum untuk ketersediaan data, pemesanan transaksi, dan penyelesaian. Untuk verifikasi negara, menggunakan bukti tanpa pengetahuan lebih dapat diandalkan. Jika kita ingin mendukung kemampuan upgrade, lebih baik menggunakan DAO untuk mengelola upgrade dan memberi pengguna waktu yang cukup (misalnya 30 hari) untuk keluar. **

2.2 Mewarisi kelangsungan hidup Ethereum

Sekarang, mari kita bahas tentang cara mewarisi keaktifan dari Ethereum.

Kami berharap meskipun serializer dan pengusul saat ini mati, dengan bantuan mainnet Ethereum, pengguna masih dapat membuat ulang status L2 dan tetap menjalankan Rollup, atau setidaknya akan ada cara bagi pengguna untuk keluar tanpa kepercayaan.

1. Namun, kami menemukan bahwa banyak Rollup yang ada sejauh ini tidak memiliki mekanisme ini, seperti Optimisme, zkSync Era, dan Base. Jadi jika ini terjadi, Rollup akan berhenti berjalan dan semua orang akan kehilangan dananya di L2.
2. Beberapa rollup memungkinkan pengguna untuk keluar secara paksa dan menarik dana mereka di L1 dengan mengirimkan bukti Merkle atau bukti dana ZK di L2.

• Namun beberapa Rollup tidak mengizinkan Anda untuk menarik aset kecuali agunan, yang berarti aset lokal L2 Anda tidak dapat ditarik. Jika Anda menukarkan jaminan Anda dengan token NFT atau LP, Anda mungkin tidak bisa mendapatkannya kembali di Ethereum L1.
• Rollup seperti dYdX memungkinkan Anda menerapkan konversi aset asli L2 menjadi jaminan dan kemudian menariknya di L1.
• Beberapa Rollup juga mendukung ekstraksi NFT ke L1.

• Solusi yang lebih baik adalah mengizinkan pengguna juga menjadi Pengurut dan Pengusul agar Rollup tetap berjalan. Misalnya, Polygon zkEVM menggunakan Sequencer bebas lisensi. Arbitrum memungkinkan pengguna untuk memaksa transaksi dimasukkan dalam rollup dengan mengirimkannya ke L1 (ada penundaan satu hari untuk operasi ini). Selain itu, siapa pun dapat menjadi pengusul setelah Pengusul yang masuk daftar putih saat ini tidak aktif selama 6 hari berturut-turut.

Faktanya, aktivitas juga berkaitan dengan derajat desentralisasi. Jika node Rollup lebih terdesentralisasi dan tahan sensor, Rollup akan memiliki aktivitas yang lebih baik.

**Oleh karena itu, untuk meningkatkan kelangsungan hidup Rollup, kami merekomendasikan node terdesentralisasi yang memungkinkan pengguna untuk memesan dan mengusulkan transaksi sendiri jika terjadi kegagalan. **

2.3 Mewarisi resistensi desentralisasi dan sensor Ethereum

Penelitian desentralisasi Rollup terutama berfokus pada Sequencer terdesentralisasi.

• Saat ini, hampir semua jaringan Rollup hanya menggunakan sequencer terpusat. Sequencer memiliki kemampuan untuk menolak transaksi pengguna dan mengekstrak MEV secara jahat, yang dapat merugikan pengguna secara finansial. Selain itu, penggunaan sequencer tunggal tidak memiliki ketahanan sensor.
• Oleh karena itu, salah satu metode menjanjikan yang sedang dijajaki Rollup untuk mengimplementasikan rangkaian desentralisasi adalah rangkaian desentralisasi PoS tanpa izin. Metode ini digunakan dalam Morphism Rollup, di mana sequencer dipilih berdasarkan aturan POS dan menjalankan algoritma konsensus berbasis BFT untuk mencapai konsensus pada batch transaksi. Beberapa rollup lainnya mencoba menggunakan metode pemilihan pemimpin untuk memilih sequencer pemimpin setiap zaman.
• Cara lainnya adalah melalui lelang MEV. Di setiap epoch, peserta menawar berdasarkan keuntungan yang mereka harapkan dari biaya transaksi dan MEV yang dapat mereka tarik sebagai sequencer. Pemenang membayar jumlah penawaran mereka ke perbendaharaan Rollup dan menerima hak untuk memesan perdagangan dan mendapatkan semua keuntungan selama jangka waktu tersebut. *Bukti Efisiensi Polygon adalah pendekatan lain di mana siapa pun dapat menjadi sequencer atau agregator. Sequencer memerlukan biaya tambahan untuk mencegah serangan spam saat mengusulkan kumpulan transaksi ke Ethereum L1. Agregator memverifikasi transaksi batch yang dikeluarkan oleh sequencer. Agregator pertama yang menyerahkan sertifikat validitas akan menerima token yang disimpan oleh sequencer. Namun, sumber daya komputasi agregator yang tertinggal mungkin terbuang percuma.
• Dalam metode sequencer bersama, sekelompok node menyediakan layanan pengurutan ke beberapa Rollup. Rollup terhubung ke jaringan sequencer bersama untuk menangani pemesanan transaksi dan pembuatan blok. Kumpulan sequencer bersama terdesentralisasi (mereka menjalankan protokol konsensus untuk menyetujui transaksi dan mengirimkan kumpulan transaksi)

Semua teknologi untuk sequencer terdesentralisasi ini masih dalam tahap awal dan terus berkembang. Oleh karena itu, kami hanya dapat memberikan penilaian netral saat ini.

Pembukti ZKP dapat terdesentralisasi dan tanpa izin seperti Proof-of-Efficiency Polygon karena mereka tidak dapat melakukan MEV dan sulit untuk berperilaku jahat.

**Singkatnya, kita memerlukan serializer dan pembukti yang terdesentralisasi untuk meningkatkan ketahanan desentralisasi dan sensor Rollup. **

Selain masalah keamanan, ada banyak faktor lain yang perlu dipertimbangkan. Berikut beberapa pertanyaan terkait:

• Bagaimana cara menyeimbangkan insentif sequencer dan ZKP Prover?

Sequencer dapat mengeksekusi MEV, tetapi pembukti tidak bisa. Mekanisme ini membuat masyarakat semakin bersedia menjadi serializer. Namun, kita sebenarnya membutuhkan lebih banyak pembukti daripada sequencer karena menghasilkan bukti tanpa pengetahuan memerlukan lebih banyak daya komputasi daripada mengemas transaksi. Lantas, bagaimana cara menyeimbangkan insentif di antara keduanya? Saya pikir kita perlu merancang model biaya dinamis dan model insentif yang cerdas.

• Setelah pemutakhiran EIP 4844, Rollup akan menggunakan blob untuk menyimpan data, dan data blob hanya disimpan di Ethereum selama 1-3 bulan, jadi apakah ini akan memengaruhi Rollup?

Jawaban saya ya, menurut saya dampaknya kecil saja, tapi bisa diperbaiki dengan mudah. Data historis Rollup dapat diunggah ke penyimpanan terdesentralisasi untuk pengarsipan. Jika semua node Rollup menjadi offline (terutama dalam situasi serializer tunggal saat ini), pengguna perlu mengunduh data historis dari sistem penyimpanan terdesentralisasi dan menggabungkannya dengan data blob dari Ethereum L1 untuk merekonstruksi status.

• Bagaimana cara mengurangi biaya transaksi Rollup?

Saat merancang Rollup, ada banyak trade-off antara keamanan, desentralisasi, dan efektivitas biaya. Misalnya, kami menggunakan ZKP untuk memverifikasi status guna meningkatkan keamanan, namun hal ini memerlukan lebih banyak daya komputasi dan juga membuat transaksi menjadi lebih mahal. Ini adalah trade-off antara keamanan dan biaya. Beberapa ZK Rollup menggunakan bukti rekursif untuk menggabungkan ZKP untuk beberapa kumpulan transaksi dan kemudian mengirimkan bukti gabungan tersebut ke L1. Hal ini dapat menghemat biaya bahan bakar di Ethereum dan mengurangi biaya transaksi L2, namun juga akan memperpanjang waktu konfirmasi akhir transaksi.

Ringkaslah

Ringkasnya, kembali ke pertanyaan awal kita, Ethereum Rollup seperti apa yang kita inginkan?

• Pertama-tama, kami berharap Rollup tidak hanya mewarisi keamanan Ethereum, tetapi juga ketahanannya, desentralisasi, dan ketahanan terhadap sensor.
• Dalam praktiknya, sangat sulit untuk membuat L2 Rollup yang tidak memperkenalkan asumsi kepercayaan tambahan, karena kemampuan upgrade, serializer terdesentralisasi, dan pengaturan tepercaya yang tidak memiliki pengetahuan dan bukti semuanya mungkin melibatkan asumsi kepercayaan tambahan. Tidak dapat dikatakan bahwa L2 Rollup sepenuhnya mewarisi keamanan ETH tanpa mempercayai node L2 Rollup mana pun.
• Untuk keamanan yang lebih baik. **Peningkatan kontrak pintar L1 Rollup harus diatur oleh DAO, dengan penundaan yang ditetapkan untuk memberikan cukup waktu bagi pengguna untuk keluar jika mereka tidak menyetujui peningkatan tersebut. **Namun, pendekatan ini juga memasukkan asumsi keamanan DAO ke dalam sistem.
• Terakhir, Jangan gunakan serializer tunggal, tetapi gunakan serializer terdesentralisasi untuk kemampuan bertahan hidup, desentralisasi, dan ketahanan sensor yang lebih baik.

Sebelum saya mengakhiri presentasi saya, saya ingin menekankan bahwa jika ada orang di sini yang memiliki ide-ide hebat dan membutuhkan sumber daya untuk mengimplementasikannya, jangan ragu untuk menghubungi kami di Foresight Ventures.

Selain itu, kami mengundang Anda untuk bergabung dengan program inkubasi Foresight X kami. Kami di sini untuk mendukung dan membina perjalanan kewirausahaan Anda. Dengan pengetahuan industri kami yang mendalam dan sumber daya yang luas, kami akan memastikan proyek Anda berkembang.

Selain itu, jika Anda bekerja di bidang akademis atau penelitian, Foresight X menawarkan hibah kompetitif untuk mendukung jalur penelitian Anda.

Kami juga menyediakan kode QR di sini dengan semua tautan yang mungkin Anda minati, termasuk laporan penelitian. Jangan ragu untuk mengambil foto atau memindai kode untuk informasi lebih lanjut, dan Anda dapat menemukan saya di Twitter jika Anda memiliki pertanyaan setelah sesi ini.

Sekali lagi terima kasih atas waktu Anda; Saya harap Anda semua menikmati diri Anda dan semoga hari Anda menyenangkan.

Untuk merujuk ke konten PPT, silakan klik di sini: 0920).pdf