Brevis CEO Michael bilan eksklyuziv intervyu: zkVM kengaytmasi L2 ga qaraganda ancha samaraliroq

Iste'molchi darajasidagi apparat muhitida, 64 ta GPU 12 soniya ichida 99.6% L1 blok isbotini yakunladi—Brevis tomonidan taqdim etilgan ko‘p GPUli nol bilimli virtual mashina (zkVM) Pico Prism katta samaradorlik yutug‘iga erishdi.

Bu muhim yutuq Ethereum asosiy hamjamiyatida katta qiziqish uyg‘otdi. Ethereum asoschisi Vitalik Buterin ochiqchasiga shunday baho berdi: "Brevis’ning Pico Prism’ini ZK-EVM verifikatsiya sohasiga kirib kelganini ko‘rib xursandman. Bu ZK-EVM uchun isbot tezligi va xilma-xillikda muhim qadam."

“Ma’lumotlarning o‘zi hammasini ko‘rsatadi.” Brevis hammuassisi va bosh direktori Michael aytadi: “Biz Ethereum real vaqtda blok ishlab chiqarishni boshqaradigan infratuzilmani yaratdik va bularning barchasi iste’molchi darajasidagi apparatlarda ishlaydi. Bu samaradorlik Ethereum’ning markazsizlashuv maqsadiga eng yaxshi javobdir.”

Brevis hammuassisi va bosh direktori Michael—UIUC kompyuter fanlari doktori, taqsimlangan tizimlar va yuqori samarali tarmoqlar bo‘yicha mutaxassis—Silicon Valley’da bir necha bor startap ochib, muvaffaqiyatli chiqib ketgan, uning tadqiqot natijalari Google kabi ko‘plab texnologik kompaniyalar tomonidan qabul qilingan. 2018 yilda u Celer Network’ni (cho‘qqi bahosi 2 milliard dollardan oshgan) asos solgan. Endi u Brevis jamoasini nol bilimli isbot va verifikatsiyalanuvchi hisoblashni birlashtirishga yetaklamoqda, umidi—Ethereum ekotizimi uchun keng ko‘lamli hisoblash ehtiyojini qondira oladigan haqiqiy infratuzilma yaratish.

Brevis bu yutuqqa qanday erishgani va bu Ethereum ekotizimi uchun nimani anglatishini yaxshiroq tushunish uchun, BlockBeats Brevis hammuassisi va bosh direktori Michael bilan chuqur suhbat o‘tkazdi.

Biz uchta asosiy savolni muhokama qildik:

·Brevis’ning missiyasi va pozitsiyasi

·Verifikatsiyalanuvchi hisoblash ilovalarga qanday real qiymat olib keladi

·Ethereum ekotizimi bilan chuqur moslashuv jarayonida Brevis’ning keyingi rejalari

Bu nafaqat texnologiya haqidagi suhbat, balki kelajakdagi hisoblash ishonchi haqida oldindan o‘ylashdir.

Brevis nima: Vizyon va pozitsiyadan

BlockBeats: Eng oddiy tilda ayta olasizmi, Brevis qanday loyiha va u qanday muammoni hal qilmoqchi?

Michael:Biz Brevis’ni Cheksiz Hisoblash Qavati (Infinite Computing Layer) sifatida pozitsiyaladik, u Web3 uchun xizmat qiladi, lekin kengroq ilovalar doirasini ham qamrab oladi. Asosiy maqsad—markazsizlashuv va xavfsizlikni saqlagan holda, on-chain ilovalarga deyarli cheksiz hisoblash quvvatini taqdim etish, yuqori samaradorlik/kompleks funksiyalar va minimal ishonch o‘rtasidagi uzoq muddatli strukturaviy ziddiyatni hal qilish. So‘nggi yillarda L2 kengayishi throughput’ni sezilarli oshirdi, lekin murakkab hisoblash (masalan, katta hajmdagi tarixiy ma’lumotlarni qayta ishlash, cross-chain agregatsiya, algoritm/AI inference va boshqalar) uchun hali ham cheklovlar bor, bu esa ko‘plab ilg‘or funksiyalarning amalga oshishiga to‘sqinlik qiladi.

Brevis’ning yechimi—off-chain hisoblash, on-chain verifikatsiya. Og‘ir hisoblash off-chain bajariladi va nol bilimli isbot (ZK Proof) yaratiladi; on-chain kontrakt esa isbotning to‘g‘riligini juda past xarajat bilan tekshiradi, hisoblashni takrorlash shart emas. Natijada, kontrakt kriptografik kafolatlangan tashqi modulga ega bo‘lib, markazsizlashuv va xavfsizlikdan voz kechmasdan hisoblash quvvati va funksionallik chegarasini sezilarli kengaytiradi. Hozirgi aqlli kontraktlar aslida unchalik aqlli emas, Brevis yordamida ular haqiqatan ham aqlli bo‘lishi mumkin.

