Aave Labs, V4 보안 방안 공개: 총 345일 감사 및 150만 달러 보안 예산 투입

Odaily에 따르면, Aave Labs는 Aave V4의 보안 프레임워크를 공개하고 '보안 우선' 개발 모델을 제안했습니다. 이는 아키텍처 설계 단계부터 보안 검증을 내재화하고, 단순히 출시 전 최종 감사에만 의존하지 않는 방식입니다. 이 보안 계획은 약 1년간 지속되었으며, 총 약 345일의 보안 검토를 완료했으며, 자금은 Aave DAO가 승인한 150만 달러의 보안 예산에서 조달되었습니다. 알려진 바에 따르면, V4 보안 프로세스는 형식 검증(formal verification), 수동 감사, 불변성 테스트, 퍼징(fuzzing) 테스트 및 공개 보안 경쟁 등 다층 감사 방법을 결합했습니다. 향후 프로토콜 개발은 개발 초기 단계에 형식 검증 도입, 다층 보안 감사 방법론 시행, 지속적 검증 메커니즘, 장기적 취약점 현상금 프로그램, AI 기반 스마트 계약 보안 스캔 활용 등 5가지 장기 보안 조치를 지속적으로 적용할 예정입니다. (The Block)