- Aave Labs не дотримується старої стратегії “спершу збудувати, потім перевірити” і залучає команди безпеки V4 з перших днів роботи з розробниками.
- Елемент штучного інтелекту виділяється, автоматизовані системи можуть виявити крайні випадки, які можуть пропустити людські аудитори.
Команда Aave Labs, за повідомленнями, витратила близько 1,5 мільйона доларів на масштабну програму аудиту, що стала однією з найретельніших перевірок безпеки в DeFi на сьогодні. Процес перевірки тривав близько 345 днів і включав участь різних компаній з безпеки та великий публічний конкурс аудиту.
Період швидких змін і руйнувань поступово минає. У сучасних умовах ринку стійкість і безпека є справжніми конкурентними перевагами. Команда здебільшого підтримується Aava DAO у фінансовому плані, а також залучила провідні компанії з безпеки, такі як ChainSecurity, Trail of Bits, Blackthorn і Certora.
Замість одного проходження аудиту, код тестувався з різних ракурсів. В сумі протокол пройшов близько року тестування внутрішніми командами, зовнішніми аудиторами та незалежними дослідниками.
Найважливішими етапами були шість тижнів публічного конкурсу з безпеки на платформі Sherlock у період з грудня 2025 року по січень 2026 року. У конкурсі взяли участь понад 900 дослідників, які подали понад 950 знайдених вразливостей.
Посилення довіри
Незважаючи на великий аудит, критичних або високоризикових вразливостей не було виявлено. Це робить довіру до архітектури Aave, яка базується на моделі “хаб і спиця”, більш міцною, оскільки вона була створена для зменшення повної поверхні атаки протоколу.
Aave Labs не дотримується старої стратегії “спершу збудувати, потім перевірити” і залучає команди безпеки V4 з перших днів роботи з розробниками. Ця структура охоплює п’ять основних ідей, включаючи формальну верифікацію для математичного тестування коду, багаторівневі огляди, що поєднують ручні аудити та автоматизоване тестування, постійний контроль кожного оновлення коду, безперервні програми винагород за виявлення багів і інструменти штучного інтелекту для сканування на незвичайні шляхи атак.
Елемент штучного інтелекту виділяється, і автоматизовані системи можуть виявити крайні випадки, які можуть пропустити людські аудитори. Компанія з верифікації Certora допомогла описати суворі правила, відомі як “інваріанти”, яких код має дотримуватися ще до ручної перевірки.
Головні криптовалютні новини сьогодні:
Засновник TRON Джастін Сан і SEC досягли угоди про врегулювання.
Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до
Застереження.
Пов'язані статті
Fireblocks запускає інституційний інструмент дохідності зі стейблкоїнів Earn
Fireblocks представила Earn, що дозволяє інституційним клієнтам використовувати залишки в стейблкоїнах для ончейн-кредитування через Aave та Morpho, підвищуючи ефективність використання капіталу. Спочатку ця функція пропонує сховища Morpho та кредитний ринок Aave з дохідністю зі змінною ставкою.
GateNews1год тому
ether.fi завершує міграцію на основну мережу Optimism
Ether.fi успішно мігрувала в основну мережу Optimism, похвалившись понад 70 000 активних карт, 300 000 акаунтів і $220 мільйон( у загальній заблокованій вартості )TVL.
GateNews1год тому
Circle запускає крос-ланцюговий механізм розрахунків для USDC, що підтримує пакетні платежі
Circle запустила новий кросчейн-механізм платежів USDC для високочастотних розрахунків, використовуючи протокол Cross-Chain Transfer Protocol для попереднього фінансування переказів і ввімкнення пакетних розрахунків, тим самим мінімізуючи операційні витрати та скорочуючи кількість операцій спалювання.
GateNews1год тому
Епоха стейблкоїнів! Засновник Circle Джеремі Аллері потрапив до списку 2026 року «100 найбільш впливових людей у світі»
На тлі поступового розширення глобального крипто- та фінансового регулювання засновника Circle Джеремі Аллерайра було обрано до списку «Time» 2026 року зі 100 найвпливовіших людей, що символізує зростання важливості стейблкоїнів. Circle трансформується із цифрових платежів у стейблкоїн-екосистему з USDC як центром і планує стати частиною глобальної фінансової інфраструктури. Ця зміна робить її бізнес-модель більш схожою на ринок цифрових валютних інвестиційних фондів, передбачаючи потенційну прибутковість і зростання стейблкоїнів у майбутньому.
ChainNewsAbmedia9год тому
0G Labs запускає застосунок 0G як шлюз екосистеми: децентралізовані обчислення, перевірюваний AI та $0G Token, який замикає цикл
0G Labs запустила 0G App — no-code платформу, яка дає змогу користувачам створювати AI-застосунки за допомогою природної мови. Вона поєднує децентралізовані обчислення та можливості ШІ, вирішуючи проблеми централізації та водночас підвищуючи конфіденційність. Цей запуск має на меті стимулювати впровадження AI Agent і інтегрується з ширшою AI-економікою 0G.
GateNews12год тому
WLFI пропонує план управління токенами: 62,2 млрд токенів заблоковано щонайменше на 2 роки, спалення 10% частки команди
World Liberty Financial (WLFI) запропонувала план управління, який передбачає блокування 62.2 мільярда токенів WLFI на два роки, із різними графіками розподілу для радників та ранніх прихильників. Це спрямовано на посилення довгострокового управління в DeFi та включає вимогу щодо спалення токенів.
GateNews14год тому