BlockBeats: Brevis Web3’ning cheksiz hisoblash qavati deb ataladi, bu tushuncha qayerdan kelib chiqqan? U an’anaviy on-chain hisoblash yoki kengayishdan nimasi bilan farq qiladi?

Michael:Brevis’ni Web3’ning cheksiz hisoblash qavati deb atashimiz sababi—uning maqsadi blokcheynning hisoblash chegarasini buzishdir. An’anaviy kengayish yechimlari (masalan, Layer 2 Rollup) asosan tranzaksiya throughput’ni oshiradi, o‘nlab TPS’dan yuzlab, minglab TPS’gacha, lekin baribir shift bor va har qanday murakkab hisoblashni on-chain bajarish muammosini hal qilmaydi: on-chain odatda faqat oddiy tranzaksiya va kontrakt operatsiyalarini qayta ishlay oladi. Hisoblash murakkabligi oshganda, on-chain na model qilish, na ko‘tarish imkoniga ega, masalan, katta hajmdagi ma’lumotlarni qayta ishlash, AI inference yoki murakkab algoritmlar.

Brevis’ning yondashuvi boshqacha: Biz faqat mavjud turdagi tranzaksiyalarni tezlashtirishni emas, balki blokcheyn har qanday hisoblash natijasini qabul qilishi va ko‘tara olishini, xavfsizlik va ishonchsizlikni saqlagan holda ta’minlashni istaymiz. Bu verifikatsiyalanuvchi hisoblash (Verifiable Computing) uchun yangi paradigma—faqat off-chain hisoblash matematik nol bilimli isbot bera olsa, on-chain juda past xarajat bilan uning to‘g‘riligini va xavfsizligini tasdiqlay oladi.

Dasturchilar uchun Brevis ko‘proq verifikatsiyalanuvchi hisoblash buluti kabi: bulut hisoblashdan foydalangandek, hisoblash quvvatini talabga ko‘ra kengaytirish, murakkab hisoblashni off-chain bajarish, isbotni on-chain tekshirish, xavfsizlik va ishonch modeli esa on-chain kontrakt bilan bir xil. Shuning uchun, Brevis’ni cheksiz hisoblash qavati deb ta’riflaymiz—samaradorlik va foydalanishda deyarli cheksiz hisoblash maydoni, ishonch va xavfsizlikda esa blokcheynning o‘ziga mos.

BlockBeats: Yangi gapirgan verifikatsiyalanuvchi hisoblash (Verifiable Computing) juda mavhum eshitiladi, Brevis’da uning rolini yanada aniqroq tushuntirib bera olasizmi?

Michael:Blokcheynning asosiy cheklovi—xavfsizlik va ishonchsizlikni ta’minlagan holda, hisoblash quvvati cheklangan. Ethereum kabi ommaviy blokcheynlar konsensus tizimi bo‘lib, tarmoqdagi ko‘plab tugunlar bir tranzaksiya yoki kontraktni alohida hisoblab, kelishuvga erishgach yangi blok chiqaradi. Bu mexanizm xavfsiz, lekin samaradorligi past, xuddi butun sinf bir masalani boshidan oxirigacha hisoblab, javobni tasdiqlashga o‘xshaydi.

Verifikatsiyalanuvchi hisoblash yondashuvi hisoblash va tekshirishni ajratadi, takroriy xarajatlarni kamaytiradi. Masalan, tovuq va quyon masalasi: yechim topish uchun tenglama tuzish va yechish kerak, lekin berilgan javob to‘g‘riligini tekshirish uchun faqat qiymatlarni tenglamaga qo‘yish kifoya, bu qayta yechishdan ancha arzon. Hisoblash va natijani tekshirish—kompyuter nazariyasida tabiiy ravishda ikki xil muammo, ikkinchisi odatda yengilroq. Nol bilimli isbot bu yondashuvni har qanday hisoblashga kengaytiradi: oddiy 1+1=2 dan tortib, katta model inference’gacha, hisoblashdan so‘ng qisqa isbot yaratiladi, boshqalar esa juda past xarajat bilan tezda tasdiqlay oladi, hisoblash tafsilotlari oshkor qilinmaydi.

