Cannes, Francia, 30 de marzo de 2026, Chainwire
Construido a lo largo de seis años de colaboración, Certora y Aave integraron la seguridad directamente en la arquitectura de Aave V4, creando uno de los marcos de seguridad más sólidos en DeFi.
Certora, proveedor líder de herramientas de verificación formal y auditorías de contratos inteligentes para protocolos Web3, revela detalles del marco de seguridad desarrollado en colaboración con Aave Labs para proteger Aave V4, la próxima generación de uno de los mayores protocolos de préstamos de las finanzas descentralizadas.
“Los protocolos DeFi operan cada vez más a la escala y complejidad de la infraestructura financiera”, dijo Mooly Sagiv, fundador y científico jefe de Certora. “La seguridad ya no puede depender de auditorías puntuales. Con Aave V4, trabajamos junto a los ingenieros durante todo el desarrollo, verificando continuamente propiedades críticas del sistema para garantizar que el protocolo se comporte exactamente como se pretende”.
En lugar de entrar en el proceso cerca del final del desarrollo, Certora se unió al esfuerzo de Aave V4 más de un año antes del lanzamiento. Trabajando en estrecha colaboración con los ingenieros de Aave, el equipo revisó la arquitectura del sistema, las rutas de gobernanza y los supuestos económicos desde las primeras etapas del diseño, lo que permitió que las consideraciones de seguridad influyeran en la estructura del protocolo desde el inicio.
El trabajo se basa en una relación entre Certora y Aave que se ha extendido por más de seis años y varias versiones del protocolo. A lo largo del desarrollo de Aave V4, los investigadores de Certora trabajaron junto a los ingenieros de Aave para aplicar verificación formal continua, pruebas adversarias y auditorías manuales con el fin de identificar problemas de forma temprana y fortalecer el sistema antes del despliegue.
Durante todo el desarrollo, Certora aplicó verificación formal, un enfoque matemático utilizado para demostrar que el software cumple propiedades de seguridad específicas. La colaboración incluyó:
- Verificación de garantías clave del protocolo, incluyendo conservación de activos, reglas de colateralización, corrección de liquidaciones, seguridad de permisos, seguridad de actualizaciones y consistencia entre mercados
- Revisión manual continua por parte de auditores sénior con experiencia en protocolos de préstamos, sistemas de oráculos, mecánicas de gobernanza y patrones de ataques en DeFi
- Un concurso externo de seguridad a gran escala con investigadores independientes, en el que no se identificaron vulnerabilidades críticas ni de alto impacto, proporcionando validación adicional de la arquitectura de seguridad del protocolo.
A lo largo de esta colaboración a largo plazo, Certora y Aave han protegido múltiples generaciones del protocolo y miles de millones de dólares en liquidez on-chain, incluyendo:
- 169 contratos inteligentes revisados
- Más de 51.000 líneas de código analizadas
- Más de 800 reglas de verificación formal creadas y probadas de forma continua
- 28 vulnerabilidades significativas prevenidas antes del despliegue.
A medida que las finanzas descentralizadas continúan madurando y atrayendo capital institucional, las garantías de seguridad más sólidas se están convirtiendo en un requisito previo para la adopción a gran escala. El trabajo de Certora con Aave refleja una tendencia más amplia en la industria hacia la ingeniería de seguridad continua. Solo en 2025, Certora ayudó a secure 196,5 mil millones de dólares en valor total bloqueado en protocolos DeFi y evitó que más de 720 vulnerabilidades llegaran a producción.
Para más información, visita certora.com/blog/certora-x-aavev4 o sigue a @Certora.
Sobre Certora
Certora es el socio de garantía de seguridad en el que confían los equipos más avanzados de Web3. Fundada en 2018 por pioneros en lenguajes de programación y métodos formales, Certora ayuda a protocolos líderes como Lido, Aave, Uniswap y Compound a proteger miles de millones en valor con confianza.
Contacto
PR Manager
Aarya Shah
[email protected]