[Lighter × Succinct] : ZK tomonidan boshqariladigan yuqori samarali kontraktlar va umumiy tartiblovchi vizyoni

Chainfeeds sharhi:

Ushbu arxitektura aniq vazifalar taqsimotini belgilaydi: L1 (Ethereum) xavfsiz global balans sifatida kapitalni saqlash uchun javobgar; L2 (Lighter): yuqori unumdorlikdagi bajarish qatlami sifatida risklarni boshqaradi; ZK infratuzilmasi (Succinct): kriptografik asosiy tarmoq sifatida ikkalasini ishonchli bog‘laydi.

Maqola manbasi:

Maqola muallifi:

jaehaerys

Fikrlar:

jaehaerys:Blokcheyn kengayuvchanligini izlash jarayonida, L2 narrativi uzoq vaqt davomida ko‘prik (bridge) metaforasi bilan ifodalandi. Foydalanuvchilar yuqori o‘tkazuvchanlik va past xarajatli Rollup muhitiga kirish uchun aktivlarini L1’da bloklab, L2’da sintetik ekvivalentini olishlari kerak edi. Biroq, bu model yangi muammolarni keltirib chiqardi: likvidlikning bo‘linishi va bir qator halokatli cross-chain bridge hujumlari — bu hujumlar markazsiz moliya tarixidagi eng katta mablag‘ yo‘qotish holatlaridan bo‘ldi. Shu sababli, yangi alternativ yondashuv paydo bo‘ldi: aktivlarni hisoblash muhitiga ko‘chirish o‘rniga, faqat aktivlar haqidagi tekshiriladigan ma’lumotlarni hisoblash muhitiga olib kirish. Bu g‘oya dastlab SuccinctLabs’ning jonli efirida paydo bo‘lgan, Gauntlet asoschisi Tarun Chitra ZK tizimlarining kelajagini o‘ylab, ZK protokollari aktivlarni ko‘chirishni yanada tabiiy va samarali qilishi mumkinligini ta’kidlagan. Aktivlar Ethereum asosiy tarmog‘ida (L1) bloklangan holda qolishi mumkin, biroq nol bilimli isbotlar (ZKP) orqali ularning foydasi L2’da xavfsiz tasdiqlanib, garov sifatida ishlatiladi. Shunday qilib, kapitalning joylashuvi va funksiyasi ajratiladi: aktivlar eng xavfsiz muhit — L1’da qoladi, ularning qiymati esa yuqori unumdorlikdagi L2’da aks ettiriladi va kapital samaradorligi sezilarli oshadi. Masalan, foydalanuvchining stETH yoki Morpho Vault pozitsiyasi L1’da daromad keltirishda davom etadi, shu bilan birga ularning qiymat isboti L2’da garov sifatida ishlatiladi. Bu model nafaqat cross-chain risklarni kamaytiradi, balki qatlamlararo kombinatsiyalilik va xavfsiz interoperabilitetni ham rivojlantiradi. Ushbu modelning amalga oshirilishi Lighter va Succinct integratsiyasiga bog‘liq. Lighter — bu markaziy limit buyurtma kitobi (CLOB) asosidagi perpetual kontraktlar uchun markazsiz birja (Perp DEX) bo‘lib, uning asosiy arxitektura tanlovi — maxsus zk circuitlardan foydalanish, umumiy zkVM yoki zkEVM emas. Bu dizayn kriptotizimni matching, risk dvigateli va likvidatsiya logikasi uchun optimallashtiradi, shuning uchun aniq trading funksiyalarini tekshirishda juda samarali, umumiy isbotlarning qimmat va sekin bo‘lgan cheklovlaridan qochadi. Boshqa tomondan, Succinct SP1 zkVM’ni taqdim etadi — bu RISC-V asosidagi virtual mashina bo‘lib, to‘liq Rust ekotizimini qo‘llab-quvvatlaydi va DeFi Vault qiymatlash metodlari yoki likvidatsiya dvigateli kabi murakkab ilova logikasini samarali kodlash imkonini beradi. Bundan tashqari, Succinct markazsiz isbot tarmog‘ini (SPN) boshqaradi, bu GPU, FPGA va kelajakda ASIC asosida ishlaydigan raqobatbardosh isbot ishlab chiqarish bozori bo‘lib, kerakli isbotlarni tez va arzon narxda yaratadi. Ikkalasi birlashganda, foydalanuvchilar daromaddan voz kechmasdan, L1’dagi ishlab chiqaruvchi aktivlarni L2’da levered trading uchun ishlata oladilar. Masalan, foydalanuvchi L1’dagi Morpho Vault’da foiz olishda davom etadi, shu bilan birga ushbu aktivlarning qiymat isboti L2’dagi perpetual trading uchun margin sifatida ishlatiladi. Bundan ham muhimrog‘i, ushbu arxitektura murakkab L2 strategiyalarining tokenlashini qo‘llab-quvvatlashi mumkin, ularni L1’da standartlashtirilgan aktivlar sifatida aylantirish imkonini beradi, masalan, tabiiy 3x ETH levered tokeni, Aave lending kabi ilovalarda ishlatilishi mumkin. Bu model nafaqat kapital samaradorligini oshiradi, balki qatlamlararo kombinatsiyalilik imkoniyatlarini ham boyitadi. Ushbu arxitekturaning asosi Escrow kontrakti va Succinct isbot tarmog‘i hamkorligidir. Foydalanuvchi avval ETH, stablecoin yoki daromad keltiruvchi aktivlarni Ethereum L1’dagi Escrow kontraktiga joylaydi. Escrow kontrakti hodisani ishga tushiradi, Succinct isbot tarmog‘i esa uni qabul qilib, aktivlar haqiqatan ham bloklanganini isbotlovchi SNARK isbotini yaratadi. On-chain verification kontrakti ushbu isbotni tasdiqlaganidan so‘ng, Sequencer Lighter L2’da foydalanuvchining margin hisobiga mablag‘ kiritadi. Keyin, L2 holat majburiyati (buyurtma kitobi holati, balans va boshqalar) data availability (DA) qatlamiga yuboriladi, kelajakda tekshirish uchun. Butun jarayonda aktivlar hech qachon L1’dan chiqmaydi, xavfsizlik ta’minlanadi. Eng muhimi, foydalanuvchi tsenzura yoki L2 muammolari yuzaga kelganda, escape pod mexanizmi orqali to‘g‘ridan-to‘g‘ri L1’da chiqish so‘rovini yuborishi mumkin. Foydalanuvchi L1’da chiqish tranzaksiyasini boshlaydi, DA holat majburiyati va isbotni taqdim etadi, Succinct tarmog‘i ushbu so‘rovni isbot vazifasiga aylantirib, SNARK isbotini yaratadi. Agar tasdiqlansa, Escrow kontrakti mablag‘larni majburan chiqaradi va aktivlarni to‘g‘ridan-to‘g‘ri foydalanuvchiga qaytaradi. Ushbu dizayn L2’da qanday holat bo‘lishidan qat’i nazar, foydalanuvchi har doim L1 xavfsizligiga tayanib, aktivlarini qaytarib olishi mumkinligini kafolatlaydi. Bu an’anaviy Rollup’ning escape yo‘liga o‘xshaydi, lekin aktivlar foydasi va garov ko‘chirish ssenariylarida ushbu model yanada moslashuvchan va tsenzuraga chidamli mablag‘ chiqish kafolatini ta’minlaydi, kapital joylashuvi va funksiyasi ajratilishining afzalligini yanada ko‘rsatadi. [Original matn ingliz tilida]