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
AQSh fond bozori oldidagi "yaxshi yangiliklarni" o'tkazib yubordimi? Daromad prognozi kamdan-kam ko'tarildi, strateg: Asosiy omil juda kuchli va "haqiqiy emasdek" ko'rinadi
Seaport Research Partners AQSh fond bozorida kompaniya daromadlari va aksiyalar narxlari orasida sezilarli tafovut yuz berayotganini ta’kidlamoqda: ikkinchi chorakda daromad kuchli bo‘ldi, tahlilchilar prognozlarini uzluksiz oshirmoqda, biroq yuqori foiz stavkalari va daromadlarning barqarorligiga oid xavotirlar baholashni bosib turibdi. Sanoat va transport kabi sektorlarda narx xatoliklari bo‘lishi mumkin. Biroq, agar Federal Reserve yana foiz stavkalarini oshirish signali bersa, qisqa muddatda fond bozoriga bosim o‘tkazilishi mumkin.
AQSH oraliq saylovi yaqinlashmoqda, Wall Street Kongressning bo‘linishiga tikish qo‘ymoqda, bozor yumshoq nafas olish davrini kutayaptimi?
Amerika Qo‘shma Shtatlarida oraliq saylovlar yaqinlashmoqda, Volstritda aksariyat investorlar Demokratlar Vakillar palatasini qo‘lga kiritishi va Respublika partiyasi Senatni saqlab qolishini kutmoqda, bu esa “bo‘linib qolgan Kongress” holatini yuzaga keltiradi. Investorlar bunday muvozanat radikal siyosatlarni cheklaydi va noaniqlikni kamaytiradi, deb hisoblamoqda. Tarixiy ma’lumotlarga ko‘ra, 1950-yildan beri Respublikachi prezident hukmronligi davrida bo‘linib qolgan Kongress holatida AQSH fond bozori o‘rtacha yiliga 13,7% o‘sishni ko‘rsatgan, bu esa Respublikachilar yoki Demokratlar yagona boshqaruvda bo‘lgan davrdagi mos ravishda 8,3% va 4,9% dan yuqori. Agar saylov natijalari kutilmagan bo‘lsa, bozorlar hali ham keskin tebranishi mumkin.
Amerika fond bozorining mashhur investor Eric Jackson Shengda Texnologiya (SDA.US) maslahatchilar kengashiga qo‘shildi va kompaniyaning xalqaro strategiyasi hamda investorlar bilan aloqalarni rivojlantirishga yordam beradi.
EMJ Capital asoschisi va mashhur texnologiya investori Eric Jackson kompaniyaning maslahat qo'mitasiga rasmiy ravishda qo'shildi.
AI faraz qilish davrida "yorug‘lik o‘zaro ulanishi"ga talab oshdi! "Yorug‘likda turgan" Lumentum (LITE.US) NPOda peshqadamlik qilmoqda, OCS hajmini kengaytirmoqda va foyda o‘sishi uchun poydevor yaratmoqda
Asosiy mühendislik nuqtai nazaridan qaraganda, optik o‘zaro ulanishga bo‘lgan ehtiyoj ko‘proq hisoblash tugunlari o‘rtasida tez-tez va yanada qat’iy ma’lumot almashinuvidan kelib chiqadi: Mixed Expert Model (MoE)ning ekspert parallelizatsiyasi GPUlar o‘rtasida ma’lumotlarni tarqatish va yig‘ish talab qiladi; Prefill–Decode Disaggregation kalit-qiymat keshini (KV Cache) uzatishni talab qiladi; murakkab agent ish jarayonlari model chaqiruvlari, vositalar bajarilishi va ma’lumotlarga kirishning bir vaqtda ko‘payishini oshiradi.
Kripto narxlari
Ko'proq
