Aave Labs ha anunciado la finalización exitosa de una auditoría de seguridad de 345 días para el protocolo Aave V4, sin detectar vulnerabilidades críticas. La auditoría, que costó 1.5 millones de dólares, involucró un enfoque integral centrado en la seguridad, incluyendo auditorías manuales, verificación formal, pruebas de invariantes, pruebas de fuzz y una competencia pública de seguridad. Más de 900 participantes presentaron más de 950 informes durante la competencia de seis semanas. Firmas de auditoría importantes como ChainSecurity, Trail of Bits y Blackthorn confirmaron la ausencia de vulnerabilidades de alta gravedad. El nuevo diseño modular de Aave V4, basado en un modelo de concentrador y radios, ha resultado en una base de código más pequeña, mejorando la eficiencia de la auditoría. Aave Labs planea mantener su marco de verificación formal y su conjunto de pruebas de invariantes, además de establecer un programa continuo de recompensas por errores para garantizar la seguridad continua.