Aave Labs presenta un plan de seguridad por capas para V4 tras un programa de auditoría de $1,5 millones
Aave Labs publicó un plan detallado para asegurar la próxima versión del mayor protocolo de préstamos DeFi, describiendo un proceso de auditoría y verificación de un año de duración para Aave V4 y comprometiéndose a extender estas prácticas a futuros desarrollos.
En una publicación en el foro de gobernanza difundida esta semana, la empresa describió el esfuerzo de la V4 como un "marco de seguridad primero", donde las protecciones de los smart contracts se integran desde las primeras etapas arquitectónicas en lugar de considerarlas solo como una auditoría previa al lanzamiento.
El programa combinó verificación formal, auditorías manuales, pruebas de invariantes, fuzzing y un concurso público de seguridad, totalizando aproximadamente 345 días acumulativos de revisión entre equipos internos, auditores externos e investigadores independientes.
El trabajo fue financiado a través de un presupuesto de seguridad de 1,5 millones de dólares ratificado por la DAO de Aave, según los detalles compartidos.
Compromisos clave
Aave Labs afirmó que la experiencia le llevó a adoptar cinco compromisos a largo plazo en materia de seguridad para el desarrollo futuro del protocolo.
Incorporar la verificación formal desde el inicio de los ciclos de desarrollo, mantener metodologías de seguridad en capas que combinen múltiples técnicas de auditoría, ejecutar una verificación continua junto al desarrollo, lanzar un programa de recompensas por bugs permanente y desarrollar aún más el escaneo de smart contracts asistido por inteligencia artificial, todos fueron listados como compromisos clave a futuro.
La verificación formal, en particular, tuvo un papel central en el proceso de la V4, según el equipo de Labs. La firma de verificación Certora trabajó junto a los desarrolladores de Aave desde las fases iniciales de diseño, ayudando a dar forma a la arquitectura e identificando vulnerabilidades antes de que el código ingresara a las rondas de auditoría formal.
Más allá de la verificación formal, el protocolo también pasó por múltiples rondas de auditoría manual con firmas como ChainSecurity, Trail of Bits y Blackthorn, así como investigadores independientes de seguridad. Además, se desarrolló un conjunto de pruebas de invariantes usando herramientas de fuzzing para evaluar el comportamiento de componentes clave como la contabilidad de liquidez, la lógica de liquidaciones y los modelos de tasas de interés.
El código del protocolo también fue expuesto a un concurso público de seguridad de seis semanas, realizado en Sherlock entre diciembre de 2025 y enero de 2026. Más de 900 participantes verificados presentaron más de 950 hallazgos durante el concurso, aunque el programa no reportó vulnerabilidades críticas ni de alta gravedad.
Aave Labs señaló que la propia base de código de la V4 fue diseñada intencionalmente para ser más pequeña y modular que su predecesora, siguiendo el rediseño arquitectónico de hub-and-spoke del protocolo, lo que permite auditorías más enfocadas y una revisión de seguridad simplificada.
El modelo de seguridad de la V4 también incorporó el feedback de proveedores de servicios de riesgo e integradores que desarrollan aplicaciones sobre el protocolo de préstamos. Sus aportes expandieron el modelo de amenazas para incluir no solo interacciones directas de usuarios sino también las suposiciones de seguridad de sistemas integrados que dependen de la liquidez de Aave.
Conflicto en la DAO de Aave
La divulgación de seguridad de Aave Labs llega en un momento de turbulencia interna para el ecosistema de Aave. Las disputas de gobernanza se han intensificado en los últimos meses en torno a asignaciones de fondos, la dirección del protocolo y el rol de los principales contribuidores.
A principios de este año, BGD Labs — contribuidor técnico histórico responsable de parte importante de la infraestructura del protocolo — anunció planes para dejar de trabajar en Aave luego de casi cuatro años de involucramiento.
Más recientemente, Marc Zeller, fundador de ACI, indicó que la Aave Chan Initiative, otro actor clave en la gobernanza, planea alejarse del protocolo en julio en medio de tensiones crecientes entre los contribuidores.
Estos acontecimientos siguieron a un debate polémico en gobernanza sobre una propuesta conocida como "Aave will win", que describía cambios en los ingresos y planes generales para la próxima actualización V4. La propuesta superó una votación preliminar con un 52,6% de apoyo, lo que pone en evidencia las divisiones dentro de la DAO sobre el rumbo futuro del protocolo.
Aave es el mayor protocolo de préstamos onchain y uno de los principales generadores de tarifas mensuales DeFi, según el panel de datos de The Block.
Descargo de responsabilidad: El contenido de este artículo refleja únicamente la opinión del autor y no representa en modo alguno a la plataforma. Este artículo no se pretende servir de referencia para tomar decisiones de inversión.
También te puede gustar
¡El riesgo está cambiando! Goldman Sachs: El diferencial de CDS de los fabricantes de chips supera por primera vez al de las grandes empresas de nube, los swaps de incumplimiento de IA alcanzan récords.
Goldman Sachs señaló que el riesgo crediticio relacionado con la inteligencia artificial está trasladándose de los gigantes de la nube a los proveedores de chips. Por primera vez en casi tres meses, el margen de CDS de chips supera al de los grandes proveedores de servicios en la nube, lo que refleja las preocupaciones del mercado sobre la depreciación de las GPU y el aumento de la exposición financiera de los clientes. Debido al auge en la oferta, la prima de emisión de deuda de los proveedores de la nube ha aumentado significativamente y los plazos se han acortado. Con la llegada de miles de millones de dólares en financiamiento de proyectos para 2027, la presión sobre el mercado crediticio seguirá acumulándose.
¿Dificultad para convertir 3.57 mil millones en pedidos? Neutron retrasa su primer lanzamiento y enfrenta presión financiera por la adquisición de Iridium (IRDM.US)
Rocket Lab reportó ingresos de 268 millones de dólares en el tercer trimestre, con pedidos pendientes por cumplir de 3,570 millones de dólares. El lanzamiento inaugural del cohete Neutron se pospuso hasta 2027 y clientes como ICEYE reservaron fecha con anticipación. Aunque el flujo de efectivo operativo es positivo, la adquisición de Iridium requerirá más de 3,000 millones de dólares en efectivo, y los ingresos a futuro...
Interpretación de nuevas acciones en el mercado estadounidense | El "negocio de mediana edad" del comercio electrónico privado S2B2C: ¿Cómo cuenta Global Home Selection (QQJ.US) la historia de su crecimiento?
¿Qué es lo que le dio a Global Home Select la confianza para impactar el Nasdaq?
Shawn Kim, el "Dios de la memoria" de Morgan Stanley, lanza otra advertencia: la verdadera bomba es el "acantilado de ganancias en 2028", bajando los precios objetivo de las acciones de memoria en forma generalizada.
Shawn Kim redujo significativamente el precio objetivo de las acciones de memoria, con una disminución del 38% para SK Hynix y del 19% para Samsung Electronics. Él advierte que en 2028 la industria enfrentará un "precipicio de ganancias": nueva capacidad de producción puesta en marcha a finales de 2027, retrasos en la construcción de centros de datos, reducción de la prima de HBM y una caída de aproximadamente 20% en los precios spot de NAND en dos semanas. La combinación de estas cuatro presiones lo llevó a comprimir considerablemente las suposiciones de margen de beneficio a largo plazo de DRAM de ambas compañías, acercándolas al promedio histórico.
Precios de las criptos
Más
