Dezentrale Finanzprotokolle (DeFi) stehen vor der Herausforderung, Liquidationsrisiken zu minimieren und gleichzeitig die Interessen von Liquiditätsanbietern (LPs) zu schützen. Zwei aktuelle Konzepte – nicht-interferierende Liquidationsmechanismen ohne Orakel und dynamische AMM-Gebühren, die sich an Marktvolatilität anpassen – versprechen genau das. Sie reduzieren ungewollte Liquidationen, erhöhen die Transparenz von Risiken und stärken das Vertrauen in DeFi-Anwendungen.

Nicht-interferierende Liquidationsmechanismen – Funktionsweise und Vorteile

Das vorgestellte Protokoll verzichtet vollständig auf Preisorakel bei der Abwicklung. Stattdessen wird die Schuldendeckung durch eine endliche, vorab berechnete Integralgrenze definiert. Diese Grenze garantiert, dass das eingezahlte Kollateral jederzeit ausreicht, um sämtliche Ansprüche zu decken.

• Keine Orakel-Einbindung bei der Settlement-Phase – ein formaler Satz, der Manipulationspotenzial ausschließt.
• Endliche Integralgrenze sorgt für permanente Solvenz des Vaults.
• Atomic Rebalancing überträgt Werte zwischen Epochensystemen sofort und ohne Zwischentransaktionen, wodurch MEV-Risiken eliminiert werden.
• Formale Verifikation bestätigt die Korrektheit über sechs unabhängige Überprüfungsschichten.

Die sechs Schichten der Verifikation wurden 2023 implementiert und umfassen:

Formale Verifikation mit Lean 4

• Lean 4-Proofs – mathematische Beweise für die Kern-Theoreme des Protokolls.
• Verity – unabhängige Mechanisierung, die bis zum EVM-Bytecode heruntergebrochen wird, ohne eigene Axiome.
• Vyper – lesbare Referenzimplementierung, ergänzt durch Property-Tests.
• Foundry – stateful Invarianten, die direkt gegen den veröffentlichten Solidity-Code laufen.
• Halmos – symbolische Ausführung aller Settlement-Selektoren, inklusive eines „oracle canary“, der nie berührt wird.
• Static-Bytecode-Pass – stellt sicher, dass jede externe Call-Adresse auf die eigenen, unveränderlichen Token-Adressen verweist.

Durch diese mehrschichtige Prüfung wird das System gegen Fehlfunktionen und externe Preismanipulationen robust.

Dynamische AMM-Gebühren als Schutz bei hoher Volatilität

Zusätzlich zu den Liquidationsmechanismen führt das Protokoll dynamische Automated Market Maker (AMM)-Gebühren ein. Diese passen sich an die Marktvolatilität an und erhöhen sich, sobald die Preisbewegungen stark werden.

• Gebührenwachstum bei hoher Volatilität schützt LPs vor Adverse Selection und impermanent loss.
• 2023 wurde ein durchschnittlicher Schutzanstieg von 10 %-20 % gemessen (Quelle S1).
• Die Anpassungen fördern ein ausgewogenes Marktgleichgewicht, indem sie das Risiko für Anbieter reduzieren.

Der Ansatz basiert auf der Beobachtung, dass in Phasen schneller Preisbewegungen das Risiko für LPs exponentiell steigt. Durch die Erhöhung der Gebühren wird ein zusätzlicher Puffer geschaffen, der die Marktstabilität unterstützt.

Praktische Implementierung und aktuelle Beispiele

Ein konkretes Beispiel für die Umsetzung dieser Konzepte ist das Projekt split.markets, das bereits auf dem Base-Mainnet live ist (Beta-Phase). Dort wird die physisch abgewickelte Version eines Call-/Put-Vaults eingesetzt, bei der:

• Ein ETH-Einzahlungsvorgang in einen festen Strike (P) und ein nicht-interferierendes Token (N) aufgeteilt wird.
• Die Ausübung (exercise) keine Preisabfrage erfordert – das Settlement ist vollständig on-chain definiert.
• Der gesamte Settlement-Kern über alle erreichbaren Zustände bewiesen ist (sechs Schichten, siehe oben).

Zusätzlich läuft das Protokoll auf dem Sepolia-Testnet, um weitere Implementierungsdetails zu prüfen.

Gegenüberstellung – Chancen und Risiken

Obwohl die nicht-interferierenden Mechanismen vielversprechend sind, gibt es kritische Punkte, die beachtet werden müssen:

• Extrem volatile Marktbewegungen könnten die festgelegte Integralgrenze an ihre Grenzen bringen.
• Die Wirksamkeit dynamischer Gebühren hängt von der korrekten Erkennung von Volatilität ab; Fehlklassifikationen könnten zu überhöhten Kosten für Nutzer führen.

Das Verständnis dieser Grenzen ist entscheidend, um das Vertrauen der Nutzer langfristig zu sichern.

FAQ – Wie funktioniert Atomic Rebalancing?

Frage: Wie funktioniert atomic rebalancing?
Antwort: Atomic rebalancing ermöglicht eine sofortige und vollständige Übertragung von Werten zwischen Epochensystemen, ohne Risiko für den Nutzer während der Umstellung. Der Vorgang erfolgt als ein einziger, atomarer State-Transition-Schritt, sodass keine Zwischen-Transaktionen von Keepern, Searchern oder Protokoll-Operatoren ausgenutzt werden können.

Fazit

Die Kombination aus nicht-interferierenden Liquidationsmechanismen und dynamischen AMM-Gebühren stellt einen bedeutenden Fortschritt für die Risikoabsicherung in DeFi dar. Durch den Verzicht auf Orakel, die Einführung einer endlichen Integralgrenze und die formale Verifikation über mehrere Schichten wird das Risiko ungewollter Liquidationen stark reduziert. Gleichzeitig bieten dynamische Gebühren einen adaptiven Schutz für Liquiditätsanbieter in volatilen Marktphasen. Während erste Implementierungen – etwa auf Base-Mainnet und Sepolia – bereits praktikabel sind, bleibt die Beobachtung von Extrem-Marktbedingungen und die kontinuierliche Evaluierung von Gebührenmodellen entscheidend, um das Vertrauen der Nutzer nachhaltig zu stärken.