Vitalik Buterin sprach sich bei der Blockchain KI Verifikation für einen Vorteil der Verteidiger aus: Mathematische Beweise sollen Softwaresysteme vor Angriffen schützen. Der Ethereum-Mitgründer äußerte sich am 16. September 2026 gegenüber Decrypt.
Mathematische Sicherheit durch künstliche Intelligenz
Ethereum-Mitgründer Vitalik Buterin äußerte sich am 16. September 2026 gegenüber dem Magazin Decrypt zur Blockchain KI Verifikation und widersprach der These, künstliche Intelligenz werde die Sicherheit von Kryptowährungen untergraben. Nach seiner Einschätzung kann dieselbe Technologie, die neue Angriffsmethoden ermöglicht, ebenso als Verteidigungswerkzeug dienen.
Buterin verwies auf formale Verifikation, ein Verfahren, das Software mit mathematischen Beweisen gegen festgelegte Regeln prüft. Künstliche Intelligenz könne solche Beweise künftig deutlich günstiger und schneller erzeugen als bisher. Damit ließen sich laut Buterin ganze Softwaresysteme vor der Veröffentlichung auf Schwachstellen prüfen.
Bislang gilt formale Verifikation als aufwendig und wird nur bei kritischen Komponenten eingesetzt. Buterin sieht in der Blockchain KI Verifikation einen Weg, diesen Aufwand für einen Großteil des Ethereum-Ökosystems praktikabel zu machen.
Dezentrale Kontrolle durch automatische Verifikation
Der zweite Aspekt von Buterins Aussage betrifft die Kontrolle über Code in dezentralen Netzwerken. Anders als bei zentralisierten Plattformen prüft beim Ethereum-Netzwerk niemand zentral, ob ein Smart Contract vor dem Livegang fehlerfrei ist. Automatisierte, KI-gestützte Verifikationswerkzeuge könnten diese Lücke schließen, ohne eine zentrale Prüfstelle einzuführen.
Buterin erklärte laut Decrypt, künstliche Intelligenz könne Spezifikationen lesen, fehlende Annahmen aufspüren und Entwicklern so helfen, Fehler vor dem Deployment zu erkennen. Nach eigenen Angaben macht Kryptowährung rund 90 Prozent seines Vermögens aus, was er als Wette auf die von ihm skizzierte technologische Richtung bezeichnete.
Kritiker verweisen darauf, dass KI-Systeme auch Angreifern beim Auffinden von Schwachstellen helfen. Buterin räumte dieses Wettrüsten ein, sieht die Verteidigerseite aber im Vorteil, weil einmal erstellte Verifikationsbeweise wiederverwendbar bleiben.
KI als Werkzeug für sichere Blockchains
Für Ethereum und vergleichbare Infrastruktur bedeutet die Debatte zunächst vor allem eines: Formale Verifikation bleibt ein Werkzeug, kein fertiges Sicherheitsversprechen. Ob KI-gestützte Beweise Angriffe tatsächlich in relevantem Umfang verhindern, ist noch nicht belegt.
Aus österreichischer Perspektive zeigt der Streit vor allem, wie stark Sicherheit in dezentralen Systemen von der Kontrolle über den eigenen Code abhängt, nicht von einer zentralen Aufsicht. Wer Schwachstellen vor der Auslieferung mathematisch ausschließt, verringert die Angriffsfläche unabhängig davon, wer die Software betreibt.
Offen bleibt, ob sich KI-gestützte Verifikation durchsetzt oder ein Werkzeug für wenige gut ausgestattete Projekte bleibt. Für Anwender ändert sich an der Notwendigkeit eigener Sorgfalt bei Smart Contracts vorerst nichts.
Wir berichteten über frühere Sicherheitsvorfälle bei Smart Contracts.
