Vitalik Buterin sagt, KI könnte den Ethereum-Fahrplan beschleunigen und gleichzeitig die Sicherheit erhöhen

• AI-Tools verkürzen die Entwicklungszeiten von Ethereum erheblich und ermöglichen schnelle Prototypen und Iterationen.
• Formale Verifikation mit KI beschleunigt Nachweise für komplexe STARK-basierte Kryptografie und erhöht die Sicherheit der Blockchain.
• Die Aufteilung der KI-Gewinne zwischen Geschwindigkeit und Sicherheit erlaubt Ethereum-Entwicklern, die Testabdeckung zu erweitern und kritische Fehler zu reduzieren.

Vitalik Buterin sagt, dass künstliche Intelligenz beginnt, die Art und Weise, wie Ethereum aufgebaut wird, neu zu gestalten.

In einem kürzlichen Beitrag auf X beschrieb er ein Experiment, bei dem KI verwendet wurde, um innerhalb weniger Wochen einen Großteil der Ethereum-Roadmap für 2030 zu „vibe-coden“. Er nannte das Ergebnis beeindruckend, warnte aber, dass es sich noch um ein sehr experimentelles Projekt handelt.

Das Projekt wurde abgeschlossen, ohne Ethereum Improvement Proposals (EIPs) fertigzustellen. Das allein, so bemerkte er, bedeutet, dass der Code wahrscheinlich schwerwiegende Fehler enthält. Einige Funktionen könnten nur als Teilimplementierungen existieren. Vor sechs Monaten, so fügte er hinzu, hätte selbst diese Phase zu erreichen, unmöglich gewirkt.

Das ist ein ziemlich beeindruckendes Experiment. Die gesamte Roadmap für 2030 innerhalb von Wochen vibe-coden.

Offensichtlich hat so eine Sache, die in zwei Wochen gebaut wurde, ohne EIPs massive Einschränkungen: fast sicher viele kritische Bugs und wahrscheinlich in einigen Fällen „Stub“-Versionen eines Features… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28. Februar 2026

KI-Codierung gewinnt an Geschwindigkeit – aber nicht an Perfektion

Buterin sagte, KI-Tools verkürzen die Entwicklungszeiten drastisch. Kürzlich nutzte er ein lokal laufendes Open-Source-Modell, um in etwa einer Stunde eine Version seiner Blog-Software nachzubauen. Stärkere Modelle könnten ähnliche Builds in einem einzigen Versuch abschließen, so schlug er vor.

Der Ethereum-Roadmap konzentriert sich auf Skalierungs-Upgrades, stärkere Dezentralisierung und verbesserte Sicherheit der Blockchain. Entwickler arbeiten auf mehreren Ebenen des Protokolls, um den Datenverkehr zu reduzieren und die Effizienz zu steigern. Schnellere Codierungszyklen könnten diese parallelen Bemühungen beschleunigen.

Dennoch warnte Buterin vor übertriebener Selbstsicherheit. Ein einzelner Prompt wird keinen sicheren Produktionscode erzeugen. Entwickler sollten mit Inkonsistenzen, Randfallfehlern und strukturellen Lücken rechnen. Was sich ändert, ist die Geschwindigkeit, mit der diese Probleme erkannt und behoben werden.

Formale Verifikation rückt in den Fokus

Anstatt KI nur für Geschwindigkeit zu nutzen, schlug Buterin vor, einen Teil der Produktivitätsgewinne in die Sicherheit umzulenken. Dazu gehört die Generierung größerer Mengen an Testfällen und die Erweiterung formaler Prüfungen.

Er verwies auf die Arbeit im Rahmen von LeanEthereum, einer Forschungsinitiative, die sich der mathematischen Verifikation der Kernkomponenten von Ethereum widmet. Ein Partner habe kürzlich KI eingesetzt, um einen maschinenverifizierbaren Beweis für einen komplexen Satz zu erstellen, der einer STARK-basierten Kryptografie zugrunde liegt.

STARKs bilden die Grundlage für mehrere Zero-Knowledge-Proof-Systeme, die zur Skalierung von Blockchain-Netzwerken verwendet werden. Die Erstellung formaler Beweise für solche Systeme war bisher mit erheblichem manuellen Aufwand verbunden. KI-Unterstützung reduziert diese Barriere nun erheblich.

Formale Verifikation basiert auf mathematischen Methoden, um zu bestätigen, dass der Code genau wie spezifiziert funktioniert. Im Bereich der Blockchain-Sicherheit begrenzt dieser Prozess Schwachstellen, die zu Exploits oder finanziellen Verlusten führen könnten.

Das Sicherheitsniveau erhöhen

Buterin erkannte an, dass absolut fehlerfreie Software unmöglich bleibt. Code kann niemals alle menschlichen Absichten perfekt erfassen.

Er argumentierte jedoch, dass gezielte und verifizierbare Sicherheitsgarantien die meisten praktischen Risiken eliminieren können.

In dezentralen Systemen, die auf Vertrauen verzichten, verringern strengere Verifizierungsstandards die Abhängigkeit von sozialer Koordination oder manueller Überwachung. Buterin sagte, dass fortschreitende Entwicklungen im KI-Coding Ethereum in Richtung höherer Sicherheitsstandards treiben könnten, während sich gleichzeitig die Entwicklungszeit verkürzt.