Brevis’da og‘ir hisoblash off-chain bajariladi va ZK isbot yaratiladi, on-chain faqat isbotni tekshiradi, hisoblashni takrorlash shart emas. Bu verifikatsiyalanuvchi hisoblashning asosiy qiymati, hisoblash va tekshirishni butunlay ajratib, bir xil maqsad uchun ko‘p marta hisoblash xarajatini keskin kamaytiradi.

Nega bunday qilinadi: Texnik arxitektura va asosiy g‘oya

BlockBeats: Texnik jihatdan, Brevis ZK Data Coprocessor (quyida zkCoprocessor) va Pico zkVM ikki asosiy moduldan iborat, ular o‘rtasida qanday bog‘liqlik bor? Ular qanday muammolarni hal qiladi?

Michael:Brevis’ni qatlamli tuzilma deb tasavvur qilishingiz mumkin: pastki qatlamdagi Pico zkVM—umumiy hisoblash dvigateli (Virtual Machine), unga istalgan hisoblashni topshirish va zk Proof yaratish mumkin; uning muhim xususiyati—yuqori darajada modullik, ko‘p koprotsessorlarni ulash mumkin. zkCoprocessor esa blokcheyn ma’lumotlari uchun mo‘ljallangan koprotsessor, uni plagin yoki tashqi modul sifatida tasavvur qilishingiz mumkin. Hozirgi shaklda zkCoprocessor ko‘proq zkVM’ning xotira tizimi bo‘lib, aqlli kontraktlarga blokcheyndagi tarixiy voqealarni (masalan, foydalanuvchi tranzaksiyalari, balans, pozitsiyalar va boshqalar) ko‘rish va tushunish imkonini beradi.

Yana aniqroq aytganda, zkVM har qanday hisoblashni verifikatsiyalash muammosini hal qiladi; zkCoprocessor esa blokcheyn ilovalari uchun maxsus moslashtirilgan koprotsessor. Aqlli kontraktlar tabiatan “hozirda yashaydi”, faqat joriy blokning cheklangan kontekstiga kira oladi, uzoq muddatli tarixiy yoki cross-chain holatlarni to‘g‘ridan-to‘g‘ri o‘qiy olmaydi; zkCoprocessor nol bilimli isbot orqali kontraktga “ko‘z” beradi, off-chain kerakli tarixiy ma’lumotlarni qidirib, yig‘adi va bu ma’lumotlarning haqiqiyligi va blokcheyn holatidan kelib chiqqanini isbotlaydi, natijada kontrakt ishonch minimal darajada saqlangan holda xotira va xotiraga asoslangan intellektga ega bo‘ladi.

BlockBeats: zkCoprocessor aqlli kontraktlarga “o‘tmishni ko‘rish” imkonini beradi, bu juda innovatsion eshitiladi, qanday amalga oshirilishini batafsil tushuntira olasizmi?

Michael:Biz PancakeSwap’dagi tarixiy savdo hajmiga asoslangan dinamik komissiya chegirmasi misolini ko‘rib chiqamiz:

Avvalo, zkCoprocessor blokcheyndan foydalanuvchining tarixiy tranzaksiya yozuvlarini o‘qiydi, qoidalarga (masalan, oxirgi 30 kun) muvofiq savdo hajmini yig‘adi va unga nol bilimli isbot yaratadi;

Keyin, Pico zkVM tasdiqlangan yozuvlarni olib, keyingi agregatsiya va hisoblashni bajaradi (masalan, turli savdo juftliklarining hajmini bitta ko‘rsatkichga birlashtirish), hisoblash jarayoniga isbot yaratadi;

Oxirida, natija + isbot on-chain yuboriladi, kontrakt ikki qismli isbot to‘g‘riligini bir martada tekshiradi va shu asosda manzil VIP chegarasiga yetganini tasdiqlaydi hamda keyingi hisoblash davrida avtomatik chegirma qo‘llaydi.

Bu usul orqali kontrakt on-chain ko‘plab tarixiy ma’lumotlarni takroran o‘qish va hisoblashga hojat qoldirmaydi, o‘tmishni ko‘rish imkoniga ega bo‘ladi va ishonchsizlik hamda xarajat nazoratda qoladi.

BlockBeats: Sizlar o‘zlaringiz Pico zkVM ishlab chiqqansiz, boshqa zkVM loyihalarini emas, bunga sabab nima? Brevis boshqa zk loyihalardan nimasi bilan farq qiladi?

