Certora y Aave Labs revelaron los detalles del marco de seguridad desarrollado de forma conjunta para Aave V4, la próxima generación del protocolo de préstamos descentralizados.
La colaboración entre ambas compañías lleva ya más de seis años y abarca múltiples versiones del protocolo. Para Aave V4, Certora se incorporó al proceso de desarrollo más de un año antes del lanzamiento, integrando la seguridad directamente en la arquitectura del sistema desde las etapas iniciales de diseño.
El trabajo incluyó verificación formal continua, pruebas adversariales y auditorías manuales realizadas por investigadores con experiencia en protocolos de préstamos, sistemas de oráculos y mecánicas de gobernanza.
En términos concretos, el equipo de Certora revisó 169 contratos inteligentes, analizó más de 51.000 líneas de código, generó más de 800 reglas de verificación formal y previno 28 vulnerabilidades importantes antes del despliegue. Además, durante un concurso externo de seguridad con investigadores independientes no se identificaron vulnerabilidades críticas ni de alto impacto.
«La seguridad ya no puede depender de auditorías puntuales», afirmó Mooly Sagiv, fundador y científico jefe de Certora. Solo durante 2025, la firma contribuyó activamente a proteger $196.500 millones de dólares en valor total bloqueado en protocolos DeFi y evitó más de 720 vulnerabilidades antes de que llegaran a producción.
Disclaimer: Las Noticias Flash de Crypto Economy se elaboran a partir de fuentes oficiales y públicas verificadas por nuestro equipo editorial. Su propósito es informar de forma rápida sobre hechos relevantes del ecosistema cripto y blockchain.
Esta información no constituye asesoramiento financiero ni recomendación de inversión. Recomendamos verificar siempre los canales oficiales de cada proyecto antes de tomar decisiones relacionadas.
