Kompromi L2 telah rusak, saatnya untuk fondasi baru

Kuartal kedua tahun 2025 telah menjadi pemeriksaan kenyataan untuk skala blockchain, dan saat modal terus mengalir ke rollups dan sidechain, retakan dalam model layer-2 semakin melebar. Janji asli dari L2 adalah sederhana: meningkatkan skala L1, tetapi biaya, penundaan, dan fragmentasi dalam likuiditas dan pengalaman pengguna terus bertambah.

Ringkasan

• L2 dirancang untuk meningkatkan skalabilitas Ethereum, tetapi mereka telah memperkenalkan masalah baru, sambil bergantung pada sequencer terpusat yang dapat menjadi titik kegagalan tunggal.
• Pada dasarnya, L2 menangani urutan dan perhitungan status, menggunakan Rollups Optimis atau ZK untuk menyelesaikan pada L1. Masing-masing memiliki trade-off: finalitas yang lama pada Rollups Optimis dan biaya komputasi yang tinggi pada Rollups ZK.
• Efisiensi masa depan terletak pada pemisahan komputasi dari verifikasi — menggunakan superkomputer terpusat untuk komputasi dan jaringan terdesentralisasi untuk verifikasi paralel, memungkinkan skalabilitas tanpa mengorbankan keamanan.
• Model “total order” dari blockchain sudah ketinggalan zaman; bergerak menuju pemesanan berbasis akun lokal dapat membuka paralelisme besar, mengakhiri “kompromi L2” dan membuka jalan bagi fondasi web3 yang siap skala di masa depan.

Proyek-proyek baru seperti pembayaran stablecoin mulai mempertanyakan paradigma L2, menanyakan apakah L2 benar-benar aman, dan apakah sequencer mereka lebih mirip sebagai titik kegagalan tunggal dan sensor? Seringkali, mereka akan mengambil pandangan pesimistis bahwa mungkin fragmentasi adalah sesuatu yang tak terhindarkan di web3.

Apakah kita membangun masa depan di atas fondasi yang solid atau di atas rumah kartu? L2 harus menghadapi dan menjawab pertanyaan-pertanyaan ini. Lagi pula, jika lapisan konsensus dasar Ethereum yang (ETH) secara inheren cepat, murah, dan dapat diskalakan tanpa batas, seluruh ekosistem L2 seperti yang kita ketahui sekarang akan menjadi redundan. Tak terhitung jumlah rollups dan sidechain yang diusulkan sebagai “penambahan L1” untuk mengurangi batasan fundamental dari L1 yang mendasarinya. Ini adalah bentuk utang teknis, solusi kompleks dan terfragmentasi yang telah dipindahkan kepada pengguna dan pengembang web3.

Dan untuk menjawab pertanyaan-pertanyaan ini, perlu untuk mendekonstruksi seluruh konsep L2 hingga komponen dasarnya, untuk mengungkapkan jalan menuju desain yang lebih kuat dan efisien.

Sebuah anatomi L2s

Struktur menentukan fungsi. Ini adalah prinsip dasar dalam biologi yang juga berlaku dalam sistem komputer. Untuk menentukan struktur dan arsitektur yang tepat dari L2, kita harus memeriksa fungsi-fungsinya dengan cermat.

Pada intinya, setiap L2 menjalankan dua fungsi kritis: Penyusunan, yaitu, mengurutkan transaksi; serta menghitung dan membuktikan keadaan baru. Seorang penyusun, baik entitas terpusat atau jaringan terdesentralisasi, mengumpulkan, mengurutkan, dan mengelompokkan transaksi pengguna. Kelompok ini kemudian dieksekusi, menghasilkan keadaan yang diperbarui (misalnya, saldo token baru). Keadaan ini harus diselesaikan di L1 untuk keamanan melalui Optimistic atau ZK Rollups.

Optimistic Rollups menganggap semua transisi keadaan valid, dan bergantung pada periode tantangan (sering kali 7 hari) di mana siapa pun dapat mengajukan bukti penipuan. Ini menciptakan trade-off UX yang besar, waktu finalitas yang lama. ZK Rollups menggunakan bukti zero-knowledge untuk memverifikasi secara matematis kebenaran setiap transisi keadaan sebelum mencapai L1, memungkinkan finalitas hampir instan. Trade-offnya adalah bahwa mereka intensif secara komputasi dan kompleks untuk dibangun. ZK provers itu sendiri dapat memiliki bug, yang dapat menyebabkan konsekuensi bencana, dan verifikasi formal dari ini, jika memang memungkinkan, sangat mahal.

Urutan adalah pilihan tata kelola dan desain untuk setiap L2. Beberapa lebih memilih solusi terpusat untuk efisiensi (atau mungkin untuk kekuatan sensor itu; siapa yang tahu), sementara yang lain lebih memilih solusi terdesentralisasi untuk lebih banyak keadilan dan ketahanan. Pada akhirnya, L2 memutuskan bagaimana mereka ingin melakukan urutan mereka sendiri.

