Aave Labs가 Aave V4 안전 계획 완전 투명성 감사 보고서를 발표했습니다

공식 발표에 따르면, Aave Labs는 Aave V4 보안 계획의 완전한 투명성 보고서를 발표했습니다. 이 보고서에는 방법, 프로세스 및 결과 등이 포함되어 있으며, Trail of Bits, Blackthorn, Certora 등 여러 보안 기관이 공동으로 보증합니다.

수동 감사, 형식적 검증, 불변성 테스트, 퍼징 테스트 및 공개 보안 경진 대회를 통해 약 345일의 보안 검토가 진행되었습니다. 이 계획은 DAO가 승인한 150만 달러의 전용 보안 예산으로 지원됩니다.

Aave Labs는 Aave V4 보안 계획에서 다섯 가지 핵심 약속을 지속할 것이라고 발표했습니다: 초기 개발 단계에서 형식적 검증을 통합하여 아키텍처 설계가 검증뿐만 아니라 안전한 방법의 지침을 받도록 보장; 수동 검토, 형식적 검증, 불변성 테스트, AI 지원 검사, 퍼징 테스트 및 공개 보안 경진 대회를 포함한 계층적 보안 접근 방식을 채택하여 더 많은 잠재적 취약점을 포괄; 지속적인 보안 커버리지를 유지하며, 형식적 검증 프레임워크와 불변성 테스트 키트는 프로토콜 반복에 따라 지속적으로 운영; 장기적인 취약점 보상 프로그램을 설정하여 더 넓은 보안 커뮤니티를 활용하여 지속적인 모니터링 제공; 그리고 AI 스캔 능력을 최적화하여 기존 테스트 경험을 바탕으로 향후 버전의 스마트 보안 탐지 수준을 지속적으로 향상시킵니다.