Vitalik maqtoviga sazovor bo‘lgan ZKsync, allaqachon eng tezkor zkVMni yaratgan edi

Asl muallif: Eric, Foresight News

 

1-noyabr kuni Vitalik ZKsync asoschisining ZKsync Atlas yangilanishi haqidagi tvitini iqtibos qilib, ZKsync Ethereum ekotizimi uchun juda qadrlanadigan, ammo kam baholangan ishlarni amalga oshirayotganini maqtadi.

Bozor Vitalikning so‘zlariga tezda javob berdi, ZK narxi dam olish kunlari ikki kun ichida eng yuqori nuqtada 2,5 baravardan ko‘proqqa oshdi, ZK ekotizimidagi tokenlar, jumladan ALT (AltLayer), STRK (Starknet), SCR (Scroll), MINA (Mina) va boshqalar ham yaxshi o‘sish ko‘rsatdi.

ZKsync Atlas yangilanishini o‘rganganimizdan so‘ng, ZKsync qilayotgan ishlar haqiqatan ham kam baholangan bo‘lishi mumkinligini angladik.

Tez, kichik, lekin qimmat ZKP

Ethereum Foundation juda erta boshlangan ZKP (zero-knowledge proof) asosan tekshirish tezligi past va katta hajmdagi ma’lumotlarni tekshirish muammosini hal qilishni maqsad qilgan.

ZKP mohiyatan matematik ehtimollik masalasi. To‘liq aniq bo‘lmagan misol bilan tushuntirsak: bir kishi “to‘rt rang muammosi”ni hal qilganini da’vo qilsa, uning yechimini to‘liq oshkor qilmasdan bu odam muammoni hal qilganini qanday aniqlash mumkin? Zero-knowledge proof yechimi shuki, butun rasm ichidan ayrim qismlarni tanlab, bu qismlarda yonma-yon joylashgan ikki bo‘lak bir xil rangda emasligini isbotlash mumkin. Tanlangan qismlar soni yetarli bo‘lsa, bu odam to‘rt rang muammosini hal qilgan ehtimoli 99.99...% ga yetadi. Shu tarzda, biz to‘liq tafsilotlarni bilmasdan turib, uning “to‘rt rang muammosini hal qilganini” isbotlay olamiz.

Yuqoridagisi, ko‘p eshitiladigan “qanday amalga oshirilganini bilmasdan turib, ish bajarilganini isbotlash” degan zero-knowledge proof tushunchasidir. Nega Ethereum ekotizimida ZKP keng joriy qilinmoqda? Sababi, ZKP nazariy jihatdan tranzaksiyalarni birma-bir isbotlashdan ancha tez va yaratilgan isbotning o‘zi juda kichik hajmda bo‘ladi.

Tezligi shundaki, ZKP to‘liq tafsilotlarni bilishni talab qilmaydi, faqat chaqiriq (challenge) kerak. Masalan, Ethereum blokini tekshirishda hozirgi usulda har bir tugun har bir tranzaksiyaning manzilida yetarli balans bor-yo‘qligini tekshiradi, lekin agar faqat bitta tugun har bir tranzaksiyani ZKP orqali tekshirsa va “isbot” yaratsa, boshqa tugunlar faqat shu “isbot”ning ishonchliligini tekshirsa kifoya. Eng muhimi, bu “isbot”ning o‘zi juda kichik hajmda bo‘ladi, shuning uchun uni uzatish va tekshirish tezligi juda yuqori, saqlash xarajati ham past.

Nega bu faqat afzalliklardan iborat texnologiya keng joriy qilinmayapti? Chunki juda qimmat.

ZKP barcha jarayonni takrorlashni talab qilmasa-da, chaqiriqning o‘zi juda ko‘p hisoblash quvvatini talab qiladi. Agar AI qurollanish poygasidagi kabi GPU’larni ko‘plab yig‘ilsa, tezlikni oshirish mumkin, lekin bunday xarajatni hamma ko‘tara olmaydi. Ammo agar algoritm va muhandislik yangiliklari orqali kerakli hisoblash quvvatini va past quvvatda isbot yaratish vaqtini ma’lum darajaga tushirish mumkin bo‘lsa, Ethereum’da “texnologik yangiliklar orqali ko‘proq ilovalar va narx o‘sishi” hamda “tugunlar uchun GPU xarid qilish xarajati” muvozanatga keladi va bu ish amalga oshadi.

Shuning uchun, Ethereum ekotizimidagi ko‘plab ZK loyihalari yoki ochiq manbali ishlab chiquvchilar ZKP va Ethereum uyg‘unligida asosan quyidagiga e’tibor qaratadi: kamroq xarajat va past xarajatda tezroq ZK isbot yaratish. Yaqinda Brevis jamoasi SP1 Hypercube yechimining yarmiga (64 ta RTX 5090 GPU) teng xarajat bilan Ethereum blokini o‘rtacha 6.9 soniyada isbotladi (isbotlarning 99.6% hozirgi Ethereum blok chiqarish o‘rtacha vaqtidan kam: 12 soniyadan kam), bu Ethereum hamjamiyatida katta olqishlarga sabab bo‘ldi.

