Aave Labs publicó esta semana en el foro de gobernanza de la DAO un marco de seguridad detallado para la próxima actualización de Aave V4, revelando un proceso de auditoría y verificación que abarca casi un año, financiado por un presupuesto de $1.5 millones aprobado por la comunidad.
El programa pasó 345 días bajo revisión e incluyó verificación formal, auditorías manuales, pruebas de invariante, fuzzing y un concurso de seguridad pública celebrado en Sherlock entre diciembre de 2025 y enero de 2026. Más de 900 investigadores independientes participaron en ese evento, presentando alrededor de 950 hallazgos, sin vulnerabilidades críticas o de alta gravedad reportadas. Entre las firmas externas involucradas en el proceso estaban Certora, ChainSecurity, Trail of Bits y Blackthorn.
Basado en esta experiencia, el equipo de Aave Labs se comprometió a adoptar cinco prácticas de seguridad permanentes: verificación formal desde las primeras etapas del desarrollo, metodologías de auditoría en capas, verificación continua a lo largo del ciclo de desarrollo, un programa de recompensas por errores sin fecha de vencimiento, y el desarrollo de herramientas de análisis de contratos inteligentes asistidas por IA.
El marco de seguridad fue anunciado en medio de tensiones internas dentro del ecosistema de Aave Labs. BGD Labs, el contribuyente técnico de larga data del protocolo, anunció su retiro después de cuatro años de trabajo. Además, el fundador de ACI, Marc Zeller, decidió dar un paso atrás en la Iniciativa Aave Chan del protocolo a partir de julio.
Fuente: https://governance.aave.com/t/security-by-design-aave-v4/24224
Descargo de responsabilidad: Las noticias de Crypto Economy Flash se basan en fuentes públicas y oficiales verificadas. Su propósito es proporcionar actualizaciones rápidas y fácticas sobre eventos relevantes en el ecosistema de criptomonedas y blockchain.
Esta información no constituye asesoramiento financiero ni recomendación de inversión. Se alienta a los lectores a verificar todos los detalles a través de canales oficiales del proyecto antes de tomar decisiones relacionadas.