【Thread Panjang dalam Bahasa Inggris】Lighter × Succinct: Visi Kontrak Berkinerja Tinggi dan Pengurut Bersama yang Didukung ZK

Pembacaan Chainfeeds:

Arsitektur ini menetapkan pembagian tugas yang jelas: L1 (Ethereum) berfungsi sebagai neraca global yang aman, bertanggung jawab atas penyimpanan modal; L2 (Lighter): sebagai lapisan eksekusi berperforma tinggi, bertanggung jawab atas manajemen risiko; Infrastruktur ZK (Succinct): sebagai jaringan dasar kriptografi, menghubungkan keduanya secara terpercaya.

Sumber artikel:

Penulis artikel:

jaehaerys

Pendapat:

jaehaerys: Dalam upaya meningkatkan skalabilitas blockchain, narasi L2 telah lama didominasi oleh metafora bridge. Pengguna yang ingin memasuki lingkungan Rollup dengan throughput tinggi dan biaya rendah harus mengunci aset mereka di L1, lalu mendapatkan aset sintetis yang setara di L2. Namun, model ini menimbulkan masalah baru: fragmentasi likuiditas, serta serangkaian serangan bridge lintas chain yang katastrofik—serangan-serangan ini telah menjadi beberapa kasus kerugian dana terbesar dalam sejarah keuangan terdesentralisasi. Sebagai respons, muncul pendekatan alternatif baru: alih-alih memindahkan aset ke lingkungan komputasi, cukup membawa informasi yang dapat diverifikasi tentang aset ke lingkungan komputasi. Ide ini pertama kali muncul dalam siaran langsung SuccinctLabs, ketika pendiri Gauntlet, Tarun Chitra, memikirkan masa depan sistem ZK dan menyatakan bahwa protokol ZK dapat membuat migrasi aset menjadi lebih alami dan efisien. Aset dapat tetap terkunci di mainnet Ethereum (L1), namun melalui zero-knowledge proof (ZKP), utilitasnya dapat diverifikasi secara aman di L2 dan digunakan sebagai jaminan. Dengan demikian, lokasi dan fungsi modal dipisahkan: aset tetap berada di lingkungan paling aman, L1, sementara nilainya diproyeksikan ke L2 berperforma tinggi, sehingga secara signifikan meningkatkan efisiensi modal. Misalnya, posisi stETH atau Morpho Vault milik pengguna dapat terus menghasilkan pendapatan di L1, sementara bukti nilainya digunakan sebagai jaminan leverage di L2. Model ini tidak hanya mengurangi risiko lintas chain, tetapi juga mendorong komposabilitas lintas layer dan interoperabilitas yang aman. Model ini bergantung pada kombinasi Lighter dan Succinct. Lighter adalah decentralized perpetual contract exchange (Perp DEX) berbasis central limit order book (CLOB), dengan arsitektur inti yang memilih menggunakan sirkuit zk khusus, bukan zkVM atau zkEVM umum. Desain ini membuat sistem kriptonya dioptimalkan khusus untuk matching, risk engine, dan logika likuidasi, sehingga sangat efisien dalam memverifikasi fungsi trading tertentu, menghindari bottleneck bukti umum yang mahal dan lambat. Di sisi lain, Succinct menyediakan SP1 zkVM—sebuah virtual machine berbasis RISC-V yang mendukung ekosistem Rust penuh, mampu mengkodekan logika aplikasi kompleks secara efisien, seperti metode valuasi DeFi Vault atau mesin likuidasi. Selain itu, Succinct juga mengoperasikan jaringan pembuktian terdesentralisasi (SPN), yaitu pasar pembangkitan bukti kompetitif yang didukung GPU, FPGA, bahkan ASIC di masa depan, yang dapat menghasilkan bukti yang dibutuhkan dengan cepat dan biaya rendah. Setelah keduanya digabungkan, pengguna dapat menggunakan aset produktif di L1 untuk trading leverage di L2 tanpa mengorbankan hasil. Misalnya, pengguna terus memperoleh bunga dari Morpho Vault di L1, sementara bukti nilai aset tersebut digunakan sebagai margin untuk trading perpetual di L2. Lebih jauh lagi, arsitektur ini juga dapat mendukung tokenisasi strategi L2 yang kompleks, sehingga dapat beredar di L1 dalam bentuk aset standar, seperti native 3x ETH leverage token, yang dapat digunakan dalam aplikasi seperti Aave lending. Model ini tidak hanya meningkatkan efisiensi modal, tetapi juga memperkaya kemungkinan komposabilitas lintas layer. Inti dari arsitektur ini adalah kolaborasi antara kontrak Escrow dan jaringan pembuktian Succinct. Pengguna pertama-tama menyimpan ETH, stablecoin, atau aset produktif ke kontrak Escrow di Ethereum L1. Kontrak Escrow akan memicu event, yang diterima oleh jaringan pembuktian Succinct dan menghasilkan bukti SNARK, membuktikan bahwa aset benar-benar telah dikunci. Setelah kontrak verifikasi mengonfirmasi bukti tersebut di chain, Sequencer baru akan mengkredit akun margin pengguna di Lighter L2. Selanjutnya, komitmen status L2 (status order book, saldo, dll.) akan dikirim ke data availability layer (DA) untuk verifikasi di masa depan. Sepanjang proses, aset tidak pernah meninggalkan L1, sehingga keamanannya terjamin. Yang lebih penting, ketika pengguna menghadapi sensor atau terjadi masalah di L2, mereka dapat menggunakan mekanisme escape pod untuk langsung mengajukan permintaan keluar di L1. Pengguna menginisiasi transaksi keluar di L1, DA menyediakan komitmen status dan bukti yang disertakan, jaringan Succinct mengubah permintaan tersebut menjadi tugas pembuktian dan menghasilkan bukti SNARK. Jika verifikasi berhasil, kontrak Escrow akan memaksa pelepasan dana, mengembalikan aset langsung ke pengguna. Desain ini memastikan bahwa apa pun yang terjadi di L2, pengguna selalu dapat mengandalkan keamanan L1 untuk mengambil kembali aset mereka. Mirip dengan jalur pelarian tradisional Rollup, namun dalam skenario utilitas aset dan migrasi jaminan, model ini menawarkan perlindungan keluar dana yang lebih fleksibel dan tahan sensor, semakin menonjolkan keunggulan pemisahan lokasi dan fungsi modal. [Original article in English]