Aave V4 completó una auditoría de seguridad integral, dedicando 345 días a la revisión de seguridad sin vulnerabilidades importantes

Deep Tide TechFlow informa que, el 5 de marzo, Aave Labs anunció que el protocolo Aave V4 ha completado una revisión exhaustiva de seguridad que duró aproximadamente 345 días, con una inversión total de 1,5 millones de dólares. El proyecto adopta una estrategia de “seguridad primero”, implementando controles de seguridad en múltiples capas desde la etapa de diseño de la arquitectura. La revisión de seguridad incluyó auditorías manuales, verificación formal, pruebas de invariantes, pruebas fuzz y una competencia pública de seguridad de seis semanas, que atrajo a más de 900 participantes que presentaron más de 950 informes.

Los resultados de la auditoría mostraron que todas las principales instituciones de auditoría (incluyendo ChainSecurity, Trail of Bits y Blackthorn) no detectaron vulnerabilidades de alta gravedad. Aave V4 utiliza un diseño completamente nuevo con un módulo central y ramas, lo que hace que el código sea más pequeño que el de V3 y mejora la eficiencia de la auditoría. Aave Labs afirmó que continuará manteniendo el marco de verificación formal, el conjunto de pruebas de invariantes y planea establecer un programa de recompensas por vulnerabilidades continuo para garantizar la seguridad a largo plazo del protocolo.