Flash Loans sind nicht kaputt. Das Protokolldesign ist es.
Schon wieder ein Exploit. Schon wieder ein Protokoll. Schon wieder ein Millionenschaden.
Diesmal soll das Allbridge Core auf Solana über 1,1 Mio. USD verloren haben. Die Schlagzeilen machen Flash Loans verantwortlich, aber dort beginnt das eigentliche Problem nicht.
Flash Loans sind keine Schwachstellen. Sie sind zustandsfreie Liquiditätsprimitiven. Sie ermöglichen lediglich, dass jeder innerhalb einer einzelnen atomaren Transaktion auf massives Kapital zugreifen kann. Wenn ein Protokoll korrekt entworfen ist, sollte das Ausleihen von 1 Mio. USD oder sogar 100 Mio. USD seine Sicherheitsannahmen nicht verändern.
Der Exploit passiert dann, wenn ein Protokoll vorübergehende Marktbedingungen mit einer objektiven Wahrheit verwechselt.
Mithilfe eines Flash Loans kann ein Angreifer die Liquidität kurzzeitig manipulieren, den Spot-Preis innerhalb eines Pools verzerren und den Eindruck erzeugen, dass der manipulierte Preis legitim ist. Wenn Buchhaltung, Sicherheitenbewertung oder Rückkauf-/Einlösungslogik von diesem temporären Zustand abhängen, beginnt das Protokoll wirtschaftlich falsche Entscheidungen zu treffen – während jede Codezeile weiterhin genau wie beabsichtigt funktioniert.
Darum werden moderne DeFi-Exploits zunehmend zu ökonomischen Angriffen statt zu Softwarefehlern.
Keine Reentrancy. Kein Integer Overflow. Kein Kompromittieren privater Schlüssel.
Nur fehlerhafte Annahmen darüber, wie sich Märkte unter adversarialen Bedingungen verhalten.
Die echte Herausforderung besteht nicht mehr darin, sichere Smart Contracts zu schreiben. Sondern darin, Systeme zu entwerfen, die sicher bleiben, wenn Angreifer für genau eine Transaktion virtuell unbegrenztes Kapital haben.
Flash Loans haben DeFi nicht zerstört.
Sie haben Protokolle offengelegt, die auf Annahmen statt auf adversarialem Denken aufgebaut waren.
Code kann formal verifiziert werden. Ökonomische Annahmen nicht.
#DeFi #solana #FlashLoan #security #SmartContracts