TechFlow 보도에 따르면, 3월 5일 Aave Labs는 Aave V4 프로토콜이 약 345일간의 종합 보안 심사를 완료했으며, 총 150만 달러가 투입되었다고 발표했다. 이번 프로젝트는 ‘보안 우선’ 전략을 채택해 아키텍처 설계 단계부터 다층 보안 제어를 시행하였다. 보안 심사는 수동 감사, 형식 검증(Formal Verification), 불변 조건 테스트(Invariant Testing), 퍼징 테스트(Fuzzing Testing) 및 6주간의 공개 보안 경쟁 대회를 포함하였으며, 900명 이상의 참가자가 950건 이상의 보고서를 제출하였다.
감사 결과, ChainSecurity, Trail of Bits, Blackthorn 등 주요 감사 기관 모두 고위험도 취약점을 발견하지 못하였다. Aave V4는 새로운 중심 허브(Central Hub) 및 분기 모듈(Branch Module) 설계를 채택하여 코드베이스 크기를 V3보다 축소함으로써 감사 효율성을 높였다. Aave Labs는 형식 검증 프레임워크와 불변 조건 테스트 스위트를 지속적으로 유지할 계획이며, 장기적인 프로토콜 보안을 위해 지속 가능한 버그 바운티 프로그램을 도입할 예정이라고 밝혔다.
즐겨찾기 추가
소셜 미디어 공유
