Aave Labs $1,5 millionlik audit dasturidan so‘ng V4 uchun ko‘p bosqichli xavfsizlik rejasini taqdim etdi
Aave Labs DeFi ning eng yirik kreditlash protokolining keyingi versiyasini himoya qilish uchun batafsil rejani e’lon qildi, bunda Aave V4 uchun bir yil davom etuvchi audit va tekshirish jarayoni va kelajakdagi rivojlanishlarda ushbu amaliyotlarni davom ettirish va’dasi keltirilgan.
Bu haftada chiqarilgan boshqaruv forumida, kompaniya V4 harakatini “xavfsizlik birinchi” ramkasi sifatida ta’rifladi, bu yerda aqlli shartnomalardagi himoya arxitekturaning ilk bosqichlaridanoq kiritilgan, oxirgi ishga tushirishdan oldingi audit sifatida ko‘rilmaydi.
Dastur formal verifikatsiya, qo‘lda audit, invariant test qilish, fuzzing va ommaviy xavfsizlik tanlovini birlashtirdi, jami taxminan 345 kunlik tekshiruv ichki jamoalar, tashqi auditorlar va mustaqil tadqiqotchilar tomonidan amalga oshirildi.
Ushbu ish Aave DAO tomonidan tasdiqlangan 1,5 million dollar xavfsizlik budjetidan moliyalashtirilgan, batafsil ma’lumotlar keltirilgan.
Asosiy majburiyatlar
Aave Labs ushbu tajriba natijasida protokolning kelajakdagi rivojlanishi uchun beshta uzoq muddatli xavfsizlik majburiyatlarini qabul qilganini aytdi.
Rivojlanish sikllarining boshidan formal verifikatsiyani kiritish, turli audit usullari uyg‘unlashtirilgan ko‘p qatlamli xavfsizlik metodologiyasini saqlash, rivojlanish jarayonida uzluksiz tekshiruv o‘tkazish, doimiy bug bounty dasturini ishga tushirish va YAQ yordamida aqlli shartnomalarni skanerlashni rivojlantirish - kelgusidagi asosiy majburiyatlar sifatida ro‘yxatga olingan.
Ayniqsa, formal verifikatsiya V4 jarayonida asosiy rol o‘ynagan, dedi Labs. Certora verifikatsiya firmasi Aave ishlab chiquvchilari bilan arxitektura bosqichidan boshlab hamkorlik qilgan, kod rasman auditdan o‘tishidan oldin arxitekturani shakllantirish va zaifliklarni aniqlashga yordam bergan.
Formal verifikatsiyadan tashqari, protokol bir nechta manual audit bosqichlaridan o‘tgan, bunda ChainSecurity, Trail of Bits va Blackthorn kabi firmalar, hamda mustaqil xavfsizlik tadqiqotchilari ishtirok etgan. Alohida invariant testlash majmuasi fuzzing vositalari yordamida asosiy komponentlar — likvidlik hisobi, likvidatsiya logikasi va foiz stavkalari modellari — xatti-harakatlarini tekshirgan.
Protokol kodi ham Sherlock platformasida 2025-yil dekabr – 2026-yil yanvar oralig‘ida olti haftalik ommaviy xavfsizlik tanlovidan o‘tgan. 900 dan ortiq tasdiqlangan ishtirokchi tanlov davomida 950 dan ortiq topilmalarni taqdim etgan, ammo dasturda kritikal va yuqori xavfliligi bo‘lgan zaifliklar aniqlanmadi.
Aave Labs V4 kod bazasi o‘zidan ilgari kelgan versiyadan ataylab kichik va ko‘proq modulli qilib ishlab chiqilganini, protokolning hub-and-spoke arxitekturasi qayta dizayniga ergashganini ta’kidlab, nishonli auditlar va soddaroq xavfsizlik ko‘rib chiqilishini ta’minlagan.
V4 xavfsizlik modeli kredit protokolida dastur ishlab chiqargan risk xizmati provayderlari va integratorlardan fikr-mulohazalarni ham kiritgan. Ularning takliflari xavf modelini faqat to‘g‘ridan-to‘g‘ri foydalanuvchi interaktsiyalari emas, balki Aave likvidligidan foydalanadigan integratsiyalangan tizimlarning xavfsizlik taxminlarini ham qamrab oldi.
Aave DAOdagi ziddiyat
Aave Labs’ning xavfsizlik ochiqligini taqdim etishi Aave ekotizimi uchun ichki notinchlik davriga to‘g‘ri keldi. So‘nggi oylar boshqaruv bo‘yicha kelishmovchiliklar moliyalashni taqsimlash, protokol yo‘nalishi va asosiy hissadorlarning roli ustida kuchaygan.
Bu yil boshida, BGD Labs — protokol infratuzilmasining muhim qismlariga mas’ul bo‘lgan uzoq muddatli texnik ishtirokchi — Aave bilan bog‘liq ishlarni to‘xtatish rejasini e’lon qildi, taxminan to‘rt yillik ishtirokdan so‘ng.
Yaqinda, ACI asoschisi Marc Zeller Aave Chan Initiative, boshqaruvda yirik ishtirokchi, iyulda hissadorlar orasidagi kuchaygan ziddiyat sababli protokoldan chekinmoqchi ekanligini aytdi.
Ushbu vaziyat “Aave will win” nomli taklif bo‘yicha bahs-munozaralardan keyin yuzaga keldi, u daromad o‘zgarishlari va yaqinlashayotgan V4 yangilanishi uchun kengroq rejalarni belgilagan. Taklif 52,6% qo‘llab-quvvatlash bilan “temperature check” ovozini o‘tdi, bu DAO ichida protokol kelajagi borasidagi bo‘linmalarni ko‘rsatdi.
Aave onchain kreditlash protokollari orasida eng yirigi bo‘lib, The Block’ning ma’lumotlar paneliga ko‘ra DeFi bo‘yicha eng katta oylik to‘lov ishlab chiqaruvchilaridan biri hisoblanadi.
Mas'uliyatni rad etish: Ushbu maqolaning mazmuni faqat muallifning fikrini aks ettiradi va platformani hech qanday sifatda ifodalamaydi. Ushbu maqola investitsiya qarorlarini qabul qilish uchun ma'lumotnoma sifatida xizmat qilish uchun mo'ljallanmagan.
Sizga ham yoqishi mumkin
Texnologik aksiya sotuvi to‘lqini orasida DoorDash (DASH.US) Nasdaq’dan tezroq o‘sdi! Rasmiy ravishda 17 milliard dollar evaziga Instacart’ni sotib oladi, supermarket yetkazib berishi va chakana reklama qiymatni qayta baholayaptimi?
Ikki yirik platformaning to‘liq integratsiyasi taqsimot iqtisodiyoti, iste’molchilarga yetib borish va chakana media monetizatsiyasining umumiy raqobat va muzokara qobiliyatini kuchaytirishi mumkin, bunda o‘z taqsimot tarmog‘iga ega bo‘lmagan oziq-ovqat chakana sotuvchilari ancha kuchli narx muzokarasi bosimiga duch keladilar; Spark va Shipt’ga ega Walmart va Target esa sal ko‘proq ta'sirga qarshi turishi mumkin.
Moliya hisobotidan oldingi taxminlar | 121 barobar P/E ko‘rsatkichi bilan xavfli tikish: Palantir (PLTR.US) prognozi "yetarlicha qoyilmaqom" bo‘lmasa, aksiyalar narxi birdaniga tushib ketishi mumkin
Palantir dushanba kuni savdo yopilgandan so‘ng uchinchi chorak hisobotini e’lon qiladi. Bozor kutilmalariga ko‘ra, daromad 2,18 milliard dollar bo‘lib, qariyb 85% o‘sishi kutilmoqda. Yil bo‘yicha prognoz ko‘tarildi va tijorat biznesining o‘sish sur’ati asosiy e’tiborda. Yuqori baholangan kompaniyada xatolarga yo‘l qo‘yish imkoniyati juda kichik.
BTIG ogohlantirdi: AQSh fond bozori "begona hudud" ga kirdi, oltin esa 3500 dollar darajasigacha pasayishi mumkin
AQSH fond bozori past o'zgaruvchanlik aslida sektoralarning keskin farqlanishi natijasida yuzaga kelgan soxta ko'rinishdir, ichki tuzilma juda zaif. BTIG ogohlantiradi: bozor xavotirli, keskin pasayish bilan tozalanishga muhtoj, Nasdaq kamida 8,5% qaytish xavfi ostida, S&P 500 esa 7300 punktga tushishi mumkin. Bundan tashqari, yarimo'tkazgichlar texnik jihatdan muhim darajadan pastga tushdi, AI sektori esa saylov siyosatining salbiy ta'siriga uchrashi mumkin, oltin va kumush allaqachon yuqoriga yetdi, haqiqiy pastki chegara hali kelgani yo'q.
AQSH fond bozorida "ko‘rinmas ayiq bozori" yuzaga keldimi? Oktyabr oyida AI aksiyalari 13% ga tushdi, "S&P 500-dan AI olib tashlangandan so‘ng" yangi rekord qayd etildi
AI bilan bog‘liq aksiyalar jami 13% dan ko‘proq pasaydi, AI tarkibini chiqarib tashlagandan so‘ng S&P 500 indeksi 8% ga oshdi va tarixiy maksimumga yetdi. Ba’zi tashkilotlar bu holatni “ko‘zga ko‘rinmas ayiq bozori” deb atamoqda, ular mablag‘lar yuqori baholangan AI aksiyalaridan AI bo‘lmagan tarkibiy aksiyalarga o‘tayotganini ta’kidlamoqda. Qisqa muddatli o‘zgarishlarga qaramay, bu tashkilot bozordan o‘rta va uzoq muddatli istiqbolni ijobiy baholamoqda, tuzatishlar navbatdagi o‘sishga kuch to‘plamoqda deb hisoblaydi va noyabr oyidagi bozorda ko‘plab o‘zgarishlar bo‘lishini kutmoqda.
Kripto narxlari
Ko'proq
