KI macht Smart-Contract-Hacks leichter: Helius-Chef warnt vor „Strohhäusern“ in DeFi

KI macht Smart-Contract-Hacks leichter: Helius-Chef warnt vor „Strohhäusern“ in DeFi
KI macht Smart-Contract-Hacks leichter: Helius-Chef warnt vor „Strohhäusern“ in DeFi (BitcoinBasis.de | Image GPT)

Der Chef von Helius Labs, Mert Mumtaz, schlägt Alarm: Krypto stehe vor einer neuen Sicherheits-Phase, in der nicht mehr nur Marketing, Tempo oder hohe Renditen zählen. Stattdessen werde sich zeigen, welche Protokolle wirklich solide gebaut sind und welche nur wie schnelle „Strohhäuser“ wirken. Der Grund: Angreifer bekommen durch KI immer bessere Werkzeuge, um Fehler in Smart Contracts schneller zu finden und auszunutzen.

Warum Krypto strengere Standards braucht

Mumtaz vergleicht unveränderlichen Code in der Blockchain mit einer Raumkapsel: Sobald sie gestartet ist, kann niemand mehr einfach eingreifen. In klassischen Internet-Firmen ist das anders. Dort kann man nach einem Bug ein Update einspielen, Funktionen abschalten, Daten zurückrollen oder Nutzer entschädigen. In vielen Krypto-Systemen geht das nicht, weil Transaktionen endgültig sind und der Code öffentlich von allen geprüft wird, auch von Angreifern.

Sein Punkt: Die Branche behandelt Software oft noch wie ein normales Webprodukt, also „schnell bauen, später fixen“. Doch Krypto sei näher an Bereichen wie Luftfahrt, Raumfahrt oder Chipproduktion. Dort reicht „meistens funktioniert es“ nicht aus, weil ein kleiner Fehler riesige Schäden auslösen kann.

Er verweist auch auf eine alte Erkenntnis aus der Informatik: Tests können zeigen, dass Fehler da sind, aber nicht sicher beweisen, dass keine Fehler vorhanden sind. Für besonders kritische Systeme braucht es deshalb Methoden wie formale Verifikation, also mathematische Beweise dafür, dass ein Programm bestimmte Regeln immer einhält.

KI erhöht den Druck – für Angreifer und Verteidiger

Interessant ist: Mumtaz sieht KI nicht nur als Gefahr. Er erwartet, dass KI auch die Verteidigung stärker macht, weil sie aufwendige Sicherheitsarbeit deutlich beschleunigen kann. Dazu gehören unter anderem bessere Spezifikationen (also klare Anforderungen), automatisierte Prüfungen, Fuzzing-Tests, Audits, Invariant-Checks und eben formale Verifikation.

Das Problem für DeFi: Dieselben Fähigkeiten helfen auch Hackern. Wenn KI-Modelle große Codebasen schneller verstehen und Logikfehler sauberer herausarbeiten, könnten Angriffe früher passieren und besser vorbereitet sein. Gerade weil Smart Contracts offen einsehbar sind, werden sie zu einem naheliegenden Ziel für KI-gestützte Schwachstellen-Suche.

Der Zeitpunkt seiner Warnung passt zur aktuellen Dynamik im KI-Sicherheitsbereich. Neue Modelle werden leistungsfähiger und können sowohl defensiv als auch offensiv eingesetzt werden. Anbieter bauen zwar Schutzmechanismen ein, doch die Entwicklung geht schnell, und nicht jedes Werkzeug bleibt dauerhaft „eingezäunt“.

„Strohhäuser“ sollen fallen – und das wird weh tun

Mumtaz rechnet mit einer Art harter Auslese in den nächsten Jahren. Teams, die Security ernst nehmen, sollen mit robusteren Systemen herausgehen. Projekte mit wackeliger Architektur, unsauberen Annahmen oder zu vielen Notlösungen könnten dagegen scheitern, sobald die Sicherheitsansprüche steigen und Angreifer-Tools stärker werden.

Dabei zielt seine Kritik auch auf die „Fassade der Dezentralisierung“. Viele Systeme wirken unabhängig, haben aber in der Praxis Admin-Schlüssel, kleine Validator-Gruppen oder soziale Notfall-Mechanismen, die im Ernstfall eingreifen können. Das kann kurzfristig beruhigen, verwischt aber die Grenze zwischen wirklich autonomen Protokollen und solchen, die letztlich doch von Menschen gerettet werden müssen.

Die größere Aussage: Der nächste Wettbewerb in Krypto könnte weniger über maximale Transaktionszahlen oder aggressive Anreize laufen, sondern über nachweisbare Korrektheit und Sicherheit. Mumtaz’ Zielbild ist eine Branche, in der rigorose Software-Standards wieder ganz oben stehen und Krypto dadurch langfristig stabiler wird als viele zentrale Finanzsysteme. Seine Schlussbotschaft ist entsprechend klar: Er setzt auf Mathematik und auf Krypto.

Teilen
Auch Interessant
Bitcoin-vor-der-Entscheidung-Marke-haelt-Kaeufer-im-Spiel
XRPAnleger-handeln-gegensaetzlich-Boerse-erreicht-297-Prozent
Cardano-Schock 16 Mio ADA weg EMURGO zieht sich zurück