Un nuevo marco aborda riesgos ocultos en DeFi

Las finanzas descentralizadas, o DeFi, son un sistema financiero abierto construido sobre blockchains públicas que utiliza código autoejecutable en lugar de instituciones financieras tradicionales como bancos y corredores. Esto puede generar importantes mejoras en eficiencia e independencia del sistema financiero tradicional, pero también nuevos riesgos.

El primer tipo de riesgo está ligado a los llamados “smart contracts” que forman la columna vertebral de DeFi. Si están mal redactados o son deliberadamente maliciosos, un contrato inteligente defectuoso puede causar pérdidas financieras. Y con pocas o ninguna institución o regulador que proteja a los usuarios de DeFi, recuperar fondos perdidos o robados puede ser difícil.

Afortunadamente, a medida que DeFi maduró, surgieron normas para diseños seguros de contratos inteligentes, lo que mejoró considerablemente la seguridad frente a dichos riesgos.

Sin embargo, a medida que DeFi se vuelve más complejo, se utilizan una variedad de contratos inteligentes para construir diferentes protocolos DeFi. Esto crea un nuevo tipo de riesgo, donde la interacción entre contratos recién desplegados y la blockchain existente se utiliza para provocar pérdidas económicas.

Un nuevo artículo de investigadores italianos de la Universidad de Cagliari y la Universidad de Trento propone un nuevo marco para abordar dichos riesgos. Su artículo, aceptado para publicación en el Journal of Logical and Algebraic Methods in Programming, lleva el título “Un marco formal para la seguridad económica de las composiciones DeFi”.

DeFi y Valor Máximo Extraíble (MEV)

MEV explicado

Para comprender la situación de los contratos inteligentes y DeFi, los inversores deben entender el concepto de Valor Máximo Extraíble (MEV).

El MEV es el valor máximo que un adversario puede extraer al interactuar estratégicamente con un sistema blockchain. Se asocia comúnmente con validadores, mineros y secuenciadores que reordenan o seleccionan transacciones, pero también puede surgir cuando usuarios ordinarios explotan la lógica de los contratos inteligentes, dependencias de protocolos, discrepancias de precios o acceso temporal a capital.

«Aunque el MEV introduce dinámicas que pueden perjudicar a los usuarios y distorsionar incentivos, también es un fenómeno transparente y observable inherente a la infraestructura pública de blockchain».

Pranav Garimidi and Joseph Bonneau

Cambiar el MEV con nuevos contratos

El MEV es de donde proviene el nuevo vector de riesgos derivado de la integración de contratos inteligentes nuevos con los antiguos.

«Los adversarios pueden explotar interacciones no previstas entre protocolos para obtener un beneficio económico en detrimento de los usuarios honestos.

Este es un problema creciente, a medida que DeFi se expande y nuevas soluciones generan nuevos riesgos.

«Estos riesgos se ven aún más agravados por plataformas emergentes que permiten a los usuarios crear sin problemas composiciones arbitrarias de protocolos DeFi»

Por lo tanto, surge una pregunta fundamental para DeFi que necesita una respuesta sólida: ¿bajo qué condiciones es segura una composición DeFi?

Por esta razón, los investigadores que redactaron este estudio proponen un nuevo concepto para la composibilidad de DeFi, llamado “no interferencia de MEV”, que exige que las interacciones con el estado actual de la blockchain no aumenten el Valor Máximo Extraíble (MEV) obtenible a partir de un conjunto de contratos recién desplegados.

Luego aplicaron este marco a composiciones representativas de DeFi (intercambios, creadores de mercado automatizados, opciones, pools de préstamo, enrutadores y contratos de arbitraje), y demostraron que distingue composiciones seguras de las vulnerables.

Del análisis de blockchain al nivel de contrato

Para determinar la no interferencia de MEV, no basta con observar el MEV a nivel de blockchain. En su lugar, es necesario comprobar los principios de no interferencia con los contratos existentes.