Michael:Bu juda muhim savol. Haqiqatan ham, bozorda ko‘plab zkVM loyihalari bor, nega Brevis o‘zining Pico zkVM’sini noldan yaratdi? Asosiy sabab oddiy—mavjud zkVM’larning aksariyati hali laboratoriya bosqichida, haqiqiy keng ko‘lamli, real dunyo ilovalari uchun mo‘ljallanmagan, samaradorlik, xarajat va kengayish bo‘yicha katta orqada. Boshqacha aytganda, ular ko‘proq konseptual isbot, millionlab chaqiriqlarni ko‘tara oladigan ishlab chiqarish tizimi emas.

Brevis boshidanoq real ehtiyojli holatlarga duch keldi. PancakeSwap, Euler, Linea, Usual kabi yirik DeFi protokollari har kuni millionlab zk Proof yaratishi kerak. Agar asosiy zkVM samaradorligi yetarli bo‘lmasa, butun tizim ishga tushmaydi. Bu bizni haqiqiy ishlab chiqarish uchun yaratilgan zk hisoblash dvigatelini qayta yaratishga majbur qildi—bu Pico zkVM.

Pico uchta muhim xususiyatga ega. Birinchisi—eng yuqori samaradorlik. Pico hozirda dunyodagi eng kuchli zkVM, eng so‘nggi Pico Prism 64 ta 5090 GPU’da Ethereum mainnet’ning 99.6% bloklarini real vaqtda isbotlay oladi (12 soniya ichida), ulardan 96.8% bloklar 10 soniya ichida, bu 3–4 baravar samaradorlik oshishi va apparat xarajatining 50% ga kamayishini anglatadi. Boshqacha aytganda, agar Ethereum bugun Pico’da ishlasa, butun verifikatsiya samaradorligi bir necha baravar oshadi, bu haqiqiy real vaqtda isbot yutug‘idir.

Ikkinchisi—noyob modulli arxitektura. Pico hozirda yagona tashqi koprotsessorlarni qo‘llab-quvvatlaydigan zkVM, boshqa zkVM’lar odatda yopiq tuzilma, faqat umumiy hisoblashni bajaradi, Pico esa turli ilova holatlariga mos modullarni ulash mumkin. Masalan, tarixiy ma’lumotlarga kirish, on-chain yozuvlarni tekshirish yoki murakkab moliyaviy mantiqni bajarishda, Pico koprotsessori plagin sifatida ulanishi mumkin, maxsus vazifalar uchun tezlashtirish. Bu Pico’ga umumiylik va maxsus yuqori samaradorlikni birlashtirish imkonini beradi, Web3 DeFi’dan Web2 AI hisoblashgacha turli ilovalarni qamrab oladi.

Uchinchisi—dasturchilar uchun qulaylik. Biz dasturchilar kriptografiya yoki ZK nazariyasini mukammal bilishi shart bo‘lishini istamaymiz. Dasturchi faqat Rust yozishni bilsa, to‘g‘ridan-to‘g‘ri chaqira oladi, oddiy dastur yozgandek ZK ilova yozadi. Bu to‘siqni ancha pasaytiradi va ZK murakkabligi butunlay pastki qatlamda yashirinadi. Umuman olganda, biz eksperimental zkVM emas, balki real dunyo va haqiqiy holatlar uchun yaratilgan ZK hisoblash dvigatelimiz.

BlockBeats: Yaqinda e’lon qilgan Pico Prism iste’molchi darajasidagi apparatda 99.6% real vaqtda isbotni amalga oshirdi. Bu natija ortidagi texnik yutuq va u zkVM samaradorlik chegarasi uchun nimani anglatadi?

Michael: Avvalo, bu natijaning ahamiyatini tushuntiraman. Samaradorlik oshishi faqat texnik optimizatsiya emas, balki Ethereum ekotizimi kelajakdagi kengayishi va rivoji uchun muhim. Ethereum hozirgi arxitekturasi har bir tugun bir xil hisoblashni takroran bajarishini talab qiladi, bu xavfsiz, lekin kengayish chegarasiga yetgan. Keyingi qadam—yangi paradigma: bitta tugun katta hisoblashni bajarib, ZK Proof yaratadi, boshqa tugunlar faqat tekshiradi. Bu yagona hisoblash, ko‘p nuqtali verifikatsiya orqali markazsizlashuv va xavfsizlikni saqlagan holda throughput’ni bir necha baravar oshirish, hatto Solana darajasiga yetkazish, shu bilan birga zarur tugun sonini saqlash mumkin.

