Los Flash Loans no están rotos. El diseño del protocolo sí lo está.
Otro exploit. Otro protocolo. Otra pérdida de un millón de dólares.
Esta vez, según se informa, el Core de Allbridge en Solana perdió más de 1,1 millones de dólares. Los titulares culpan a los flash loans, pero ahí no es donde empieza el verdadero problema.
Los flash loans no son vulnerabilidades. Son primitivas de liquidez sin permisos. Simplemente permiten que cualquiera acceda a un capital masivo dentro de una sola transacción atómica. Si un protocolo está diseñado correctamente, pedir prestado 1 millón de dólares o incluso 100 millones no debería cambiar sus supuestos de seguridad.
El exploit ocurre cuando un protocolo confunde las condiciones temporales del mercado con una verdad objetiva.
Al usar un flash loan, un atacante puede manipular brevemente la liquidez, distorsionar el precio spot dentro de un pool y hacer que el protocolo crea que el precio manipulado es legítimo. Si la contabilidad, la valoración del colateral o la lógica de reembolso dependen de ese estado temporal, el protocolo empieza a tomar decisiones económicamente incorrectas, mientras cada línea de código sigue funcionando exactamente como estaba previsto.
Por eso, los exploits modernos de DeFi son cada vez más ataques económicos que fallos de software.
Sin reentrancy. Sin desbordamiento de enteros. Sin compromiso de clave privada.
Solo suposiciones erróneas sobre cómo se comportan los mercados bajo condiciones adversarias.
El verdadero desafío ya no es escribir contratos inteligentes seguros. Es diseñar sistemas que sigan siendo seguros cuando los atacantes tienen prácticamente capital ilimitado para una sola transacción.
Los flash loans no rompieron DeFi.
Expusieron protocolos construidos sobre suposiciones en lugar de pensamiento adversarial.
El código puede verificarse formalmente. Las suposiciones económicas no.
#DeFi #solana #FlashLoan #security #SmartContracts