We derive a slippage-aware toxicity condition for on-chain liquidations executed via a constant-product automated market maker (CP-AMM). For a fixed (constant) liquidation incentive $i$, the familiar toxicity frontier $ν< 1/(1+i)$ tightens to $ν< 1/((1+i)λ)$ for a liquidity penalty factor $λ$ that we derive for both the CP-AMM and a generalised form. Using a dynamic health-linked liquidation incentive $i(h) = i(1 - h)$, we obtain a state-dependent bound and, at the liquidation boundary, a liquidity-depth-only condition $ν< 1/λ$. This reconciles dynamic incentives with the impact of the CP-AMM price and clarifies when dynamic liquidation incentives reduce versus exacerbate spiral risk.
- ID del Artículo: 2510.10171
- Título: Toxicity Bounds for Dynamic Liquidation Incentives
- Autor: Alexander McFarlane
- Clasificación: q-fin.RM (Finanzas Cuantitativas - Gestión de Riesgos)
- Fecha de Publicación: 14 de octubre de 2025
- Enlace del Artículo: https://arxiv.org/abs/2510.10171
Este artículo deriva condiciones de toxicidad conscientes del deslizamiento para liquidaciones en cadena ejecutadas a través de creadores de mercado automatizados de producto constante (CP-AMM). Para un incentivo de liquidación fijo i, el límite de toxicidad familiar ν<1/(1+i) se ajusta a ν<1/((1+i)λ), donde el factor de penalización de liquidez λ se aplica a CP-AMM y formas generalizadas. Utilizando incentivos de liquidación dinámicos asociados a la salud i(h)=i(1−h), se obtienen límites dependientes del estado en el límite de liquidación y una condición que depende únicamente de la profundidad de liquidez ν<1/λ. Esto armoniza los incentivos dinámicos con el impacto de precios de CP-AMM y aclara cuándo los incentivos de liquidación dinámica reducen o exacerban el riesgo de espiral.
- Problema Central: El proceso de liquidación en protocolos de préstamo en cadena puede conducir a "espirales de liquidación tóxica", donde las operaciones de liquidación empeoran la salud del prestatario, llevándolo a liquidación completa o insolvencia.
- Importancia:
- La seguridad del mecanismo de liquidación en protocolos DeFi afecta directamente la estabilidad del protocolo
- La configuración inadecuada de parámetros de liquidación puede provocar riesgos sistémicos
- Es necesario encontrar un equilibrio entre incentivar a los liquidadores y proteger a los prestatarios
- Limitaciones Existentes:
- La condición de límite de toxicidad tradicional ν<1/(1+i) no considera el impacto del deslizamiento de precios del AMM
- Los incentivos de liquidación fijos no pueden adaptarse a diferentes necesidades de riesgo según el estado de salud
- Falta un marco teórico que unifique los incentivos dinámicos con el impacto de precios
- Motivación de la Investigación: Proporcionar herramientas más precisas de gestión de riesgos para sistemas de liquidación DeFi mediante la introducción de condiciones de toxicidad conscientes del deslizamiento y mecanismos de incentivos dinámicos.
- Derivación de condiciones de toxicidad conscientes del deslizamiento: Extensión del límite tradicional ν<1/(1+i) a ν<1/((1+i)λ), introduciendo el factor de penalización de liquidez λ
- Propuesta de un marco unificado de penalización de liquidez: Presentación unificada para el modelo CP-AMM (λ=1+2c/y) y el modelo de impacto de precio lineal (λ=1+ϕc)
- Diseño de incentivos de liquidación dinámicos asociados a la salud: i(h)=i(1−h), donde los incentivos aumentan a medida que disminuye la salud
- Obtención de condiciones de límite independientes del modelo: En el límite LLTV, se obtiene la condición v≤1/λ que depende únicamente de la profundidad de liquidez
- Unificación Teórica: Armonización de mecanismos de incentivos dinámicos con impacto de precios de AMM, aclarando cuándo los incentivos dinámicos pueden reducir el riesgo de espiral
Entrada:
- Valor de garantía c y deuda q del prestatario
- Parámetro LLTV del protocolo v
- Reservas de AMM (x,y) y precio P=y/x
Salida:
- Límites de condiciones de toxicidad
- Configuración segura de parámetros del protocolo
Restricciones:
- Definición de LTV: ℓ:=q/c
- Salud: h:=vc/q=v/ℓ
- Invariante de AMM: xy=k
Para un CP-AMM con reservas (x,y), el impacto de precio local es:
d(lnP)=d(lny−lnx)=−2xdx
La liquidación de garantía valorada en (1+i)da significa dx=P(1+i)da, por lo tanto:
d(lnP)=−y2(1+i)da
El cambio infinitesimal en el valor de la garantía es:
dc=−1(1+i)da⋅λ,λ:=1+y2c
Cambio de salud:
dh=qv[dc−qcdq]
La toxicidad de liquidación (reducción de salud) ocurre si y solo si dh<0, es decir:
ℓ>(1+i)λ1
- Modelo CP-AMM: λ=1+2c/y, refleja directamente la profundidad de liquidez
- Modelo Lineal: λ=1+ϕc, donde ϕ=σ/(L(1−γ))
- Marco Unificado: Evita especificidad de modelo, facilita comparación entre modelos
Selección de función lineal asociada a la salud:
i(h)=i(1−h)=i(1−ℓv)
Características:
- Incentivos bajos cuando la salud es alta, evitando liquidación excesiva
- Incentivos altos cuando la salud es baja, asegurando liquidación oportuna
- En el límite LLTV i(h)=0
En el límite LLTV ℓ=v, el incentivo dinámico es cero, y la condición de toxicidad se simplifica a:
v≤λ1
Este es un resultado independiente del modelo, que depende únicamente de la profundidad de liquidez.
Este artículo realiza principalmente derivaciones teóricas, verificadas mediante análisis matemático:
- Verificación de Casos Límite: Cuando y→∞, λ→1, la condición se reduce al resultado clásico
- Verificaciones de Consistencia: Asegurar que el comportamiento de incentivos dinámicos en el límite sea el esperado
- Sensibilidad de Parámetros: Análisis del impacto de la profundidad de liquidez en el límite de seguridad
- Modelo Base: Condición de toxicidad clásica sin deslizamiento ν<1/(1+i)
- Modelo CP-AMM: Condición corregida considerando deslizamiento de AMM
- Modelo de Impacto Lineal: Marco alternativo basado en la λ de Kyle
- Límite tradicional: ν<1/(1+i)
- Límite corregido: ν<1/((1+i)λ)
- Dado que λ>1, el deslizamiento contrae la región segura
- CP-AMM: λ=1+2c/y, mayor y (liquidez más profunda) reduce λ
- Condición de límite: v≤1/λ vincula directamente la seguridad del protocolo con la liquidez de AMM
En el límite LLTV:
- Incentivo fijo: debe satisfacer v≤1/((1+i)λ)
- Incentivo dinámico: solo requiere v≤1/λ, condición más flexible
- La profundidad de liquidez es el factor determinante: En el límite LLTV, la profundidad de AMM se convierte en el único factor determinante de la seguridad
- Acción coordinadora de incentivos dinámicos: Mediante diseño asociado a la salud, los incentivos dinámicos se ajustan automáticamente en momentos críticos
- Generalidad del Modelo: La condición de límite v≤1/λ se aplica a cualquier modelo de impacto de precio monótono
- Mecanismos de Liquidación DeFi: La investigación existente se enfoca principalmente en eficiencia de liquidación bajo parámetros fijos
- Impacto de Precio de AMM: Basado en la teoría de microestructura de mercado de Kyle (1985)
- Espirales de Liquidación Tóxica: Warmuz et al. (2022) fue el primero en estudiar sistemáticamente modelos de deslizamiento lineal
- Comparado con Warmuz et al.: Extensión al modelo CP-AMM, modelado más preciso del impacto de precios
- Comparado con Teoría de Liquidación Tradicional: Introducción de incentivos dinámicos y condiciones conscientes del deslizamiento
- Comparado con Investigación de AMM: Aplicación de teoría de impacto de precios a gestión de riesgo de liquidación
- El deslizamiento afecta significativamente la seguridad de liquidación: El factor de penalización de liquidez λ contrae la región segura
- Los incentivos dinámicos proporcionan mejor gestión de riesgos: Ofrecen mayor espacio de parámetros manteniendo la seguridad
- La profundidad de liquidez es crítica: La seguridad del protocolo depende directamente de la liquidez del AMM subyacente
- Limitaciones del Análisis Local: Las derivaciones se basan en pasos infinitesimales, liquidaciones grandes requieren análisis integral
- Suposición de AMM Único: No considera enrutamiento multipista o agregación de liquidez
- Función de Incentivo Lineal: Las aplicaciones prácticas pueden requerir diseños de incentivos más complejos
- Suposición de Liquidez Estática: No considera cambios dinámicos en la liquidez
- Análisis de Pasos Finitos: Extensión a forma integral para liquidaciones grandes
- Enrutamiento Multi-AMM: Consideración de rutas de liquidación a través de múltiples pools de liquidez
- Modelado de Liquidez Dinámica: Incorporación de respuestas de comportamiento de proveedores de liquidez
- Verificación Empírica: Validación de predicciones teóricas usando datos históricos
- Rigor Teórico: Derivaciones matemáticas claras, conclusiones prácticas derivadas de principios fundamentales
- Relevancia Práctica: Aplicable directamente al diseño de parámetros de protocolos DeFi actuales
- Marco Unificado: Proporciona método genérico para conectar diferentes modelos de impacto de precios
- Diseño Innovador: Mecanismo de incentivos dinámicos elegante en teoría y práctico en aplicación
- Simplificación del Modelo: La linealización local de CP-AMM puede fallar en transacciones grandes
- Falta de Verificación Empírica: Investigación puramente teórica, carece de apoyo de datos reales
- Limitación de Función de Incentivo: La asociación lineal a la salud puede no ser óptima
- Factores Externos Ignorados: No considera costos de gas, MEV y otros factores prácticos
- Contribución Académica: Proporciona base teórica importante para gestión de riesgos DeFi
- Valor Práctico: Guía directamente la configuración de parámetros del protocolo y control de riesgos
- Reproducibilidad: Los resultados teóricos son fáciles de verificar y aplicar
- Extensibilidad: El marco es extensible a otros tipos de AMM y mecanismos de incentivos
- Diseño de Protocolos DeFi: Optimización de parámetros LLTV y configuración de incentivos de liquidación
- Gestión de Riesgos: Evaluación de seguridad del protocolo bajo diferentes condiciones de liquidez
- Integración de AMM: Guía para seleccionar rutas de ejecución de liquidación apropiadas
- Análisis Regulatorio: Proporciona herramientas cuantitativas para evaluación de riesgos DeFi
- J. Warmuz, A. Chaudhary, and D. Pinna, "Toxic Liquidation Spirals," arXiv preprint arXiv:2212.07306, 2022.
- A. S. Kyle, "Continuous Auctions and Insider Trading," Econometrica, vol. 53, no. 6, pp. 1315–1335, Nov. 1985.
Resumen: Este artículo proporciona un marco teórico más preciso para sistemas de liquidación DeFi mediante la introducción de condiciones de toxicidad conscientes del deslizamiento e incentivos de liquidación dinámicos. Aunque existen limitaciones derivadas de suposiciones simplificadas, sus contribuciones teóricas tienen un significado importante para orientar el diseño de seguridad de protocolos DeFi. La condición de límite v≤1/λ vincula de manera concisa la seguridad del protocolo con la liquidez de AMM, proporcionando criterios de diseño intuitivos para aplicación práctica.