Ethereum Foundation shu yil iyulda ikki yillik maqsadni e’lon qildi: 100 ming dollardan kam iste’molchi apparatida 99% blokning real vaqtda isbotini amalga oshirish. Bu amalga oshsa, oddiy apparat hisoblash quvvatini qo‘shib, deyarli cheksiz kengayish maydoni ochiladi. Lekin hozirgacha bu nazariy imkoniyat edi: ko‘plab zkVM yechimlari qamrov, xarajat va tezlik bo‘yicha bu standartdan ancha orqada, ko‘plari hatto 90% real vaqtda qamrovga erisha olmaydi.

Pico Prism esa, bu samaradorlik chizig‘ini birinchi bo‘lib bosib o‘tdi. Testda faqat 64 ta 5090 GPU (taxminan 120 ming dollar xarajat) ishlatib, Ethereum bloklarining 99.6% 12 soniya ichida isbotlandi, ulardan 96.8% 10 soniyada, o‘rtacha isbot vaqti 6.9 soniya.

Boshqa protokollar bilan solishtirganda, Pico samaradorligi 70% oshdi, xarajat 50% ga kamaydi. Boshqacha aytganda, u nafaqat tezroq, balki arzonroq ham, va biz Ethereum Foundation belgilagan maqsadga juda yaqinmiz.

BlockBeats: Funksiya va maqsad nuqtai nazaridan, Brevis ko‘proq Ethereum uchun ZK tezlashtirish qavati, yoki ko‘proq ko‘p zanjirli verifikatsiyalanuvchi hisoblash bulutiga o‘xshaydi?

Michael:Funksiya va maqsad nuqtai nazaridan, bu ikki pozitsiya bir-biriga zid emas. Qisqa muddatda, Brevis ko‘proq Ethereum va uning Layer 2’lari uchun ZK tezlashtirish qavati. Biz Ethereum Foundation bilan bir yo‘nalishda ishlaymiz: nol bilimli isbot orqali mainnet’ni 10 baravar, 100 baravar kengaytirish; shu bilan birga, real vaqtda isbot Layer 2 Rollup’larning interaktivligini oshiradi, cross-chain tezligini, samaradorligini va xarajatini yaxshilaydi, holat va likvidlikni yaxshiroq birlashtiradi.

Uzoq muddatda va kengroq nuqtai nazardan, Brevis pozitsiyasi Ethereum bilan cheklanmaydi. Bizning arxitektura tabiatan ko‘p zanjirni qo‘llab-quvvatlaydi, hozirda BNB Chain kabi ekotizim hamkorlari bilan hamkorlik qilmoqda (masalan, PancakeSwap), va Ethereum’dan tashqaridagi perpetual contract loyihalari bilan ham hamkorlik qilmoqda; Arbitrum, Base, Avalanche kabi Layer 2/ko‘p zanjirli ekotizim bilan ham hamkorlik qilmoqda. Umuman olganda, Brevis’ni barcha blokcheyn ilovalari uchun verifikatsiyalanuvchi hisoblash bulutiga aylantirmoqchimiz.

Maqsadimiz—keyingi 3–5 yilda qaysi zanjirda joylashtirilgan bo‘lishidan qat’i nazar, har bir aqlli kontrakt bu hisoblash xizmatidan oson foydalanishi; uzoq muddatda esa, blokcheyn ilovalari hisoblashining asosiy qismi off-chain bo‘ladi va ZK orqali ishonchliligi kafolatlanadi, Brevis esa butun markazsizlashgan tizim uchun yagona hisoblash ishonch qavati bo‘ladi.

Qanday amalga oshiriladi: Real ilovalar va misollar

BlockBeats: Ko‘plab DeFi ilovalari, masalan, PancakeSwap, Euler yoki Linea, allaqachon Brevis texnologiyasidan foydalanmoqda, bu holatlarda qanday ishlashini aniq misol bilan tushuntira olasizmi?

Michael:Ha, hozirgi ilova holatlarimiz bir nechta toifaga bo‘linadi, eng tipiklari DeFi. Yangi aytgan PancakeSwap—standart misol, biz DEX foydalanuvchi tajribasi har doim bir xil bo‘lishini istamaymiz—oddiy treyder yoki yuqori hajmli foydalanuvchi bo‘lishidan qat’i nazar, interfeys va komissiya bir xil. Biz DEX’lar asta-sekin CEX’lar kabi, turli foydalanuvchilarga farqlangan tajriba taqdim etishini istaymiz. Shu bilan birga, yana ko‘plab innovatsion ilovalarni o‘rganmoqdamiz. Masalan, SocialFi kabi loyihalar bilan hamkorlikda, foydalanuvchi asosiy hamyonini oshkor qilmasdan o‘z ta’siri va real pozitsiyasini isbotlashi mumkin.

