Brevis ProverNet oq qog'ozini chiqardi, birinchi markazlashmagan nol bilimli isbot yaratish bozori haqida batafsil ma'lumot berdi

Chainfeeds sharhi:

ProverNet yaqinda rasmiy ishga tushiriladi, amalga oshirish tafsilotlari va vaqt jadvali keyinroq e’lon qilinadi.

Maqola manbasi:

Maqola muallifi:

Brevis

Fikrlar:

Brevis:ProverNet arxitekturasi turli isbot turlarini auksiondagi turli tovarlar sifatida ko‘radi. Ilovalar isbot talablarini belgilaydi, jumladan, ishlov berish turi (zkVM bajarilishi, ma’lumot isboti, rekursiv agregatsiya), muddat, maksimal to‘lov va sifat parametrlari. TODA mexanizmi har bir raundda optimal taqsimotni hisoblab chiqadi va geterogen so‘rovlarni mos isbot imkoniyatlari bilan moslashtiradi. Ushbu mexanizm isbot yaratish bozorining o‘ziga xos muammolarini hal qiladi. An’anaviy auksion mexanizmlari tovarlarning bir xilligiga asoslanadi, TODA esa bir vaqtning o‘zida bir nechta isbot turlarini qayta ishlay oladi. Murakkab isbot vazifalari kichikroq vazifalarga bo‘linadi va turli isbotchilar tomonidan hamkorlikda bajariladi. Masalan, bir zkVM isboti bir isbotchida bloklarga bo‘lish, boshqasida siqish, uchinchisida agregatsiya va oxirida to‘rtinchi maxsus tizimda yakuniy tasdiqlashni o‘z ichiga olishi mumkin. TODA bir nechta iqtisodiy xususiyatlarni kafolatlaydi: haqiqatlilik (eng yaxshi strategiya — halol narx taklif qilish); byudjet muvozanati (yig‘ilgan to‘lovlar to‘langan to‘lovlardan ko‘p); individual ratsionallik (ishtirokchilardan hech biri foydasiz vazifani qabul qilmaydi) va asimptotik optimalik (isbotchilar soni oshgani sari taqsimot maksimal samaradorlikka yaqinlashadi). ProverNet Brevis’ning mavjud isbot infratuzilmasi asosida qurilgan bo‘lib, u turli hisoblash ehtiyojlariga xizmat qilish uchun ikki to‘ldiruvchi mahsulotni o‘z ichiga oladi. Pico zkVM “umumiy yadro + yuqori samarali koprotsessor” arxitekturasidan foydalanadi, bunda juda soddalashtirilgan va samarali yadro maxsus kriptografik tezlatkichga ulanadi, bu esa dasturlarga barqaror virtual mashinada ishlash bilan birga yo‘naltirilgan apparat optimallashtirishini beradi. Pico Prism yaqinda gaz limiti 45 million bo‘lgan Ethereum bloklarining 99.6% isbot qamrovini amalga oshirdi, ulardan 96.8% isbotni 12 soniya ichida yakunladi, o‘rtacha isbot vaqti 6.9 soniyani tashkil etdi. Ushbu tizim 64×RTX 5090 GPU klasteridan foydalanadi va oldingi bozordagi eng yaxshi zkVM’dan 50% arzon apparat xarajatlari bilan real vaqtda isbotni amalga oshiradi. ZK ma’lumot koprotsessori aqlli kontraktlarga tarixiy blockchain ma’lumotlariga kirish va shifrlab tasdiqlanadigan off-chain hisob-kitoblarni bajarish imkonini beradi. Tizim tomonidan qo‘llab-quvvatlanadigan ilovalar qatoriga PancakeSwap’ning VIP tariflari (oldindan 30 kunlik savdo hajmini tekshirish), Euler’ning ishonchsiz mukofot taqsimoti (minglab manzillarning vaqt bo‘yicha og‘irliklangan balansini hisoblash) va Uniswap v4’ning marshrutlash qaytarimlari (markazlashtirilgan hisobvaraqsiz tranzaksiya huquqini tasdiqlash) kiradi. Ushbu integratsiyalar umumiy hisoblashni tasdiqlashdan farqli ravishda ma’lumotga boy isbot ehtiyojlarini namoyon qiladi. Ushbu tizimlar asosiy qatlam miqyosida real vaqtda kriptografik tasdiqlashning iqtisodiy samaradorligini belgilaydi va ProverNet bozor arxitekturasini rag‘batlantiruvchi geterogen ish yuklariga xizmat qiladi. ProverNet yagona isbot yetkazib beruvchi infratuzilmasidan bozor talabiga asoslangan resurs taqsimotiga o‘tishni anglatadi. Mavjud isbotchilar tarmoqlari odatda tor sohalarga moslashtirilgan (masalan, ma’lum bir Rollup isboti, ma’lum bir virtual mashina yoki bir xil ish turlari), bu esa ularning turli ehtiyojlarga samarali xizmat ko‘rsatish imkoniyatini cheklaydi. Bozor auksion modeli isbot jamoalariga ma’lum optimallashtirish maqsadlariga (STARK asosidagi batch ishlov berish, past kechikishli SNARK isboti, ma’lum kriptografik operatsiyalar) e’tibor qaratish imkonini beradi, umumiy infratuzilmani qurmasdan, ilovalar esa raqobatbardosh narx va xizmat kafolatiga ega bo‘ladi, yetkazib beruvchi bog‘liqligidan xoli tarzda. Dasturchilar uchun bu maxsus isbot infratuzilmasini qurish (qimmat va vaqt talab qiluvchi) hamda markazlashtirilgan xizmatlarga tayanish (ishonch taxminlarini kiritish) o‘rtasidagi muvozanat muammosini bartaraf etadi, chunki kriptografik tasdiqlash hisoblashning to‘g‘riligini kafolatlaydi, bozor raqobati esa narx samaradorligi va quvvat mavjudligini ta’minlaydi.