Aave Labs anunciou a conclusão bem-sucedida de uma auditoria de segurança de 345 dias para o protocolo Aave V4, sem a detecção de vulnerabilidades críticas. A auditoria, que custou 1,5 milhão de dólares, envolveu uma abordagem abrangente com foco na segurança, incluindo auditorias manuais, verificação formal, testes de invariantes, testes de fuzz e uma competição pública de segurança. Mais de 900 participantes enviaram mais de 950 relatórios durante a competição de seis semanas. Grandes empresas de auditoria como ChainSecurity, Trail of Bits e Blackthorn confirmaram a ausência de vulnerabilidades de alta gravidade. O novo design modular hub-and-spoke do Aave V4 resultou em uma base de código menor, melhorando a eficiência da auditoria. Aave Labs planeja manter seu framework de verificação formal e o conjunto de testes de invariantes, além de estabelecer um programa contínuo de recompensas por bugs para garantir a segurança contínua.