Por eso los investigadores introdujeron el concepto de MEV local. Esto es una nueva medida de ataques económicos que cuantifica la pérdida máxima que los adversarios pueden infligir a un conjunto dado de contratos víctimas.

«En contraste con el MEV clásico, que se define para todo el estado de una blockchain, el MEV local se centra en los contratos cuya seguridad está bajo análisis. Este cambio de una perspectiva global a una local es el ingrediente clave de nuestro enfoque».

Este marco les ayudó a analizar composiciones representativas de DeFi, ya que utilizaron una colección de composiciones representativas de DeFi, incluyendo intercambios, AMM, opciones binarias, pools de préstamo, enrutadores de intercambio y protocolos de arbitraje.

Hacia la auditoría de interacciones económicas

Los autores del estudio proporcionan numerosos ejemplos detallados de cómo este marco de análisis puede usarse para detectar vulnerabilidades y riesgos de contratos nuevos, como manipulación de oráculo, ataques de flash‑loan, o dependencias previamente ocultas.

Esto incluyó un modelo adversario más fuerte (adversarios adinerados), en el que se asume que el adversario siempre posee suficientes tokens para infligir la pérdida máxima posible a los contratos víctimas.

En general, brinda a los desarrolladores una base más práctica para probar si las nuevas integraciones exponen el capital de los usuarios a ataques indirectos que aprovechan el efecto sobre los contratos inteligentes existentes.

Sin embargo, debe señalarse que este marco no es un sistema de seguridad listo para producción, sino solo una base formal. También excluye la actividad del mempool, los costos de gas, los ataques de congelación de tokens, la fijación de precios dinámica y algunos comportamientos de Ethereum. (ETH ) comportamientos como la reentrancia y las dependencias cíclicas.

Así, como ocurre a menudo en DeFi, mejorar la seguridad no solo proviene de algoritmos perfectos y composiciones matemáticamente seguras, sino también de la adaptación a la implementación real de Ethereum.

Invertir en Finanzas Descentralizadas

Chainlink

Chainlink (LINK ) Chainlink es una red descentralizada que conecta los contratos inteligentes de blockchain con datos del mundo real, APIs externas y sistemas de pago tradicionales. Chainlink es ampliamente adoptado por importantes infraestructuras de mercado, instituciones financieras y protocolos DeFi para habilitar casos de uso avanzados, incluidos Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido y muchos más.

Fuente: Chainlink

Chainlink resuelve un problema fundamental de los protocolos DeFi de blockchain: las blockchains son entornos aislados; por defecto, no pueden acceder a información externa.

Esto los hace vulnerables a la “manipulación del oráculo de precios”, donde los contratos inteligentes se ejecutan según datos falsos, por ejemplo, el precio incorrecto de un valor. Con Chainlink, dichos contratos inteligentes deben ejecutarse automáticamente basándose en eventos del mundo real verificados.

Por lo tanto, Chainlink aborda directamente esta forma de riesgo de composabilidad. Esto hace que Chainlink sea útil para varios casos de uso:

• Proporcionar precios de mercado altamente precisos e inviolables para criptomonedas, materias primas y acciones.
• Proporcionar números aleatorios criptográficamente seguros directamente en cadena para juegos blockchain y distribuciones de NFT.
• Protocolo de Interoperabilidad Intercadena (CCIP) para la comunicación entre redes blockchain o con infraestructuras bancarias tradicionales como SWIFT.

Los inversores en el token LINK deben, sin embargo, ser conscientes de que los desarrolladores utilizan tokens LINK para pagar a los operadores de nodos de Chainlink por la obtención, validación y entrega de datos.

También deben ser conscientes de que LINK no proporciona propiedad directa de acciones, sino participación en la infraestructura relacionada.

Últimas noticias y desarrollos de acciones de Chainlink (LINK)

Estudio Referenciado

^{1. Massimo Bartoletti, Riccardo Marchesin, y Roberto Zunino. A formal framework for the economic security of DeFi compositions. Journal of Logical and Algebraic Methods in Programming. 23 de septiembre de 2026. Artículo: 101171. 10.1016/j.jlamp.2026.101171}