Aave Labs publikuje pełny raport z audytu przejrzystości dotyczący mapy drogowej bezpieczeństwa Aave V4

BlockBeats News, 5 marca, według oficjalnych źródeł, Aave Labs opublikowało pełny raport transparentności dotyczący Planu Bezpieczeństwa Aave V4, obejmujący takie aspekty jak metodologia, proces i wyniki, z poparciem wielu firm zajmujących się bezpieczeństwem, takich jak Trail of Bits, Blackthorn, Certora i innych. Poprzez ręczne audyty, formalną weryfikację, testy niezmienników, testy fuzz oraz publiczne konkursy bezpieczeństwa, przeprowadzono łącznie około 345 dni przeglądów bezpieczeństwa. Plan ten jest wspierany przez dedykowany budżet na bezpieczeństwo w wysokości 1,5 miliona dolarów, zatwierdzony przez DAO.

Aave Labs ogłosiło, że będzie kontynuować pięć kluczowych zobowiązań wynikających z Planu Bezpieczeństwa Aave V4: wdrożenie formalnej weryfikacji już na wczesnych etapach rozwoju, aby zapewnić, że projekt architektoniczny jest prowadzony przez bezpieczne metody, a nie tylko walidację; przyjęcie warstwowego podejścia do bezpieczeństwa, obejmującego ręczne audyty, formalną weryfikację, testy niezmienników, kontrole wspomagane przez AI, testy fuzz oraz publiczne konkursy bezpieczeństwa, aby objąć więcej potencjalnych luk; utrzymanie ciągłego pokrycia bezpieczeństwa, gdzie ramy formalnej weryfikacji i zestaw testów niezmienników będą działać wraz z kolejnymi iteracjami protokołu; ustanowienie długoterminowego programu bug bounty, aby wykorzystać szerszą społeczność bezpieczeństwa do ciągłego monitoringu; oraz optymalizację możliwości skanowania AI w celu ciągłego podnoszenia poziomu inteligentnego wykrywania zagrożeń w przyszłych wersjach, bazując na dotychczasowych doświadczeniach testowych.