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
Todo lo que necesitás saber: ¡El foco del mercado! ¿En qué deberías prestar atención en la conferencia de Jackson Hole de la próxima semana?
Wash dará su primer discurso principal en Jackson Hole el 28 de agosto, hora del este de EE.UU., pero aún no ha decidido si hablará sobre la "gran perspectiva" macroeconómica o si dará una orientación directa sobre la ruta de políticas de septiembre a diciembre. Esta incertidumbre significa que la sensibilidad del mercado a los cambios en el lenguaje podría aumentar notablemente. Se espera que unos cinco funcionarios de la Reserva Federal sean entrevistados por los medios durante la conferencia, por lo que se debe prestar especial atención a sus declaraciones consecutivas. Goldman Sachs considera que Jackson Hole históricamente amplifica la volatilidad del mercado de divisas, pero el dólar no tiene una dirección unilateral estable.
Mientras suben los rendimientos de los bonos del Tesoro estadounidense a largo plazo, Jackson Hole eclipsa los resultados de Nvidia: el discurso de Walsh podría definir el próximo rumbo de los activos de riesgo.
Ann Miletti de Allspring Global Investments señaló que Wall Street debería prestar más atención al contenido del simposio económico global de bancos centrales en Jackson Hole la próxima semana, en lugar de enfocarse en los resultados de Nvidia. Miletti indicó que los inversores deberían mantener expectativas bajas antes de la cumbre de Jackson Hole.
La empresa de centros de datos de IA, Nscale, podría salir a bolsa en EE.UU. tan pronto como en septiembre, con una recaudación máxima prevista de 3.000 millones de dólares.
La empresa británica de infraestructura de inteligencia artificial Nscale planea recaudar hasta 3 mil millones de dólares a través de una oferta pública inicial (IPO) en Estados Unidos.
Apple (AAPL.US) despide a más de 200 empleados y reorganiza los equipos de Siri y Vision Pro para acelerar la apuesta por la nueva generación de asistentes de IA y gafas inteligentes
Apple está realizando una nueva ronda de ajustes de personal en los equipos de su asistente digital Siri, el visor Vision Pro y algunos equipos de software de inteligencia artificial, con más de 200 despidos en total.
Precios de las criptos
Más
