Vitalik tomonidan maqtalgan ZKsync, ehtimol, haqiqatan ham past baholangan bo'lishi mumkin

Yagona GPU bo‘yicha, Airbender nafaqat eng tez tasdiqlash tezligiga ega, balki eng arzon narxga ham ega.

Muallif: Eric, Foresight News

1-noyabr kuni Vitalik ZKsync asoschisi tomonidan ZKsync Atlas yangilanishi haqida yozilgan tvitni iqtibos qilib, ZKsync Ethereum ekotizimi uchun juda qadrlanadigan, biroq kam baholangan ko‘plab ishlarni amalga oshirganini maqtadi.

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

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

Tez, kichik, lekin qimmat ZKP

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

ZKP aslida matematik ehtimollik masalasidir, uning prinsipini taxminan tushuntirish uchun to‘liq to‘g‘ri bo‘lmagan misol keltiramiz: Faraz qilaylik, kimdir “to‘rt rang muammosi”ni hal qilganini da’vo qilmoqda, unda uning yechimini to‘liq oshkor qilmasdan, bu odam haqiqatan ham muammoni hal qilganini qanday aniqlash mumkin? Zero-knowledge proof yechimi shuki, butun grafikdan ayrim qismlarni tanlab, bu qismlarda bir-biriga tutash ikkita hudud bir xil rangda emasligini isbotlash, va tanlangan qismlar soni ma’lum bir qiymatga yetganda, bu odam to‘rt rang muammosini hal qilgan ehtimoli 99.99...% ga yetadi. Shu tarzda, biz umumiy manzarani bilmasdan turib, uning “to‘rt rang muammosini hal qilgani”ni isbotlaymiz.

Yuqoridagilar, ko‘pincha eshitiladigan “qanday amalga oshirilganini bilmasdan, ish haqiqatan ham bajarilganini isbotlash”ga asoslangan zero-knowledge proofdir. Nima uchun Ethereum ekotizimida ZKP keng joriy qilinmoqda? Chunki ZKP nazariy jihatdan tezlik chegarasi har bir tranzaksiyani alohida isbotlashdan ancha yuqori va yaratilgan isbotning o‘zi juda kichik hajmda bo‘ladi.

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

Nega bu faqat afzalliklardan iborat texnologiyani keng joriy qilmayapmiz? Chunki u juda qimmat.

ZKP barcha jarayonlarni qayta tiklashni talab qilmasa ham, chaqiriqning o‘zi juda ko‘p hisoblash quvvatini talab qiladi. Agar AI qurollanish poygasidagi kabi GPUlarni ommaviy yig‘ilsa, tezlikni oshirish mumkin, lekin bunday xarajatni hamma ham ko‘tara olmaydi. Agar algoritm va muhandislik yangiliklari orqali zarur hisoblash quvvati va past hisoblash quvvatida isbot yaratish vaqtini ma’lum darajaga tushirish mumkin bo‘lsa, Ethereum “texnologik yangilik orqali ko‘proq ilovalar va narx oshishi” va “tugun qurish uchun GPU xarajatlari” o‘rtasida muvozanatga erishadi va bu ishga arziydi.

Shuning uchun, Ethereum ekotizimidagi ko‘plab ZK konsept loyihalari yoki ochiq manbali ishlab chiquvchilar ZKP va Ethereum integratsiyasida asosiy e’tiborni quyidagiga qaratmoqda: ZK isbotlarini arzonroq va past xarajatda tezroq yaratish. Yaqinda Brevis jamoasi SP1 Hypercube yechimining yarmiga (64 ta RTX 5090 GPU) teng xarajat bilan Ethereum blokini o‘rtacha 6,9 soniyada isbotlashga erishdi (isbotlarning 99,6% hozirgi Ethereum blok chiqarish o‘rtacha vaqtidan kam: 12 soniyadan kam), bu Ethereum hamjamiyatida keng e’tirofga sabab bo‘ldi.

Garchi GPU xarajatlari hali ham 100 ming dollardan oshsa-da, isbot tezligi allaqachon ZKP bo‘lmagan darajaga tushdi, endi esa asosiy vazifa xarajatlarni kamaytirishdir.