Generasi dan Verifikasi Klaim Status adalah di mana kita dapat melakukan jauh lebih baik dalam efisiensi. Setelah sekumpulan transaksi disusun, menghitung status berikutnya adalah tugas yang sepenuhnya komputasional, dan itu dapat dilakukan hanya dengan satu superkomputer, yang difokuskan hanya pada kecepatan mentah, tanpa beban desentralisasi sama sekali. Superkomputer itu bahkan dapat dibagikan di antara L2!

Setelah status baru ini diklaim, verifikasinya menjadi proses terpisah yang diparalelkan. Jaringan besar verifier dapat bekerja secara paralel untuk memverifikasi klaim tersebut. Begitulah filosofi di balik klien tanpa status Ethereum dan implementasi berkinerja tinggi seperti MegaETH.

Verifikasi paralel sangat dapat diskalakan tanpa batas

Verifikasi paralel dapat diskalakan tanpa batas. Tidak peduli seberapa cepat L2s ( dan superkomputer itu ) menghasilkan klaim, jaringan verifikasi selalu dapat mengejar dengan menambahkan lebih banyak verifier. Latensi di sini adalah waktu verifikasi yang tepat, sebuah angka tetap, minimal. Ini adalah optimum teoretis dengan menggunakan desentralisasi secara efektif: untuk memverifikasi, bukan untuk menghitung.

Setelah pengurutan dan verifikasi status, pekerjaan L2 hampir selesai. Langkah terakhir adalah menerbitkan status yang telah diverifikasi ke jaringan terdesentralisasi, L1, untuk penyelesaian dan keamanan yang maksimal.

Langkah terakhir ini mengungkap masalah yang jelas: blockchain adalah lapisan penyelesaian yang buruk untuk L2! Pekerjaan komputasi utama dilakukan di luar rantai, namun L2 harus membayar premi besar untuk menyelesaikan di L1. Mereka menghadapi dua beban: throughput L1 yang terbatas, dibebani oleh pengurutan total dan linier dari semua transaksi, menciptakan kemacetan dan biaya tinggi untuk memposting data. Selain itu, mereka harus menanggung keterlambatan finalitas yang melekat pada L1.

Untuk ZK Rollups, ini adalah menit. Untuk Optimistic Rollups, ini diperhitungkan dengan periode tantangan selama seminggu, sebuah kompromi keamanan yang diperlukan namun mahal.

Selamat tinggal, mitos “total order” di web3

Sejak Bitcoin (BTC), orang-orang telah berusaha keras untuk memadatkan semua transaksi dari sebuah blockchain ke dalam satu urutan total. Kita berbicara tentang blockchain setelah semua! Sayangnya, paradigma “urutan total” ini adalah mitos yang mahal dan jelas terlalu berlebihan untuk penyelesaian L2. Betapa ironis, bahwa salah satu jaringan terdesentralisasi terbesar di dunia dan komputer dunia berperilaku seperti desktop dengan satu utas!

Saatnya untuk melanjutkan. Masa depan adalah pemesanan berbasis akun lokal, di mana hanya transaksi yang berinteraksi dengan akun yang sama yang perlu diurutkan, membuka paralelisme besar dan skalabilitas sejati.

Pengurutan global tentu saja menyiratkan pengurutan lokal, tetapi itu juga merupakan solusi yang sangat naif dan sederhana. Setelah 15 tahun “blockchain”, sudah saatnya kita membuka mata dan merancang masa depan yang lebih baik. Domain ilmu sistem terdistribusi telah beralih dari konsep konsistensi kuat tahun 1980-an ( yang diimplementasikan oleh blockchain ) ke model konsistensi akhirnya yang kuat tahun 2015 yang membebaskan paralelisme dan konkurensi. Saatnya industri web3 juga bergerak maju, meninggalkan masa lalu dan mengikuti kemajuan ilmiah yang berorientasi ke depan.

Era kompromi L2 telah berakhir. Saatnya untuk membangun di atas fondasi yang dirancang untuk masa depan, dari mana gelombang berikutnya dari adopsi web3 akan datang.

Xiaohong Chen

Xiaohong Chen adalah Chief Technology Officer di Pi Squared Inc., yang bekerja pada sistem pembayaran dan penyelesaian yang cepat, paralel, dan terdesentralisasi. Minatnya mencakup kebenaran program, pembuktian teorema, solusi ZK yang dapat diskalakan, dan menerapkan teknik-teknik ini ke semua bahasa pemrograman. Xiaohong memperoleh gelar BSc dalam Matematika di Universitas Peking dan gelar PhD dalam Ilmu Komputer di Universitas Illinois Urbana-Champaign.