BlockBeats повідомляє, 5 березня, за офіційною інформацією, Aave Labs опублікували повний звіт про прозорість безпекового плану Aave V4, включаючи методи, процеси та результати, з підтримкою таких безпекових організацій, як Trail of Bits, Blackthorn, Certora та інших. За допомогою ручного аудиту, формальної верифікації, тестування інваріантів, fuzz-тестування та відкритих безпекових змагань було проведено приблизно 345 днів безпекових перевірок. Цей план підтримується спеціальним безпековим бюджетом у розмірі 1,5 мільйона доларів, затвердженим DAO.
Aave Labs оголосили про продовження п’яти ключових зобов’язань у рамках безпекового плану Aave V4: впровадження формальної верифікації на ранніх етапах розробки для забезпечення безпекової архітектури, а не лише її перевірки; застосування багаторівневих безпекових методів, включаючи ручний огляд, формальну верифікацію, тестування інваріантів, AI-підтримувану перевірку, fuzz-тестування та відкриті безпекові змагання для виявлення більшої кількості потенційних вразливостей; підтримка безперервного безпекового моніторингу, де рамки формальної верифікації та набір тестів інваріантів будуть постійно оновлюватися разом із розвитком протоколу; створення довгострокової програми винагород за вразливості для залучення ширшої безпекової спільноти до постійного моніторингу; а також оптимізація можливостей AI-сканування для постійного підвищення рівня інтелектуального безпекового виявлення у майбутніх версіях на основі досвіду тестування.
Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Chaos Labs виходить з Aave, оскільки DeFi-управління ризиками має правову прогалину
Компанія з управління ризиками Chaos Labs оголосила про припинення трирічного співробітництва з угодою про DeFi-позики Aave. Причина — у сторін є принципові розбіжності щодо підходів до управління ризиками. Цей вихід виявив юридичні «сірі зони» в DeFi-екосистемі, де бракує регуляторних гарантій, зокрема після нещодавнього інциденту з оракулом, який призвів до помилкового ліквідування приблизно на 27 мільйонів доларів. Відокремлення Chaos Labs від Aave залишило Aave в період важливого оновлення V4 без належної керівної підтримки, що ще більше посилило занепокоєння щодо відповідальності децентралізованих систем ризику.
MarketWhisper35хв. тому
21 криптовалютних проєктів оголосили про закриття або скорочення послуг через ведмежий ринок, охоплюючи сфери DeFi, NFT, гаманців та ігор
7 квітня, під впливом ведмежого ринку, 21 криптовалютний проєкт оголосили про закриття або скорочення послуг, охоплюючи гаманці, DeFi, NFT та ігри тощо. Такі проєкти, як Leap Wallet і Magic Eden, вийшли або скоригували свої плани через тиск на ринку; в індустрії вважають, що це очищення допоможе перебудувати ринок, а в майбутньому увага до сталих Web3-проєктів буде більш конкурентоспроможною.
GateNews49хв. тому
Головна мережа Polygon буде оновлена 8 квітня до Giugliano
Основна мережа Polygon проведе оновлення Giugliano hard fork 8 квітня. Покращення включають швидшу остаточну фіксацію блоків, інтеграцію параметрів комісій у заголовок блока та нові RPC-інтерфейси для запиту комісій. Операторам вузлів потрібно оновити до відповідної версії, щоб забезпечити нормальну роботу мережі.
GateNews53хв. тому
Угода Pi Network 21.2: примусове оновлення, SDK синхронізується та повністю розблоковується
Pi Network 6 квітня опублікувала обов’язкову угоду 21.2 та повністю відкрила програмний інструментарій для розробників (SDK), надаючи середовище для розробки застосунків для користувачів із 18 мільйонами KYC-підтверджень. Оновлення угоди насамперед підвищує стабільність мережі та закладає основу для децентралізованих бірж і смартконтрактів. Розблокування SDK дозволяє розробникам створювати практичні застосунки, що означає перехід Pi Network від раннього майнінгу до платежів і децентралізованих сервісів, однак у спільноти досі залишаються сумніви щодо прозорості комунікації.
MarketWhisper1год тому
Solana запустила STRIDE та SIRN, підвищивши стандарти безпеки екосистеми
Фонд Solana запускає систему безпеки STRIDE для оцінювання та моніторингу, а також мережу реагування на інциденти SIRN, щоб підвищити безпеку DeFi-протоколів у екосистемі. STRIDE надає багаторівневі оцінювання безпеки та моніторинг, виконуючи цілодобовий нагляд за протоколами з TVL понад 10 млн доларів США, тоді як SIRN забезпечує миттєву спільну відповідь на інциденти безпеки. Разом вони формують двоконтурну систему захисту безпеки для екосистеми Solana, підкреслюючи, що протоколи мають нести відповідальність за власну безпеку.
MarketWhisper1год тому
Ethena розширює тип застави USDe на ринок акцій і товарів
Еthena офіційно оголосила, що після отримання схвалення незалежного ради з ризиків розширить типи забезпечення для USDe, щоб знизити концентраційні ризики та досягти диверсифікації структури забезпечення, охопивши чотири напрями: кредитування за участю інституційних стейблкоїнів, реальні активи у світі (RWA), базисні угоди за акціями та товарними індексами, а також фінансування, орієнтоване на торговельні установи.
GateNews1год тому
