Ganancias:
- Capacidad para comprender los componentes básicos de DeFi, como AMM, fondo de liquidez, Oracle y préstamos flash, y utilizar inteligencia artificial en la explicación de mecanismos y la redacción de escenarios.
- Ser capaz de distinguir que la mayoría de los riesgos de DeFi son vulnerabilidades de lógica económica/empresarial, no errores de código, y que la inteligencia artificial es débil en la vulnerabilidad económica original.
- Ser capaz de entender que la seguridad económica se prueba con la simulación, no con el pensamiento, y que la adicción a los oráculos es el punto más frágil.
DeFi (Finanzas Descentralizadas) es el dominio de mayor valor y más atacado de Web3. Los intercambios, los protocolos de préstamos, los fondos de liquidez, todos funcionan como código y mueven millones de dólares en un entorno hostil. En esta unidad utilizaremos la IA como asistente de análisis de protocolos; Aprenderemos a comprender la liquidez, los precios, el MEV y los ataques económicos y dónde la IA es útil e inadecuada en esta área contextual.
Componentes básicos de DeFi
- AMM (Creador de Mercado Automatizado): Un mecanismo de intercambio que fija los precios mediante una fórmula (por ejemplo, x·y=k) en lugar de hacer coincidir compradores y vendedores.
- Fondo de liquidez: un fondo común donde los usuarios depositan tokens y se realizan transacciones.
- Protocolo de préstamo: Préstamo contra garantía; La liquidación ocurre cuando el valor de la garantía disminuye.
- Oracle: la fuente de datos que aporta el precio del mundo exterior al protocolo: la dependencia más crítica y frágil de DeFi.
- Préstamo flash: Préstamo tomado sin garantía en una sola transacción y devuelto en la misma transacción; Tiene usos legítimos y una herramienta de ataque.
MEV y ataques económicos
MEV (Valor máximo extraíble: el valor extraído por la autoridad para ordenar/agregar/eliminar transacciones) es una clase de riesgo específica de DeFi. Las transacciones pendientes aparecen en el grupo público (mempool); Esta visibilidad abre la puerta a los siguientes ataques:
- Front-running: Ver una transacción rentable e insertar la propia transacción delante de ella.
- Ataque sándwich: realizar transacciones antes y después de la compra de la víctima y beneficiarse de la diferencia de precio.
- Manipulación de Oracle: engañar al protocolo cambiando instantáneamente el precio de un pool, generalmente con un préstamo rápido.
Estos ataques surgen no del "error" del código, sino de la explotabilidad del diseño económico. Aquí es donde la IA tiene más dificultades: la IA que es buena escaneando códigos técnicos a menudo no puede detectar una vulnerabilidad económica específica de un protocolo.
Atención: La mayoría de las vulnerabilidades de DeFi no son "errores de código", sino vulnerabilidades de lógica económica/empresarial. El escaneo de códigos estándar de la IA no los detecta; Este es el campo que requiere la mayor experiencia humana, simulación y modelado.
El papel de la IA en el análisis de DeFi
1. Descripción del mecanismo. La IA es poderosa para explicar en lenguaje sencillo cómo funciona un protocolo complejo (por ejemplo, un AMM basado en curvas). Esto proporciona una entrada rápida al análisis.
2. Generar un escenario/contrahipótesis. "¿Con qué movimiento de precios este protocolo de deuda entrará en una crisis de liquidación?" AI produce borradores de escenarios con preguntas como; estos se prueban mediante simulación.
3. Recordar patrones de ataque conocidos. La IA evoca los patrones de ataques DeFi pasados (manipulación de oráculos, reentrada, espiral de liquidación) como una lista de verificación.
4. Borrador del plan de simulación. La IA puede idear un plan sobre qué escenarios probar; pero la simulación en sí se realiza con la herramienta (Foundry, Tenderly).
Aviso débil / Aviso fuerte
Aviso débil:
¿Es seguro este protocolo DeFi?
Potente mensaje:
Su función: analista del protocolo DeFi. Examine el mecanismo del protocolo a continuación. Considere los siguientes vectores de ataque económico uno por uno: manipulación de Oracle (con préstamo rápido), sándwich/front-running, espiral de liquidación, efecto de retirada de liquidez. Para cada vector: cómo activarse, qué condición se requiere, posible impacto. Éstas son las hipótesis que deben comprobarse POR SIMULACIÓN; No digas "seguro/inseguro" con seguridad. GENERAR código de ataque real; Describa el riesgo únicamente con fines defensivos.
Cuatro plantillas copiables
1) Descripción del mecanismo:
Explique en lenguaje sencillo, paso a paso, el mecanismo de precio/liquidez de este protocolo: ¿qué sucede cuando un usuario realiza una transacción, cómo se determina el precio, qué dependencias externas existen? Marque la parte que no comprenda o no la deje clara.
2) Superficie de ataque económico:
Mapee la superficie de ataque económico de este protocolo: ¿qué supuestos se pueden explotar en Oracle, liquidez, garantía, liquidación, gobernanza? Escriba cada riesgo con una condición ("qué pasaría si"). Preséntelo como una hipótesis a confirmar mediante simulación.
3) Escenario de estrés:
Considere los siguientes escenarios: si el token de garantía cae un 50%, si el precio del oráculo se desvía momentáneamente un 30%, si se retira el 80% de la liquidez, ¿cuál será el protocolo? Escriba el efecto en cadena de cada escenario. No pretenda precisión numérica; Especifique que se requiere simulación.
4) Coincidencia de patrones de ataque históricos:
¿El diseño de este protocolo tiene condiciones similares a cuáles de los patrones de ataque DeFi conocidos (por ejemplo, oráculo de fuente única, precio de apertura de préstamos flash)? Señalar similitudes con fines defensivos; No dé el paso de explotar, sólo producirá un punto de atención.
Tres mini estuches (en números)
Caso 1: Riesgo de Oracle detectado tempranamente. Un equipo estaba diseñando un nuevo protocolo de deuda. Durante la explicación del mecanismo, YZ marcó la hipótesis de que "el precio se toma de un único grupo y puede manipularse con préstamos flash". El equipo confirmó esto en la simulación y pasó a TWAP + multi-sourcing. Pérdida estimada evitada: todo el valor bloqueado del protocolo. Lección: La IA es valiosa para evocar patrones conocidos.
Caso 2: La IA no detectó la vulnerabilidad original. En otro protocolo, la vulnerabilidad era un error económico único resultante de la interacción de dos mecanismos (recompensa + liquidación). La IA encontró cada mecanismo "impecable" uno por uno; No pude ver la interacción. Modelador humano y simulación capturados. Lección: si bien los componentes son correctos, la economía del conjunto es el punto ciego de la IA.
Caso 3: El plan de simulación ahorró tiempo. Un analista elaboró 15 escenarios de estrés diferentes en la IA en lugar de planificarlos a mano; Luego lo ejecuté en Foundry. La planificación bajó de 1 día a 2 horas; pero la interpretación de los resultados y la decisión eran del hombre. Lección: Planes de IA, medidas de vehículos, decisiones humanas.
La indispensabilidad de la simulación
En DeFi, la seguridad no se prueba “pensando”; Se prueba mediante simulación. La solidez económica de un protocolo se puede entender ejecutando numéricamente diferentes escenarios de precio, liquidez y ataque. La IA puede planificar y redactar el código de estas simulaciones; pero son las herramientas y las personas quienes producen e interpretan los resultados. La afirmación "probablemente duradera" producida por la IA no es un resultado de simulación y no puede presentarse como tal.
Consejo: cuando reciba una evaluación de riesgo de DeFi de AI, debe preguntar a cada hipótesis "¿con qué simulación pruebo esto?" Conviértelo en una pregunta. Una afirmación de seguridad que no se puede probar no es una garantía en DeFi.
Errores comunes
- Escaneando el déficit económico como un error de código. Los riesgos de DeFi están principalmente en la lógica empresarial.
- Confiar en que la IA diga "seguro" y saltarse la simulación. Se requieren pruebas.
- Validar componentes uno por uno y saltarse la interacción. La economía del conjunto es crítica.
- Confiando en Oracle desde una única fuente. El desastre DeFi más común.
- Ignorando MEV/ejecución frontal. Olvidando el hecho del mempool público.
- Generando código de explotación. Sólo el análisis defensivo es legítimo.
En resumen
- DeFi es un espacio hostil y de alto valor; Los riesgos están principalmente en la lógica económica/empresarial.
- MEV, front-running, sándwich y manipulación de Oracle son clases de ataques específicos de DeFi.
- La IA es sólida en la explicación de mecanismos y la redacción de escenarios; El déficit económico original es débil.
- La seguridad económica se prueba mediante la simulación, no mediante el pensamiento; Planes de IA, medidas de vehículos.
- La dependencia de Oracle es el punto más vulnerable de DeFi; Se requieren múltiples recursos y TWAP.
Tarea de aplicación
Elija un AMM o protocolo de préstamo (con documentación clara). Aplique las indicaciones de "descripción del mecanismo" y "superficie de ataque económico" a la IA. Para cada hipótesis de riesgo que produce la IA, “¿con qué simulación probaría esto?” Responde la pregunta. Luego busque el informe de auditoría real de ese protocolo y compare los hallazgos reales con los riesgos señalados por la IA: ¿Qué detectó la IA y qué se perdió?
lista de verificación
- [ ] Hablé de los riesgos en dos dimensiones: código + economía.
- [] Evalué MEV/front-running.
- [] También examiné la dependencia de Oracle.
- [ ] Cuestioné la interacción de los componentes (toda la economía).
- [] Conecté cada hipótesis a un plan de simulación.
- [] Reemplacé la "caja fuerte" de la IA con simulación.
- [] Solo analicé con fines defensivos.