Aave Labs publica o relatório de auditoria de transparência completa do plano de segurança do Aave V4

BlockBeats informa que, a 5 de março, de acordo com fontes oficiais, a Aave Labs publicou um relatório completo de transparência do plano de segurança do Aave V4, incluindo métodos, processos e resultados, com o respaldo conjunto de várias instituições de segurança, como Trail of Bits, Blackthorn e Certora. Foram realizadas aproximadamente 345 dias de revisão de segurança por meio de auditorias manuais, validação formal, testes de invariantes, testes de fuzzing e competições de segurança públicas. Este plano é apoiado por um orçamento de segurança dedicado de 1,5 milhões de dólares aprovado pela DAO.

Aave Labs anunciou que continuará a seguir cinco compromissos centrais do plano de segurança do Aave V4: incorporar validação formal na fase inicial de desenvolvimento para garantir que o design da arquitetura seja orientado por métodos de segurança, e não apenas validado; adotar uma abordagem de segurança em camadas, incluindo revisão manual, validação formal, testes de invariantes, inspeções assistidas por IA, fuzzing e competições de segurança públicas, para cobrir mais vulnerabilidades potenciais; manter uma cobertura de segurança contínua, com o quadro de validação formal e o conjunto de testes de invariantes operando continuamente com as iterações do protocolo; estabelecer um programa de recompensas por vulnerabilidades de longo prazo, aproveitando a comunidade de segurança mais ampla para monitoramento contínuo; e otimizar a capacidade de varredura por IA, aprimorando continuamente a detecção inteligente de vulnerabilidades nas futuras versões, com base na experiência de testes existente.