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