GPU xarajati hali ham 100 ming dollardan oshsa-da, isbot tezligi hozirda ZKP bo‘lmagan darajaga tushdi, endi asosiy vazifa xarajatni kamaytirish bo‘lib qoldi.

Atlas yangilanishi 1 soniyalik ZK yakuniyligini amalga oshirdi

Ko‘pchilik bilmasligi mumkin, ZKsync tomonidan chiqarilgan ochiq manbali zkVM ZKsync Airbender — yagona GPU’da eng tez tekshiruvchi zkVM hisoblanadi. Ethproofs ma’lumotlariga ko‘ra, bitta 4090 ZKsync Airbender yordamida o‘rtacha tekshirish vaqti 51 soniya, xarajati bir sentdan kam, bu ikkala ko‘rsatkich ham zkVM’lar ichida eng yaxshi natija.

ZKsync’ning o‘z ma’lumotlariga ko‘ra, rekursiv hisobga olinmasa, Airbender bitta H100 va ZKsync OS saqlash modeli yordamida Ethereum asosiy tarmog‘ini tekshirish uchun o‘rtacha 17 soniya vaqt sarflaydi. Rekursiv hisobga olinsa ham, umumiy o‘rtacha vaqt atigi 35 soniyani tashkil qiladi, ZKsync bu natija bir nechta GPU yordamida 12 soniya ichida tekshirishdan ancha yaxshi deb hisoblaydi. Biroq hozircha faqat ikki GPU uchun o‘rtacha 22.2 soniya natija bor, haqiqiy samaradorlik hali aniqlanmagan.

Bularning barchasi faqat Airbenderning yutug‘i emas, algoritm va muhandislik optimallashtirishlari muhim bo‘lsa-da, ZKsync texnologik steki bilan chuqur integratsiya qilish natijani maksimal darajaga olib chiqdi. Eng muhim jihati — bitta GPU yordamida Ethereum asosiy tarmog‘ida real vaqtda isbot yaratish mumkinligini ko‘rsatdi.

Iyunning oxirida ZKsync Airbender’ni chiqardi, milliy bayramning so‘nggi kunlarida esa Atlas yangilanishini ishga tushirdi. Airbender bilan uyg‘unlashgan bu yangilanish ZKsync’ning throughput, tasdiqlash tezligi va xarajatini sezilarli darajada oshirdi.

Throughput bo‘yicha, ZKsync tartiblagichni muhandislik jihatdan optimallashtirdi: mustaqil asinxron komponentlar orqali sinxronlashdan kelib chiqadigan sarflarni maksimal darajada kamaytirdi; virtual mashina, API va ZK isbot yaratish yoki L1 qatlamida ZK isbotni tekshirish uchun kerakli holatlarni ajratdi, natijada keraksiz xarajatlar kamaydi.

ZKsync’ning amaliy sinovlariga ko‘ra, yuqori chastotali narx yangilanishi, to‘lov stsenariylarida steyblkoin o‘tkazmalari va mahalliy ETH o‘tkazmalarida TPS mos ravishda 23k, 15k va 43k ga yetdi.

Yana bir katta sifat o‘zgarishi Airbender’dan kelib chiqdi, u ZKsync’ga 1 soniyalik blok tasdiqlash va bir martalik o‘tkazma uchun 0.0001 dollar xarajatni ta’minladi. Asosiy tarmoq blokini tekshirishdan farqli o‘laroq, ZKsync faqat holat o‘zgarishining haqiqiyligini tekshiradi, bu esa hisoblash hajmini ancha kamaytiradi. ZK yakuniyligiga erishgan tranzaksiyalar hali ham asosiy tarmoqda tasdiqlangandan so‘ng L1 yakuniyligiga erishadi, lekin ZK isbot mavjud bo‘lsa, tranzaksiya haqiqiyligi tasdiqlanadi, L1 yakuniyligi esa ko‘proq jarayon kafolati sifatida xizmat qiladi.

Ya’ni, ZKsync’da bajarilgan tranzaksiyalar faqat ZKP tekshiruvi orqali to‘liq tasdiqlanadi, xarajatlar ancha kamayganligi sababli, ZKsync o‘z so‘zlari bilan aytganda, faqat Airbender ta’minlay oladigan ilova stsenariylarini amalga oshirdi:

Birinchidan, bu tabiiy ravishda on-chain orderbook, to‘lov tizimlari, birjalar va avtomatik market-meykerlar kabi ilovalar. Airbender tizimga juda tez tekshirish va hisob-kitob qilish imkonini beradi, bu ilovalarda on-chain roll-back xavfini kamaytiradi.

Ikkinchi jihat — hozirda ko‘plab L2’lar amalga oshira olmaydigan, jamoat va xususiy tizimlarni (masalan, ZKsync’ning Prividiums) uchinchi tomonlarsiz o‘zaro ishlashini ta’minlash. Prividiums — ZKsync tomonidan korxonalar uchun xususiy zanjirlar yaratishga yordam beruvchi infratuzilma. Korxonalar uchun blokcheynning asosiy talabi — tez hisob-kitob va maxfiylik. Tez hisob-kitob o‘z-o‘zidan tushunarli, ZKP’ning tabiiy maxfiyligi esa korxona xususiy zanjiri jamoat zanjiri bilan o‘zaro ishlaganda zanjirning o‘z hisob-kitob ma’lumotlarini oshkor qilmasdan tranzaksiya haqiqiyligini tekshiradi. Ikkalasining uyg‘unligi hatto on-chain qimmatli qog‘ozlar va valyuta savdosi uchun muvofiqlik talablaridagi hisob-kitob vaqtini ham qondiradi.

Bu, ehtimol, ZKsync Ethereum’dan keyingi eng yirik tokenizatsiyalangan RWA aktivlari chiqarish tarmog‘iga aylanganining sababi bo‘lishi mumkin.

ZKsync faxr bilan ta’kidlaydiki, bularning barchasi faqat Atlas yangilanishi ostida amalga oshiriladi: tartiblagich past kechikishli tranzaksiya paketlashni ta’minlaydi, Airbender bir soniyada isbot yaratadi, so‘ng Gateway cross-chain xabarlarni tekshiradi va muvofiqlashtiradi.

L1 va L2’ni bog‘lash

Vitalik repost qilgan tvitda ZKsync asoschisi Alex Atlas yangilanishidan so‘ng ZKsync haqiqatan ham Ethereum asosiy tarmog‘ini bog‘laganini ta’kidladi.

Hozirda ZKsync’dagi tranzaksiya yakuniy tasdiqlash vaqti (taxminan 1 soniya) Ethereum asosiy tarmog‘idagi blok chiqarish vaqtidan (o‘rtacha 12 soniya) qisqaroq, bu esa ZKsync’da amalga oshiriladigan institutsional va RWA tranzaksiyalari mohiyatan Ethereum asosiy tarmog‘idagidek bo‘lishini anglatadi, faqat asosiy tarmoq tasdiqlashini kutish kifoya. Bu shuni anglatadiki, ZKsync L2’da likvidlik markazini qayta qurishga hojat yo‘q, asosiy tarmoq likvidligidan bevosita foydalanish mumkin, chunki ZK Rollup asosiy tarmoq bilan cross-chain o‘tkazmalarda OP Rollup’dagi kabi 7 kunlik challenge davrini talab qilmaydi, Atlas yangilanishi esa tezlikni yanada oshirdi.

Bu yaqinda Ethereum hamjamiyatida muhokama qilinayotgan L2 fragmentatsiyasi muammosini yaxshiladi, L2 va L1 endi ajratilgan ikki zanjir emas, balki tezkor tasdiqlash va tekshirish orqali bir butun tizimga aylandi, L2 birinchi marta haqiqiy “scaling network” deb atalishi mumkin bo‘ldi.

ZKsync va Scroll ilk bor asosiy tarmoqqa chiqganda, tranzaksiya tasdiqlash tezligi va Gas to‘lovi asosiy tarmoqdan farq qilmas, ba’zan undan ham yuqori bo‘lardi, sababi dastlab ZKP algoritmi va muhandisligida tizimli optimallashtirish yo‘q edi, natijada tekshirish sekin va qimmat bo‘lgan, o‘sha paytda ZK Rollup’ga ishonch inqirozi ham yuzaga kelgan edi. Bugunga kelib, Optimism va Arbitrum asta-sekin OP Rollup’dan ZK Rollup’ga (yoki ikkalasining kombinatsiyasiga) o‘tmoqda, ZKsync va boshqa ZK Rollup’lar xarajat va tezlikda yanada yaxshilandi, Scroll’da esa markazsiz ZKP amalga oshirildi — bularning barchasi ilgari “ahmoqlik” deb qaralgan bo‘lsa, endi umidli natijaga aylandi.

Hamma tanqid qilganidan “qimmatbaho”ga aylangan ZK yangi tongga chiqdi. Tartiblagich va cross-chain ko‘priklarning multi-sig to‘liq markazsiz amalga oshirilgach, ehtimol Dragonfly boshqaruvchi hamkori Hasseb Qureshi aytganidek, “can't be evil” amalga oshadi.