Shuningdek, deyarli butunlay off-chain ishlaydigan holatlarni ham rivojlantirmoqdamiz. Masalan, Hyperliquid kabi perpetual trading tizimlarida, foydalanuvchi pozitsiyasi, leveraji va boshqalar odatda ochiq, bu esa boshqa treyderlar tomonidan hujumga olib kelishi mumkin. Biz ZK texnologiyasi orqali bu tizimni qayta qurmoqchimiz, barcha buyurtma va pozitsiya yozuvlari shifrlanadi, lekin ZK Proof orqali matching va tizim xavfsizligi kafolatlanadi. Bu markazlashtirilgan trading platformasiga yaqin silliq tajriba beradi, lekin blokcheyn darajasida xavfsizlik va maxfiylikni saqlaydi.

BlockBeats: Mahsulot darajasida, Incentra sizlarning muhim ilovangiz, hozirda 300 million dollardan ortiq rag‘bat taqsimotini boshqaradi, bu tizim qanday ishlaydi?

Michael:Incentra’ning boshlang‘ich nuqtasi oddiy: rag‘bat taqsimoti har bir ekotizim o‘sishining asosi, lekin uzoq yillardan beri taqsimot mexanizmlarida xavfsizlik, muvofiqlik va shaffoflik muammolari bor.

Incentra asosiy mexanizmi—foydalanuvchi o‘zining on-chain yoki protokoldagi real harakatlariga asoslangan ZK isbot yaratadi, to‘g‘ridan-to‘g‘ri on-chain kontrakt orqali malaka tekshiruvi va olishni amalga oshiradi, markazlashtirilgan taqsimotga ehtiyoj yo‘q. An’anaviy usullarga nisbatan, bu model uchta afzallikka ega. Birinchisi, xavfsizlik: mablag‘ kontraktda oldindan belgilangan qoidalarga muvofiq taqsimlanadi, markazlashtirilgan boshqaruv va operatsion xavf kamayadi; ikkinchisi, muvofiqlik va audit: rag‘bat qoidalari va malaka isbotlari on-chain kuzatiladi, noma’lum subyektlarga to‘lov bosimini oldini oladi; uchinchisi, adolat va shaffoflik: har bir olish harakati tashqi mustaqil ravishda haqiqiy hissa va hisoblash yo‘lini tekshirishi mumkin, qora quti taqsimotga yo‘l qo‘ymaydi. Hozirda, bu tizim BNB Chain, MetaMask, OpenEden, Usual va boshqa loyihalarda o‘sish va rag‘bat holatlarida ishlatilmoqda. Barqarorcoin ekotizimi yoki on-chain rag‘bat tizimi bo‘lishidan qat’i nazar, bu yechim xavfsiz, muvofiq va shaffof rag‘bat taqsimotini ta’minlaydi.

BlockBeats: Ko‘plab ZK loyihalari hali laboratoriya bosqichida, Brevis esa keng ko‘lamli amalga oshdi, sizlar buni tezroq qanday amalga oshirdingiz deb o‘ylaysiz?

Michael:Menimcha, eng asosiy sabab—biz birinchi kundan o‘zimizni tadqiqotchi ZK laboratoriyasi emas, balki real ilovalar uchun infratuzilma kompaniyasi deb bildik. Bizning texnologik yo‘nalishimiz—avval dvigatel yaratib, keyin foydalanish emas, aksincha: ilova ehtiyojidan kelib chiqib, pastki arxitekturani orqaga qarab loyihalash.

Bu Brevis’ning asosiy farqini belgilaydi. Ko‘plab ZK loyihalari avval mukammal ko‘rinadigan zkVM ishlab chiqadi, keyin uni qayerda ishlatishni o‘ylaydi; biz esa hamkor loyihalarning real muammolaridan kelib chiqib, ularning ehtiyojini tushunamiz, so‘ngra modulli zkVM arxitekturasini loyihalab, undan tashqari tashqi zkCoprocessor yaratamiz.

Boshqacha aytganda, Brevis texnologik evolyutsiyasi havodan emas, balki real foydalanuvchi va hamkorlar tomonidan bosqichma-bosqich shakllantirilgan. Muammoga yo‘naltirilgan tadqiqot usuli bizga tez iteratsiya qilish imkonini beradi, har bir yaxshilanish bevosita verifikatsiyalanuvchi holatga mos keladi. Bu tizimimiz boshidanoq ishlab chiqarish darajasida barqarorlik va kengayish imkoniga ega bo‘lishini ta’minlaydi, maqola uchun kod yozish emas.

