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
¡Las altas temperaturas y las promociones reducidas debilitan el ánimo de compra! Las ventas minoristas del Reino Unido cayeron en julio, mientras que las sombras económicas y el repunte de la inflación agravan el dilema de política del Banco de Inglaterra.
Debido al clima extremadamente caluroso y a la disminución de promociones con descuentos, el interés de los consumidores por las compras se debilitó, lo que llevó a que las ventas minoristas en el Reino Unido cayeran por primera vez desde abril, poniendo fin al reciente repunte en el gasto de los consumidores.
Nvidia (NVDA.US) negocia la adquisición de Rebellions, protagonista del plan surcoreano "K-Nvidia", marcando otra expansión en el imperio de chips de IA de Jensen Huang.
Nvidia está en conversaciones con la startup de chips Rebellions sobre una posible transacción.
El recompra de Benson no disipa las dudas del mercado; el bono a 30 años de EE. UU. se mantiene en 5,24%, el dólar se debilita, el oro sube y el petróleo baja.
Los futuros del Dow Jones suben un 0,16%, los futuros del S&P 500 aumentan un 0,2% y los futuros del Nasdaq 100 un 0,4%. La tasa de rendimiento de los bonos estadounidenses a 30 años se mantiene en un nivel alto del 5,24%, mientras que la tasa a 10 años se estabiliza en 4,70%. El oro al contado registra un aumento diario del 1,0%, cotizando a 4562 dólares por onza. El foco del mercado está cambiando hacia el informe de ganancias de Nvidia que se publicará la próxima semana y la reunión anual de bancos centrales en Jackson Hole.
Nvidia planea invertir en el proveedor de datos de IA Mercor, cuya valoración alcanza los 20 mil millones de dólares.
Nvidia ya ha utilizado los datos de Mercor para entrenar el modelo abierto Nemotron, pagando decenas de millones de dólares en tarifas de servicio el trimestre pasado. Esta inversión marca el inicio de la estrategia de Nvidia para expandirse desde ser un cliente de chips hasta la parte superior de la cadena de suministro de datos. Mercor prevé ingresos brutos de 2 mil millones de dólares este año y, tras la última ronda de financiación, superará a Scale y se convertirá en el unicornio con mayor valoración en el segmento de etiquetado de datos.
Precios de las criptos
Más
