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.
- Papier-ID: 2510.10171
- Titel: Toxicity Bounds for Dynamic Liquidation Incentives
- Autor: Alexander McFarlane
- Klassifizierung: q-fin.RM (Quantitative Finanzwirtschaft - Risikomanagement)
- Veröffentlichungsdatum: 14. Oktober 2025
- Papierlink: https://arxiv.org/abs/2510.10171
Dieses Papier leitet Slippage-bewusste Toxizitätsbedingungen für On-Chain-Liquidierungen ab, die durch konstante Produkt-Automated Market Maker (CP-AMM) ausgeführt werden. Für feste Liquidierungsanreize i wird die bekannte Toxizitätsgrenze ν<1/(1+i) verschärft zu ν<1/((1+i)λ), wobei der Liquiditätsbestrafungsfaktor λ auf CP-AMM und verallgemeinerte Formen angewendet wird. Mit dynamischen gesundheitsbezogenen Liquidierungsanreizen i(h)=i(1−h) werden zustandsabhängige Grenzen an der Liquidierungsgrenze und Bedingungen ν<1/λ, die nur von der Liquiditätstiefe abhängen, erhalten. Dies harmonisiert dynamische Anreize mit CP-AMM-Preisauswirkungen und verdeutlicht, wann dynamische Liquidierungsanreize Spiralrisiken verringern oder verschärfen.
- Kernproblem: Der Liquidierungsprozess in On-Chain-Kreditprotokollen kann zu „toxischen Liquidierungsspiralen" führen, bei denen Liquidierungsoperationen tatsächlich die Gesundheit des Kreditnehmers verschlechtern und ihn zur vollständigen Liquidierung oder zu Ausfallrisiken führen.
- Bedeutung:
- Die Sicherheit des Liquidierungsmechanismus in DeFi-Protokollen beeinflusst direkt die Protokollstabilität
- Unangemessene Liquidierungsparametereinstellungen können zu systemischen Risiken führen
- Es ist notwendig, ein Gleichgewicht zwischen der Anreizung von Liquidatoren und dem Schutz von Kreditnehmern zu finden
- Bestehende Einschränkungen:
- Die traditionelle Toxizitätsgrenzenbedingung ν<1/(1+i) berücksichtigt nicht die Slippage-Auswirkungen von AMM
- Feste Liquidierungsanreize können sich nicht an unterschiedliche Risikoanforderungen in verschiedenen Gesundheitszuständen anpassen
- Es fehlt ein theoretischer Rahmen, der dynamische Anreize mit Preisauswirkungen vereint
- Forschungsmotivation: Durch die Einführung von Slippage-bewussten Toxizitätsbedingungen und dynamischen Anreizmechanismen werden präzisere Risikomanagementtools für DeFi-Liquidierungssysteme bereitgestellt.
- Ableitung von Slippage-bewussten Toxizitätsbedingungen: Erweiterung der traditionellen Grenze ν<1/(1+i) zu ν<1/((1+i)λ) mit Einführung des Liquiditätsbestrafungsfaktors λ
- Vorschlag eines einheitlichen Liquiditätsbestrafungsrahmens: Einheitliche Darstellung für CP-AMM-Modell (λ=1+2c/y) und lineares Preisauswirkungsmodell (λ=1+ϕc)
- Entwurf dynamischer gesundheitsbezogener Liquidierungsanreize: i(h)=i(1−h), wobei Anreize mit sinkender Gesundheit zunehmen
- Erhalt modellunabhängiger Grenzbedingungen: An der LLTV-Grenze wird die Bedingung v≤1/λ erhalten, die nur von der Liquiditätstiefe abhängt
- Theoretische Vereinigung: Harmonisierung dynamischer Anreizmechanismen mit AMM-Preisauswirkungen und Verdeutlichung, wann dynamische Anreize Spiralrisiken verringern können
Eingaben:
- Sicherheitenwert des Kreditnehmers c und Schulden q
- LLTV-Parameter des Protokolls v
- AMM-Reserven (x,y) und Preis P=y/x
Ausgaben:
- Toxizitätsgrenzbedingungen
- Sichere Protokollparametereinstellungen
Nebenbedingungen:
- LTV-Definition: ℓ:=q/c
- Gesundheit: h:=vc/q=v/ℓ
- AMM-Invariante: xy=k
Für einen CP-AMM mit Reserven (x,y) ist die lokale Preisauswirkung:
d(lnP)=d(lny−lnx)=−2xdx
Die Liquidierung von Sicherheiten im Wert von (1+i)da bedeutet dx=P(1+i)da, daher:
d(lnP)=−y2(1+i)da
Die infinitesimale Änderung des Sicherheitenwertes ist:
dc=−1(1+i)da⋅λ,λ:=1+y2c
Gesundheitsveränderung:
dh=qv[dc−qcdq]
Liquidierungstoxizität (Verringerung der Gesundheit) tritt genau dann auf, wenn dh<0, d.h.:
ℓ>(1+i)λ1
- CP-AMM-Modell: λ=1+2c/y, direkte Widerspiegelung der Liquiditätstiefe
- Lineares Modell: λ=1+ϕc, wobei ϕ=σ/(L(1−γ))
- Einheitlicher Rahmen: Vermeidung modellspezifischer Aspekte, Erleichterung modellübergreifender Vergleiche
Wahl einer linearen gesundheitsbezogenen Funktion:
i(h)=i(1−h)=i(1−ℓv)
Merkmale:
- Niedrige Anreize bei hoher Gesundheit, Vermeidung von Überflüssigkeitsliquidierung
- Hohe Anreize bei niedriger Gesundheit, Gewährleistung zeitnaher Liquidierung
- An der LLTV-Grenze i(h)=0
An der LLTV-Grenze ℓ=v ist der dynamische Anreiz null, und die Toxizitätsbedingung vereinfacht sich zu:
v≤λ1
Dies ist ein modellunabhängiges Ergebnis, das nur von der Liquiditätstiefe abhängt.
Dieses Papier führt hauptsächlich theoretische Ableitungen durch und verifiziert diese durch mathematische Analyse:
- Grenzfallverifikation: Wenn y→∞, dann λ→1, und die Bedingung degeneriert zu klassischen Ergebnissen
- Konsistenzprüfung: Sicherstellung, dass das Verhalten dynamischer Anreize an Grenzen den Erwartungen entspricht
- Parametersensitivität: Analyse des Einflusses der Liquiditätstiefe auf sichere Grenzen
- Basismodell: Klassische Toxizitätsbedingung ohne Slippage ν<1/(1+i)
- CP-AMM-Modell: Korrigierte Bedingung unter Berücksichtigung von AMM-Slippage
- Lineares Auswirkungsmodell: Alternativer Rahmen basierend auf Kyles λ
- Traditionelle Grenze: ν<1/(1+i)
- Korrigierte Grenze: ν<1/((1+i)λ)
- Da λ>1, verringert Slippage den sicheren Bereich
- CP-AMM: λ=1+2c/y, größeres y (tiefere Liquidität) senkt λ
- Grenzbedingung: v≤1/λ verbindet direkt die Protokollsicherheit mit AMM-Liquidität
An der LLTV-Grenze:
- Feste Anreize: Erfordernis v≤1/((1+i)λ)
- Dynamische Anreize: Nur v≤1/λ erforderlich, lockerere Bedingung
- Liquiditätstiefe ist entscheidender Faktor: An der LLTV-Grenze wird die AMM-Tiefe zum einzigen Sicherheitsdeterminanten
- Koordinierende Wirkung dynamischer Anreize: Durch gesundheitsbezogenes Design passen sich dynamische Anreize in kritischen Momenten automatisch an
- Modelluniversalität: Die Grenzbedingung v≤1/λ gilt für jedes monotone Preisauswirkungsmodell
- DeFi-Liquidierungsmechanismen: Bestehende Forschung konzentriert sich hauptsächlich auf Liquidierungseffizienz unter festen Parametern
- AMM-Preisauswirkungen: Basierend auf Kyles (1985) Theorie der Marktmikrostruktur
- Toxische Liquidierungsspiralen: Warmuz et al. (2022) untersuchten erstmals systematisch lineare Slippage-Modelle
- Im Vergleich zu Warmuz et al.: Erweiterung auf CP-AMM-Modell, präzisere Modellierung von Preisauswirkungen
- Im Vergleich zu traditioneller Liquidierungstheorie: Einführung dynamischer Anreize und Slippage-bewusster Bedingungen
- Im Vergleich zu AMM-Forschung: Anwendung der Preisauswirkungstheorie auf Liquidierungsrisikomanagement
- Slippage beeinflusst Liquidierungssicherheit erheblich: Der Liquiditätsbestrafungsfaktor λ verringert den sicheren Bereich
- Dynamische Anreize bieten besseres Risikomanagement: Größerer Parameterraum bei Aufrechterhaltung der Sicherheit
- Liquiditätstiefe ist entscheidend: Die Protokollsicherheit hängt direkt von der Liquidität des zugrunde liegenden AMM ab
- Einschränkungen der lokalen Analyse: Ableitungen basieren auf infinitesimalen Schritten, große Liquidierungen erfordern Integralanalyse
- Annahme eines einzelnen AMM: Berücksichtigung von Multi-Path-Routing oder Liquiditätsaggregation nicht enthalten
- Lineare Anreizfunktion: Praktische Anwendungen können komplexere Anreizdesigns erfordern
- Statische Liquiditätsannahme: Dynamische Änderungen der Liquidität nicht berücksichtigt
- Analyse mit endlichen Schritten: Erweiterung auf Integralform für große Liquidierungen
- Multi-AMM-Routing: Berücksichtigung von Liquidierungspfaden über mehrere Liquiditätspools
- Dynamische Liquiditätsmodellierung: Einbeziehung von Verhaltensreaktionen von Liquiditätsanbietern
- Empirische Verifikation: Validierung theoretischer Vorhersagen mit historischen Daten
- Theoretische Strenge: Mathematische Ableitungen sind klar und gehen von grundlegenden Prinzipien zu praktischen Schlussfolgerungen
- Praktische Relevanz: Direkt anwendbar auf aktuelle DeFi-Protokollparameterdesign
- Einheitlicher Rahmen: Bietet universelle Methode zur Verbindung verschiedener Preisauswirkungsmodelle
- Innovatives Design: Dynamischer Anreizmechanismus ist theoretisch elegant und praktisch
- Modellvereinfachung: Lokale Linearisierung von CP-AMM kann bei großen Transaktionen fehlschlagen
- Fehlende empirische Verifikation: Rein theoretische Forschung ohne Unterstützung durch tatsächliche Daten
- Einschränkung der Anreizfunktion: Lineare Gesundheitsbeziehung ist möglicherweise nicht optimal
- Vernachlässigung externer Faktoren: Gas-Gebühren, MEV und andere praktische Faktoren nicht berücksichtigt
- Akademischer Beitrag: Bietet wichtige theoretische Grundlagen für DeFi-Risikomanagement
- Praktischer Wert: Direkte Anleitung für Protokollparametereinstellung und Risikokontrolle
- Reproduzierbarkeit: Theoretische Ergebnisse sind leicht zu verifizieren und anzuwenden
- Erweiterbarkeit: Rahmen kann auf andere AMM-Typen und Anreizmechanismen erweitert werden
- DeFi-Protokolldesign: Optimierung von LLTV-Parametern und Liquidierungsanreizeinstellungen
- Risikomanagement: Bewertung der Protokollsicherheit unter verschiedenen Liquiditätsbedingungen
- AMM-Integration: Anleitung zur Auswahl geeigneter Liquidierungsausführungspfade
- Regulatorische Analyse: Quantitative Tools für DeFi-Risikobewertung
- 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.
Zusammenfassung: Dieses Papier bietet einen präziseren theoretischen Rahmen für DeFi-Liquidierungssysteme durch die Einführung von Slippage-bewussten Toxizitätsbedingungen und dynamischen Liquidierungsanreizen. Obwohl es einige Einschränkungen durch vereinfachte Annahmen gibt, hat sein theoretischer Beitrag wichtige Auswirkungen auf die Sicherheitsgestaltung von DeFi-Protokollen. Die Grenzbedingung v≤1/λ verbindet prägnant die Protokollsicherheit mit AMM-Liquidität und bietet intuitive Designkriterien für praktische Anwendungen.