Cannes, Francja, 30 marca 2026, Chainwire
Stworzony w trakcie sześcioletniej współpracy framework bezpieczeństwa Certora i Aave został wbudowany bezpośrednio w architekturę Aave V4, tworząc jedno z najsilniejszych rozwiązań bezpieczeństwa w DeFi.
Certora, wiodący dostawca narzędzi do weryfikacji formalnej i audytów smart kontraktów dla protokołów Web3, ujawnia szczegóły frameworka bezpieczeństwa opracowanego we współpracy z Aave Labs w celu zabezpieczenia Aave V4, kolejnej generacji jednego z największych zdecentralizowanych protokołów pożyczkowych.
„Protokoły DeFi działają coraz częściej w skali i złożoności tradycyjnej infrastruktury finansowej” – powiedział Mooly Sagiv, założyciel i główny naukowiec Certora. „Bezpieczeństwo nie może już opierać się na jednorazowych audytach. W przypadku Aave V4 współpracowaliśmy z inżynierami przez cały okres rozwoju, nieustannie weryfikując kluczowe własności systemu, aby zapewnić, że protokół zachowuje się dokładnie tak, jak zamierzono.”
Zamiast dołączać do procesu pod koniec prac rozwojowych, Certora zaangażowała się w projekt Aave V4 ponad rok przed uruchomieniem. Ściśle współpracując z inżynierami Aave, zespół przeanalizował architekturę systemu, ścieżki zarządzania oraz założenia ekonomiczne już na wczesnym etapie projektowania, co pozwoliło, aby kwestie bezpieczeństwa kształtowały strukturę protokołu od samego początku.
Prace te bazują na relacji między Certora i Aave trwającej ponad sześć lat i obejmującej kilka wersji protokołu. W trakcie rozwoju Aave V4 badacze Certora współpracowali z inżynierami Aave, stosując ciągłą weryfikację formalną, testy adversarialne oraz ręczne audyty, aby wcześnie wykrywać problemy i wzmacniać system przed wdrożeniem.
W całym cyklu rozwoju Certora stosowała weryfikację formalną, czyli matematyczne podejście służące do dowodzenia, że oprogramowanie spełnia określone własności bezpieczeństwa. Zakres prac obejmował:
- weryfikację kluczowych gwarancji protokołu, w tym zachowania zasobów, zasad zabezpieczeń, poprawności likwidacji, bezpieczeństwa uprawnień, bezpieczeństwa aktualizacji oraz spójności między rynkami,
- ciągły ręczny przegląd prowadzony przez starszych audytorów posiadających doświadczenie w protokołach pożyczkowych, systemach wyroczni, mechanizmach zarządzania i schematach exploitów w DeFi,
- zakrojony na szeroką skalę zewnętrzny konkurs bezpieczeństwa z udziałem niezależnych badaczy, podczas którego nie wykryto krytycznych ani wysokiego wpływu podatności, co dodatkowo potwierdziło solidność architektury bezpieczeństwa protokołu.
W ramach tego długoterminowego partnerstwa Certora i Aave zabezpieczyły wiele generacji protokołu i miliardy dolarów płynności on-chain, w tym:
- 169 przeanalizowanych smart kontraktów
- ponad 51 000 linii kodu poddanych analizie
- ponad 800 reguł weryfikacji formalnej utworzonych i ciągle testowanych
- 28 istotnych podatności wyeliminowanych przed wdrożeniem.
W miarę jak zdecentralizowane finanse dojrzewają i przyciągają kapitał instytucjonalny, silniejsze gwarancje bezpieczeństwa stają się warunkiem koniecznym dla adopcji na dużą skalę. Praca Certora z Aave odzwierciedla szerszy trend w branży w kierunku ciągłego inżynieringu bezpieczeństwa. Tylko w 2025 roku Certora pomogła secure 196,5 miliarda dolarów całkowitej zablokowanej wartości (TVL) w protokołach DeFi i zapobiegła przedostaniu się do produkcji ponad 720 podatności.
Aby uzyskać więcej informacji, odwiedź certora.com/blog/certora-x-aavev4 lub śledź @Certora.
O Certora
Certora jest partnerem ds. zapewniania bezpieczeństwa, któremu ufają najbardziej zaawansowane zespoły w Web3. Założona w 2018 roku przez pionierów języków programowania i metod formalnych, Certora pomaga wiodącym protokołom, takim jak Lido, Aave, Uniswap i Compound, bezpiecznie zarządzać miliardami wartości.
Kontakt
PR Manager
Aarya Shah
[email protected]