Altas yangilanishi 1 soniyalik ZK yakuniyligini amalga oshirdi

Ko‘pchilik bilmasligi mumkin, ZKsync tomonidan chiqarilgan ochiq manbali zkVM ZKsync Airbender yagona GPUda eng tez tasdiqlash tezligiga ega zkVM hisoblanadi. Ethproofs ma’lumotlariga ko‘ra, bitta 4090 ZKsync Airbender yordamida o‘rtacha tasdiqlash vaqti 51 soniya, xarajat esa bir sentdan kam, bu ikkala ko‘rsatkich ham zkVMlar orasida eng yaxshi natija.

ZKsyncning o‘z ma’lumotlariga ko‘ra, rekursiv hisobga olinmaganda, Airbender bitta H100 va ZKsync OS saqlash modeli yordamida Ethereum asosiy tarmog‘ini o‘rtacha 17 soniyada tasdiqlaydi. Hatto rekursiv hisobga olinsa ham, umumiy o‘rtacha vaqt atigi 35 soniyani tashkil qiladi, ZKsync bu natijani bir nechta GPU yordamida 12 soniya ichida tasdiqlashga nisbatan ancha yaxshi deb hisoblaydi. Biroq hozircha faqat ikki GPUda o‘rtacha 22,2 soniya natija bor, shuning uchun haqiqiy samaradorlik hali aniq emas.

Bularning barchasi faqat Airbenderning yutug‘i emas, algoritm va muhandislik optimallashtirishlari faqat bir qismi, ZKsync texnologik steki bilan chuqur integratsiya esa maksimal natijani beradi. Eng muhim jihati shundaki, bu yagona GPU yordamida Ethereum asosiy tarmog‘ini real vaqtda isbotlash mumkinligini ko‘rsatadi.

Iyunning oxirida ZKsync Airbenderni chiqardi, milliy bayramdan oldingi kun Altas yangilanishi ishga tushdi. Airbender integratsiyalashgan bu yangilanish ZKsyncning throughput, tasdiqlash tezligi va xarajatlarini sezilarli darajada yaxshiladi.

Throughput bo‘yicha, ZKsync tartiblagichni muhandislik jihatdan optimallashtirdi: mustaqil asinxron komponentlar orqali sinxron ishlashdan kelib chiqadigan xarajatlarni maksimal darajada kamaytirdi; virtual mashina, API va ZKP yaratish yoki L1da ZKPni tasdiqlash uchun kerakli holatlarni ajratdi, natijada keraksiz xarajatlar kamaydi.

ZKsyncning amaliy sinovlariga ko‘ra, yuqori chastotali narx yangilanishlari, to‘lov stsenariylarida stablecoin o‘tkazmalari va mahalliy ETH o‘tkazmalarida TPS mos ravishda 23k, 15k va 43k ga yetdi.

Yana bir katta sifat o‘zgarishi Airbenderdan kelib chiqdi, u ZKsyncga 1 soniyalik blok tasdiqlash va bitta tranzaksiya uchun 0.0001 dollar xarajatga erishishga yordam berdi. Asosiy tarmoq blokini tasdiqlashdan farqli o‘laroq, ZKsync faqat holat o‘zgarishining haqiqiyligini tekshiradi, shuning uchun hisoblash hajmi asosiy tarmoq blokini tasdiqlashdan ancha kam. Garchi ZK yakuniyligiga erishgan tranzaksiyalar asosiy tarmoqda tasdiqlangandan so‘ng L1 yakuniyligiga erishsa-da, ZK tasdiqlash tranzaksiyaning haqiqiyligini bildiradi, L1 yakuniyligi esa ko‘proq jarayon kafolati sifatida ko‘riladi.

Ya’ni, ZKsyncda bajarilgan tranzaksiyalar faqat ZKP tasdiqlanishi bilan to‘liq tasdiqlangan deb hisoblanadi, xarajatlar esa ancha kamaygan. ZKsync o‘z so‘zlari bilan aytganda, faqat Airbender taqdim eta oladigan ilova stsenariylarini amalga oshirdi:

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

