[Inglizcha uzun tvit] Brevis tadqiqot hisobot: zkVM va ZK ma'lumotlar ko'protsessorining cheksiz tekshiriladigan hisoblash qatlami

Chainfeeds sharhi:

Brevis umumiy zkVM (Pico/Prism) va ma'lumotlar koprotsessorini (zkCoprocessor) birlashtirish orqali ko‘p zanjirli tekshiriladigan hisoblash qatlamini yaratdi.

Manba:

Jacob Zhao

Fikrlar:

Jacob Zhao: "Verifiable Computing" (tekshiriladigan hisoblash) blokcheynning umumiy hisoblash modeli bo‘lib, uning asosiy g‘oyasi "zanjirdan tashqarida hisoblash + zanjirda tekshirish" hisoblanadi. Ushbu paradigma blokcheynga markazsizlashtirish va ishonchni minimal darajada saqlagan holda deyarli cheksiz hisoblash imkoniyatini beradi. Zero-knowledge proof (ZKP) ushbu tizimning tayanchi bo‘lib, asosiy qo‘llanilish yo‘nalishlari kengaytiriluvchanlik, maxfiylikni himoya qilish va o‘zaro ishlash / ma'lumotlar yaxlitligini o‘z ichiga oladi. Ulardan kengaytiriluvchanlik eng birinchi amalga oshirilgan yo‘nalish bo‘lib, hisoblashni zanjirdan tashqarida bajarish va zanjirda qisqa isbotlarni tekshirish orqali yuqori o‘tkazuvchanlik va arzon narxda ishonchni kengaytirish imkonini beradi. ZK texnologiyasining rivojlanish yo‘li quyidagicha umumlashtiriladi: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup birinchi marta zanjirdan tashqarida bajarish va zanjirda tekshirishni amalga oshirdi, bu esa unumdorlikni sezilarli darajada oshirdi; zkVM esa umumiy tekshiriladigan hisoblash qatlamiga kengaytirilib, ko‘p zanjirli tekshirish, AI xulosalari va kriptografik vazifalarni qo‘llab-quvvatlaydi; zkCoprocessor ushbu modelni modullashtirib, DeFi, RWA va risklarni boshqarish uchun plug-and-play isbot xizmatiga aylandi; L1 zkEVM esa nihoyat zero-knowledge tekshirishni Ethereum bajarish qatlamiga o‘rnatib, real vaqtli isbotlash (Realtime Proving, RTP) ni amalga oshiradi. Ushbu evolyutsiya blokcheynni "kengaytiriluvchanlik"dan "tekshiriluvchanlik"ga o‘tkazib, ishonchsiz hisoblash davriga olib kiradi. Ethereumning zkEVM yo‘li ikki bosqichdan iborat: birinchi bosqich (2022–2024), L2 Rollup bajarish qatlamini ko‘chiradi, lekin likvidlik va holat bo‘linishini keltirib chiqaradi; ikkinchi bosqich (2025–), L1 RTP 1-of-N isbotini N-of-N qayta tekshiruv o‘rniga joriy etadi, bu esa o‘tkazuvchanlikni oshirgan holda markazsizlashtirishni saqlab qoladi. Ethereumdan tashqarida esa zero-knowledge hisoblash yanada kengroq tekshiriladigan hisoblash sohasiga yo‘l olmoqda, asosiy tizimlar zkVM va zkCoprocessor hisoblanadi. zkVM (zero-knowledge virtual machine) umumiy tekshiriladigan bajarish dvigateli bo‘lib, RISC-V, MIPS yoki WASM buyruq to‘plamlarida istalgan dasturlarni bajarishni qo‘llab-quvvatlaydi, natijaviy isbotlar zanjirda tekshiriladi va bloklarni tekshirish, AI xulosalari va ko‘p zanjirli vazifalarda ishlatiladi. Uning afzalligi umumiylik va moslashuvchanlikda, biroq isbotlarni yaratish xarajati yuqori va parallel optimizatsiya murakkab. Namunaviy loyihalar: RiscZero, SuccinctLabs’ning SP1 va Brevis’ning Pico zkVM. Taqqoslaganda, zkCoprocessor ko‘proq "maxsus holatlar uchun tekshiriladigan modul" bo‘lib, DeFi, RWA va boshqalar uchun standartlashtirilgan hisoblash va isbot interfeyslarini taqdim etadi, ilovalar faqat SDK yoki API orqali natija va isbotlarni olishlari mumkin, integratsiya tez, xarajat past, lekin umumiylik cheklangan. Ikkalasi ham "zanjirdan tashqarida hisoblash + zanjirda tekshirish" mantiqini baham ko‘radi: hisoblashni zanjirda bajarish xarajati zanjirdan tashqarida isbot yaratish va zanjirda tekshirishning umumiy xarajatidan ancha yuqori. Biznesda, zkVM "Proving-as-a-Service" modeliga kiradi va infratuzilma uchun hisoblash dvigatelini taqdim etadi; zkCoprocessor esa "Proof-API-as-a-Service" bo‘lib, SaaS tuzilmasida vazifalar bo‘yicha xizmat ko‘rsatadi. Birinchisi texnologik himoya devorini quradi, ikkinchisi esa tijoratni rivojlantiradi. Ular birgalikda ishonchsiz hisoblash tarmog‘ining ikki qutbini shakllantiradi: zkVM hisoblash asosini yaratadi, zkCoprocessor esa ekotizimni rivojlantiradi. Brevis Network zkVM va zkCoprocessor arxitekturasini birlashtirib, umumiy yuqori unumli tekshiriladigan hisoblash infratuzilmasini yaratdi, bu "cheksiz hisoblash qatlami" deb ataladi. Uning Pico zkVM modulli arxitekturani qabul qilib, umumiy bajarish qatlamini apparat tezlashtirilgan koprotsessor qatlamidan ajratadi va "General + Specialized" ikki qatlamli tizimni amalga oshiradi, turli isbot backendlari va rekursiv siqish modullarini qo‘llab-quvvatlaydi, ishlab chiquvchilar Rustda biznes mantiqini yozib avtomatik isbot yaratishlari mumkin, bu esa kirish to‘sig‘ini sezilarli darajada pasaytiradi. Pico Prism esa ko‘p GPU klasterlarida unumdorlikni yanada oshirib, 64×RTX5090 muhitida o‘rtacha 6.9 soniyada isbot, 96.8% RTP qamrovini ta’minlaydi va unumdorlik/xarajat nisbati bo‘yicha o‘xshashlardan 3.4 baravar ustun. Brevis’ning zk Data Coprocessor’idan foydalanib, aqlli kontraktlar "xotiraga" ega bo‘ladi, ular ishonchsiz tarzda tarixiy ma’lumotlarga kirish va tekshirishni amalga oshiradi, bu likvidlik mukofotlari, ko‘p zanjirli identifikatsiya va ma’lumotlarga asoslangan DeFi uchun ishlatiladi. Uning Incentra rag‘batlantirish qatlami ZK isbot orqali zanjirda shaffof taqsimotni amalga oshiradi va PancakeSwap, Euler, UsualMoney, Linea kabi protokollarga xizmat ko‘rsatmoqda. Brevis Explorer ma’lumotlariga ko‘ra, 2025 yil oktyabriga qadar tarmoq 125 milliondan ortiq ZK isbot yaratgan, 2.8 milliard dollardan ortiq TVL’ni qo‘llab-quvvatlagan va 1 milliard dollardan ortiq tranzaktsiyalarni tekshirgan. Brevis Ethereum va EigenLayer xavfsizlik qatlamiga tayanib, BNB, Linea, 0G va boshqa ekotizimlarga kengayib, zanjirda rag‘batlantirish, likvidlikni optimallashtirish va ko‘p zanjirli tekshirish uchun asosiy yordamni taqdim etadi va texnologiya hamda ilovalar o‘rtasida ikki tomonlama aloqaga ega bo‘lgan flywheel tipidagi tekshiriladigan hisoblash tarmog‘ini qurmoqda. [Original matn ingliz tilida]