Aave Labs는 Aave V4 프로토콜에 대한 345일간의 보안 감사를 성공적으로 완료했으며, 심각한 취약점이 발견되지 않았다고 발표했습니다. 150만 달러가 소요된 이번 감사는 수동 감사, 형식 검증, 불변성 테스트, 퍼즈 테스트, 공개 보안 경진대회 등 포괄적인 보안 우선 접근 방식을 포함했습니다. 6주간의 경진대회 동안 900명 이상의 참가자가 950건 이상의 보고서를 제출했습니다. ChainSecurity, Trail of Bits, Blackthorn과 같은 주요 감사 업체들은 고위험 취약점이 없음을 확인했습니다. Aave V4의 새로운 허브 앤 스포크 모듈식 설계는 코드베이스를 축소시켜 감사 효율성을 향상시켰습니다. Aave Labs는 형식 검증 프레임워크와 불변성 테스트 스위트를 유지하는 한편, 지속적인 버그 바운티 프로그램을 구축하여 보안을 지속적으로 강화할 계획입니다.