Ikkinchi jihat esa hozirgi ko‘plab L2lar amalga oshira olmaydigan, jamoat va xususiy tizimlar (masalan, ZKsyncning Prividiums) uchinchi tomonlarsiz o‘zaro ishlashini qo‘llab-quvvatlashdir. Prividiums — ZKsync tomonidan korxonalar uchun xususiy zanjirlar yaratishga yordam beruvchi infratuzilma. Korxonalar uchun blockchainning asosiy talabi tez hisob-kitob va maxfiylikdir. Tez hisob-kitob haqida gap bo‘lishi shart emas, ZKPning tabiiy maxfiyligi esa korxona xususiy zanjiri jamoat zanjiri bilan o‘zaro ishlaganda zanjirning hisob-kitob ma’lumotlarini oshkor qilmasdan tranzaksiya haqiqiyligini tekshirish imkonini beradi. Ikkalasining kombinatsiyasi hatto on-chain qimmatli qog‘ozlar va valyuta savdosida muvofiqlik talablariga javob beradi.

Bu, ehtimol, ZKsync Ethereumdan keyingi ikkinchi eng yirik tokenlashtirilgan RWA aktivlarini chiqaruvchi tarmoq bo‘lishining sabablaridan biridir.

ZKsync faxr bilan ta’kidlaydiki, bularning barchasi faqat Altas yangilanishi ostida amalga oshirilishi mumkin: 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 iqtibos qilgan tvitda aytilganidek, ZKsync asoschisi Alex Altas yangilanishidan so‘ng ZKsync haqiqatan ham Ethereum asosiy tarmog‘ini bog‘laganini ta’kidladi.

Hozirda ZKsyncning tranzaksiya yakuniy tasdiqlash vaqti (taxminan 1 soniya) Ethereum asosiy tarmog‘ining blok chiqarish vaqtidan (o‘rtacha 12 soniya) qisqaroq, bu esa ZKsyncda amalga oshiriladigan institutsional va RWA tranzaksiyalari mohiyatan Ethereum asosiy tarmog‘idagidek bo‘lishini, faqat asosiy tarmoq tasdiqlashini kutish kerakligini anglatadi. Bu ZKsyncga L2da likvidlik markazi yaratmasdan, to‘g‘ridan-to‘g‘ri asosiy tarmoq likvidligidan foydalanish imkonini beradi, chunki ZK Rollup asosiy tarmoq bilan cross-chain OP Rollupdagi kabi 7 kunlik challenge muddatini talab qilmaydi, Altas yangilanishi esa tezlikni yanada oshirdi.

Bu yaqinda Ethereum hamjamiyatida muhokama qilinayotgan L2 fragmentatsiyasi muammosini yaxshiladi, L2 va L1 endi ikkita alohida zanjir emas, balki tez tasdiqlash va tekshirish orqali birlashdi, L2 esa birinchi marta haqiqiy “scaling network” deb atalishi mumkin.

Eslaymiz, ZKsync va Scroll dastlab asosiy tarmoqqa chiqqanida, tranzaksiya tasdiqlash tezligi va Gas to‘lovi asosiy tarmoqdan farq qilmas, ba’zan undan ham yuqori edi, bu esa ZKP algoritmi va muhandislik optimallashtirishlari hali tizimli bo‘lmagani, tasdiqlash sekin va xarajat yuqori bo‘lgani uchundir, o‘sha paytda ZK Rollupga ishonch inqirozini ham keltirib chiqargan edi. Bugungi kunda Optimism va Arbitrum asta-sekin OP Rollupdan ZK Rollupga (yoki ikkalasining kombinatsiyasiga) o‘tmoqda, ZKsync va boshqa ZK Rolluplar xarajat va tezlikda yanada yaxshilanishi, Scrollning markazsiz ZKPsi esa “bema’ni”dan kutiladigan natijaga aylandi.

Hamma tanqid qilganidan to eng ommabop texnologiyaga aylanishgacha, ZK yangi tongga chiqdi. Tartiblagich va cross-chain ko‘priklarning ko‘p imzoli to‘liq markazsizlanishi amalga oshirilgach, ehtimol, Dragonfly boshqaruvchi hamkori Hasseb Qureshi aytganidek, “can't be evil” haqiqatan ham amalga oshadi.