El equipo de Aave Labs ha gastado aproximadamente $1.5 millones en un enorme programa de auditoría, marcando una de las revisiones de seguridad más exhaustivas en DeFi hasta la fecha. El proceso de revisión duró alrededor de 345 días e incluyó a diversas empresas de seguridad y un gran concurso público de auditoría.
La época de moverse rápido y romper cosas se está disolviendo lentamente. En el escenario actual del mercado, la resiliencia y la seguridad son la verdadera ventaja competitiva. El equipo está respaldado principalmente por Aave DAO en términos de financiación, e involucró a empresas de seguridad prominentes como ChainSecurity, Trail of Bits, Blackthorn y Certora.
En lugar de una sola pasada de auditoría, el código fue probado desde varios ángulos. Combinando todo, el protocolo pasó por aproximadamente un año completo de pruebas por equipos internos, auditores externos e investigadores independientes.
Las fases más grandes incluyeron un concurso público de seguridad de seis semanas en Sherlock entre diciembre de 2025 y enero de 2026. Más de 900 investigadores fueron parte del concurso y presentaron más de 950 hallazgos.
Fortalecimiento de la Confianza
A pesar de esa gran revisión, no se encontraron vulnerabilidades críticas o de alta severidad. Esto hace que la confianza en la arquitectura hub-and-spoke de Aave sea más robusta, la cual fue inicialmente diseñada para suprimir por completo la superficie de ataque del protocolo.
Aave Labs no está siguiendo el antiguo enfoque de construir primero y auditar después, y tiene a los equipos de seguridad de V4 trabajando con los desarrolladores desde el primer día. El marco cubre cinco ideas centrales, incluyendo verificación formal para probar el código matemáticamente, revisiones por capas que amalgaman auditorías manuales y pruebas automatizadas, controles constantes en cada actualización de código, programas de recompensas por errores continuos y herramientas de IA que escanean en busca de vectores de ataque inusuales.
El elemento de IA destaca, y los sistemas automatizados pueden detectar casos límite que los auditores humanos podrían pasar por alto. La empresa de verificación Certora ayudó a describir reglas estrictas conocidas como 'invariantes' que el código debe seguir siempre antes de siquiera alcanzar la revisión manual.
Destacado de Noticias Cripto Hoy:
El Fundador de TRON, Justin Sun, y la SEC Llegan a un Acuerdo de Conciliación