Yana bir oddiy sabab: jamoamiz kriptografiyani ham, keng ko‘lamli tizim muhandisligini ham yaxshi biladi. Biz hech qachon nazariy darajada qolmaymiz, balki ishlab chiqarishda samaradorlik va barqarorlikni sinovdan o‘tkazamiz. Hozirgacha, Brevis mainnet’da 100 milliondan ortiq nol bilimli isbot yaratdi, taxminan 190 ming foydalanuvchiga xizmat ko‘rsatdi, hamkor protokollar uchun 300 million dollardan ortiq haqiqiy rag‘bat mablag‘ini boshqardi. Bular haqiqiy ilovalar—masalan, Linea, Euler, Usual, OpenEden va boshqalar—Demo yoki Testnet emas.

Keyingi qadamlar: Ochiq holatlar va kelajak vizyoni

BlockBeats: DeFi’dan tashqari, sizningcha off-chain hisoblash, on-chain verifikatsiya modeli kelajakda yana qaysi sohalarda ta’sir ko‘rsatadi, masalan, AI, ma’lumot bozori yoki o‘yinlar?

Michael:DeFi’dan tashqari, bu model verifikatsiyalanuvchi AI, Web2’dan Web3’ga ma’lumot va identifikatsiya ko‘prigi, maxfiy ma’lumot bozori, o‘yin va ijtimoiy sohalarda doimiy ta’sir ko‘rsatadi. Avvalo, verifikatsiyalanuvchi AI sohasida, mavjud modellar ko‘pincha qora quti. Nol bilimli isbot orqali inference jarayoniga matematik isbot yaratish, ma’lum model berilgan inputda ma’lum output berganini va model yoki jarayon o‘zgarmaganini isbotlash mumkin. Ikkinchidan, Web2’dan Web3’ga ko‘prik holatlarida, foydalanuvchi markazlashtirilgan platformadagi malaka yoki harakatini isbot shaklida on-chain ilovaga olib kirishi mumkin, masalan, markazlashtirilgan trading platformasidagi faoliyatni DEX’dagi komissiya chegirmasiga aylantirish, identifikatsiya yoki hisob tafsilotlarini oshkor qilmasdan. Nihoyat, o‘yin va ijtimoiy sohalarda, foydalanuvchi o‘zining tarixiy yutuqlari, aktivlari yoki muhim harakatlarini isbotlashi mumkin, bu orqali kirish huquqi, matching yoki rag‘bat oladi, hamyon yoki shaxsiy ma’lumotlarni oshkor qilmasdan.

Uzoq muddatda, bu tizim raqamli dunyoda ishonch chegarasini qayta belgilaydi. Web3 va nol bilimli isbot orqali, butun insoniyat jamiyatining ishonchli hisoblashni tushunishini qayta qurmoqchimiz, har bir hisoblash verifikatsiya qilinishi va ishonilishi mumkin bo‘lishini istaymiz. Brevis’ning maqsadi—shu hammasining asosi, yangi hisoblash ishonch qavati bo‘lish.

BlockBeats: 13-oktabrda Brevis Proving Grounds yangi tadbirini boshladingiz, bu tadbirning asosiy mazmuni nima, foydalanuvchilar nimalarda ishtirok etishi va tajriba qilishi mumkin?

Michael:Aslida, so‘nggi vaqtlarda biz ko‘plab kuchni real ilovalarni sinash va hujjatlarni tasdiqlashga sarfladik. Hozirda yigirmadan ortiq hamkor bilan chuqur hamkorlik qilmoqdamiz, har bir loyiha haqiqiy ishga tushgan, foydalanuvchi to‘g‘ridan-to‘g‘ri foydalanishi mumkin bo‘lgan holat, va bu loyihalarning ma’lumotlari va foydalanuvchi saqlanishi ham juda yaxshi.

Lekin aniqladikki, blokcheyn dunyosida ko‘plab ishlar foydalanuvchi tushunchasi orqali orqaga qarab rivojlanadi. Ya’ni, foydalanuvchi yangi texnologiya qiymatini tushunganidan so‘ng, ularning fikr va ehtiyojlari dasturchilarni ko‘proq funksiyalar yaratishga undaydi. Shu sababli, foydalanuvchini haqiqatan ham jalb qilmoqchimiz, ular faqat tomoshabin emas, balki bevosita tajriba qiluvchi va isbotlovchi bo‘lishini istaymiz. Bu The Brevis Proving Grounds tadbirining asosiy maqsadi.

