Aave gasta $1.5M en una auditoría de 345 días para fortalecer la seguridad de V4

TheNewsCrypto
AAVE5,09%
TRX0,68%
  • Aave Labs no sigue el enfoque antiguo de construir primero y auditar después, y tiene equipos de seguridad de V4 trabajando con los desarrolladores desde el día inicial.
  • El elemento de IA destaca, y los sistemas automatizados pueden detectar casos límite que los auditores humanos podrían pasar por alto.

El equipo de Aave Labs ha gastado aproximadamente 1.5 millones de dólares en un extenso programa de auditoría, marcando una de las revisiones de seguridad más exhaustivas en DeFi hasta ahora. El proceso de revisión duró alrededor de 345 días y contó con varias empresas de seguridad y un gran concurso público de auditoría.

El período de avanzar rápidamente y romper cosas se está disipando lentamente. En el escenario actual del mercado, la resiliencia y la seguridad son la verdadera ventaja competitiva. El equipo cuenta principalmente con el respaldo de Aava DAO en términos de financiamiento, y ha involucrado a destacadas empresas de seguridad como ChainSecurity, Trail of Bits, Blackthorn y Certora.

En lugar de una sola pasada de auditoría, el código fue probado desde diferentes ángulos. En conjunto, el protocolo pasó aproximadamente un año completo de pruebas por parte de equipos internos, auditores externos e investigadores independientes.

Las fases más importantes incluyeron un concurso público de seguridad de seis semanas en Sherlock, entre diciembre de 2025 y enero de 2026. Participaron más de 900 investigadores y se presentaron más de 950 hallazgos.

Fortaleciendo la Confianza

A pesar de esa gran revisión, no se encontraron vulnerabilidades críticas o de alta severidad. Esto refuerza la confianza en la arquitectura de hub-and-spoke de Aave, diseñada inicialmente para reducir toda la superficie de ataque del protocolo.

Aave Labs no sigue el enfoque antiguo de construir primero y auditar después, y tiene equipos de seguridad de V4 trabajando con los desarrolladores desde el día inicial. El marco cubre cinco ideas principales, incluyendo la verificación formal para probar matemáticamente el código, revisiones en capas que combinan auditorías manuales y pruebas automatizadas, verificaciones constantes en cada actualización de código, programas continuos de recompensas por errores y herramientas de IA que escanean en busca de rutas de ataque inusuales.

El elemento de IA destaca, y los sistemas automatizados pueden detectar casos límite que los auditores humanos podrían pasar por alto. La empresa de verificación Certora ayudó a describir reglas estrictas conocidas como ‘invariantes’ que el código debe seguir siempre antes de que incluso pase a revisión manual.

Noticias destacadas de criptomonedas hoy:

Fundador de TRON, Justin Sun, y la SEC alcanzan un acuerdo de conciliación.

Aviso legal: La información de esta página puede proceder de terceros y no representa los puntos de vista ni las opiniones de Gate. El contenido que aparece en esta página es solo para fines informativos y no constituye ningún tipo de asesoramiento financiero, de inversión o legal. Gate no garantiza la exactitud ni la integridad de la información y no se hace responsable de ninguna pérdida derivada del uso de esta información. Las inversiones en activos virtuales conllevan riesgos elevados y están sujetas a una volatilidad significativa de los precios. Podrías perder todo el capital invertido. Asegúrate de entender completamente los riesgos asociados y toma decisiones prudentes de acuerdo con tu situación financiera y tu tolerancia al riesgo. Para obtener más información, consulta el Aviso legal.

Artículos relacionados

Los servicios de B.AI para LLM superan los 1 millón de usuarios, escalando una infraestructura de IA centrada en la privacidad

Los servicios de LLM de B.AI han superado los 1 millón de usuarios, demostrando su capacidad para gestionar un alto rendimiento con una arquitectura de enrutamiento con enfoque en la privacidad, mientras desarrolla infraestructura para una economía de agentes autónomos.

GateNewshace1h

El portal institucional de DeFi de Ripple entra en pruebas beta para pagos con stablecoins

Ripple ha presentado su Portal Institucional de DeFi en versión beta, diseñado para facilitar el acceso de las instituciones financieras a las finanzas descentralizadas y a los pagos con stablecoin. El portal aborda desafíos de cumplimiento y operativos, con el objetivo de mejorar la gestión de pagos con stablecoin.

GateNewshace1h

Morpho presenta Morpho Midnight, un nuevo protocolo de préstamos con tasa fija

Morpho ha lanzado Morpho Midnight, un producto de préstamo DeFi de tasa fija distinto de su contraparte de tasa variable, Morpho Blue. El cofundador Paul Frambot destaca que Midnight representa un nuevo enfoque de préstamos onchain, que convive con Blue. Morpho tiene $7.7 mil millones en TVL.

GateNewshace1h

Tether Lanza una Cartera Multicadena de Autocustodia Usando WDK de Código Abierto

Tether lanzó una billetera de custodia propia llamada “People's Wallet”, centrada en la inclusión financiera y la facilidad de uso. Admite criptomonedas como USDT, Bitcoin y XAUT, con el objetivo de simplificar las transacciones y eliminar intermediarios.

GateNewshace2h

Scroll pierde $160M TVL ya que Ether.fi migra a Optimism y planea disolver el comité de seguridad

La red de capa 2 de Ethereum Scroll perdió aproximadamente $160 millones en valor total bloqueado después de que Ether.fi migrara a Optimism, lo que supuso $13 millones en pérdidas de tarifas. Scroll planea disolver su comité de seguridad, reducir el número de miembros del DAO y recientemente se enfrentó a un aumento en las tarifas de gas.

GateNewshace2h

La campaña de predepósito de Pharos Mainnet alcanza $50M en valor total bloqueado

Pharos lanzó una campaña de predepósito para una stablecoin RWA antes de su debut en la red principal, ofreciendo un período de staking de 100 días con un rendimiento del 14-16%. La campaña alcanzó rápidamente su tope de staking, atrayendo $50 millones en valor total bloqueado.

GateNewshace2h
Comentar
0/400
Sin comentarios