Aave Labs가 Aave V4 보안 로드맵 완전 투명 검토 보고서를 공개했습니다.

BlockBeats 뉴스, 3 월 5 일, 공식 발표에 따르면, Aave Labs 가 Aave V4 보안 계획의 완전한 투명성 보고서를 발표했습니다. 이 보고서는 방법, 프로세스, 결과 등을 포함하며, Trail of Bits, Blackthorn, Certora 등의 여러 보안 기관이 공동 보증했습니다. 수동 감사, 형식적 검증, 불변식 테스트, 퍼즈 테스트 및 공개 보안 대회를 통해 약 345 일에 걸쳐 안전 검토를 수행했습니다. 이 계획은 DAO가 승인한 150 만 달러의 전용 보안 예산으로 지원됩니다.

Aave Labs 는 Aave V4 보안 계획으로부터 다섯 가지 핵심 약속을 유지할 것을 발표했습니다. 이는 조기 개발 단계에서 형식적 검증을 내장하여 아키텍처 설계가 확인으로만이 아니라 안전 방법을 안내받도록 하는 것을 보장하기 위함이며, 수동 검토, 형식적 검증, 불변식 테스트, AI보조 검사, 퍼즈 테스트 및 공개 보안 대회를 포함한 계층화된 보안 접근 방식을 채용하여 잠재적인 취약점을 보다 다양하게 커버하기로 하였습니다. 계속된 안전한 커버리지를 유지하며, 형식적 검증 프레임워크 및 불변식 테스트 수트는 프로토콜의 이터레이션을 따라 계속 운영될 예정입니다. 장기적인 버그 바운티 프로그램을 설립하여 보다 넓은 보안 커뮤니티를 활용한 지속적인 모니터링을 제공할 것이며; 미래 버전의 지능형 보안 검사 수준을 향상시키기 위해 현재의 테스트 경험을 기반으로 AI 스캔 능력을 최적화할 것입니다.