Butun tadbir ikki bosqichga bo‘linadi. Birinchi bosqich—foydalanuvchi ta’limi, ko‘proq odamlar hamkorlarimiz nima qilayotganini va nol bilimli isbot (ZK) bu loyihalarda qanday muammolarni hal qilishini tushunishini istaymiz. Bu bosqich ko‘proq ommalashtirish va tushunishga qaratilgan, texnologiya ortidagi mantiq va ahamiyatni tushuntirish.

Ikkinchi bosqich—haqiqiy tajriba, ya’ni foydalanuvchi biz allaqachon ishga tushirgan ilovalardan foydalanadi, Brevis integratsiyasidan keyin mahsulot qanday o‘zgarganini ko‘radi. Ko‘plab loyihalardan farqli, boshqa loyihalarda tadbirlar odatda foydalanuvchi faqat tugmani bosadi, vazifani bajaradi, kichik mukofot oladi, chunki ular haqiqiy tajriba qilinadigan, innovatsion funksiyalarga ega emas. Bizda esa boshqacha, hamkor loyihalar o‘zlari haqiqiy, foydali ilovalar, foydalanuvchi ishtirok etganda simulyatsiya emas, balki Brevis texnologiyasi chuqur integratsiyalangan mahsulotdan foydalanadi.

Shu yo‘l bilan foydalanuvchi ZK texnologiyasi olib kelgan silliq tajriba va qiymat o‘zgarishini bevosita his qilishi, off-chain hisoblash, on-chain verifikatsiya modeli ilovani qanday xavfsiz va samarali qilganini tushunishini istaymiz. Eng muhimi, ko‘proq foydalanuvchini ekotizim harakatlantiruvchisiga aylantirmoqchimiz: ko‘proq foydalanuvchi bu mexanizmni talab qilganida, butun soha innovatsiyasi ham orqaga qarab faollashadi.

BlockBeats: Bu tadbirdan tashqari, Brevis hozir yana qanday rejalarga ega? Foydalanuvchilar yana qanday ishtirok eta oladi?

Michael:Biz ishtirok etish mumkin bo‘lgan ekotizim rejalari chiqarishda davom etamiz, jumladan markazsizlashgan isbot tugunlari tarmog‘ini ishga tushirish, ochiqroq isbot va verifikatsiya infratuzilmasini yaratish. Tegishli rejalarda hamjamiyat va ekotizim hamkorlari uchun ochiq ishtirok kanallari bo‘ladi, aniq ishtirok usuli va vaqti keyin e’lon qilinadi.

BlockBeats: Uzoq muddatda, Brevis qanday infratuzilma bo‘lishini istaysiz? U Web3 dunyosida qanday rol o‘ynashni xohlaydi?

Michael: Vizyonimiz—Brevis’ni Web3’ning cheksiz hisoblash qavati, butun ishonchli hisoblash manbai qilish. Ethereum aqlli kontraktlar orqali aktiv va moliyaning ishonch mantiqini qayta qurdi, Brevis esa hisoblash ishonch mantiqini qayta qurishni maqsad qiladi: endi o‘zingiz hisoblash yoki boshqalarning natijasiga ishonish o‘rtasida tanlash shart emas, takroran hisoblashsiz, verifikatsiyalanuvchi hisoblash orqali natijaning xavfsizligi va to‘g‘riligini kafolatlash mumkin.

Kelajakda, on-chain ilovalar oddiy tranzaksiya va aktiv o‘tkazishdan ko‘ra, yanada aqlli, murakkab tizimlarga aylanadi, ilg‘or algoritmlar, ma’lumot almashinuvi, shaxsiylashtirilgan tajriba va ijtimoiy harakat isbotini o‘z ichiga oladi. Keng qamrovli qabul qilish uchun kuchli hisoblash quvvati va to‘liq xavfsizlik kerak. Biz bu isbotli hisoblashni keng tarqalgan, oson va arzon qilishni istaymiz—har bir Web3 ilova bu imkoniyatni tabiiy ravishda o‘zlashtira olsin, har safar g‘ildirakni qayta ixtiro qilish shart bo‘lmasin.

Arxitektura nuqtai nazaridan, konsensus qavati, ma’lumot qavati, bajarish qavatidan tashqari, yangi ishonch qavati—cheksiz hisoblash qavati qo‘shishni istaymiz. Bu blokcheynning to‘rtinchi infratuzilmasi bo‘ladi, butun markazsizlashgan dunyoga yagona hisoblash ishonchliligi va verifikatsiya imkonini beradi. Barcha aqlli, murakkab, hatto cross-chain hisoblashlar nol ishonch asosida verifikatsiya qilinib, ishlatilishi mumkin. Bu biz tushungan cheksiz hisoblash va Brevis’ning uzoq muddatli missiyasidir.