Vitalik Buterin sagt, dass KI die Ethereum-Entwicklung beschleunigt

• Agentic-Coding produzierte innerhalb von Wochen einen Ethereum-Client-Prototyp mit 700.000 Zeilen, der mit der Roadmap für 2030 übereinstimmt.
• Buterin fordert, schnellere KI-Codierung mit formaler Verifikation, erweiterten Test-Suiten und Multi-Client-Prüfungen zu koppeln.
• Er erläuterte auch eine Roadmap für Quantenresistenz, die BLS ersetzt und hash-basierte sowie STARK-basierte Systeme hinzufügt.

Ethereum-Mitbegründer Vitalik Buterin sagte, dass künstliche Intelligenz die Ethereum-Entwicklung schnell vorantreibt. In jüngsten öffentlichen Äußerungen beschrieb er, wie agentisches Codieren einem Entwickler ermöglichte, innerhalb von Wochen einen Roadmap-konformen Ethereum-Client zu erstellen. Die Arbeiten fanden Anfang 2026 online statt und konzentrierten sich auf die Beschleunigung der Entwicklung bei gleichzeitiger Verbesserung der Sicherheit durch Tests und Verifikation.

KI-gesteuertes Codieren und Testen Vorteile

Laut Buterin nutzte ein Entwickler agentisches Codieren, um einen Prototyp eines Ethereum-Clients zu erstellen, der mit der Roadmap für 2030 übereinstimmt. Bemerkenswert ist, dass der Prototyp etwa 700.000 Zeilen Code enthielt und 65 Roadmap-Punkte abdeckte. Er synchronisierte sich auch innerhalb von zwei Wochen mit dem Ethereum-Mainnet.

Allerdings betonte Buterin, dass der Build mit erheblichen Einschränkungen verbunden war. Er sagte, der Code enthielt wahrscheinlich kritische Fehler und unvollständige Implementierungen. Dennoch erklärte er, dass ein solcher Fortschritt vor sechs Monaten noch unmöglich schien, was die rasante Entwicklung der Werkzeuge unterstreicht.

Buterin fügte hinzu, dass KI die Codierung bei verschiedenen Aufgaben beschleunigt. Er berichtete von seiner eigenen Erfahrung, Blog-Software innerhalb einer Stunde mit lokalen Modellen neu zu erstellen. Daher argumentierte er, dass die Geschwindigkeitgewinne gleichmäßig auf schnellere Entwicklung und stärkere Sicherheitspraktiken verteilt werden sollten.

Formale Verifikation und Sicherheitsfokus

Buterin sagte, der effektivste Einsatz von KI kombiniert schnellere Codierung mit tiefergehenden Tests. Insbesondere hob er die Generierung größerer Test-Suiten und die Erweiterung der formalen Verifikation hervor. Er erwähnte, dass ein Lean Ethereum-Kollaborator KI nutzte, um einen maschinenverifizierbaren Beweis für einen komplexen STARK-bezogenen Satz zu erstellen.

Lean Ethereum, so Buterin, strebt an, jede Komponente formal zu verifizieren. KI beschleunigt diese Bemühungen jedoch erheblich. Er betonte außerdem, dass fehlerfreier Code weiterhin schwierig sei, aber durch wiederholte Tests und Multi-Implementierungs-Checks realistischer werde.

Er warnte, dass sichere Systeme nicht aus einzelnen Eingaben entstehen. Dennoch sagte er, dass Debugging-Zyklen jetzt schneller und gründlicher ablaufen können.

Details zur Roadmap für Quantenresistenz

Separat skizzierte Buterin die Roadmap für Quantenresistenz von Ethereum. Er identifizierte Schwachstellen bei BLS-Konsenssignaturen, KZG-basierter Datenverfügbarkeit, ECDSA-Kontensignaturen und Zero-Knowledge-Beweissystemen. Um diese anzugehen, schlug er vor, BLS durch hash-basierte Signaturen zu ersetzen und STARK-Aggregation zu verwenden.

Bei externen Konten verwies Buterin auf EIP-8141. Diese Änderung würde mehrere Signaturverfahren, einschließlich quantenresistenter Optionen, ermöglichen. Er erkannte höhere Gas-Kosten an, meinte aber, dass die Effizienz im Laufe der Zeit steigen sollte.

Die Roadmap behandelt auch Beweissysteme. Während STARK-Beweise teurer sind als die aktuellen ZK-SNARKs, könnte die Aggregation die On-Chain-Berechnungen reduzieren. Letzten Monat erklärte die Ethereum Foundation, dass die nächste Phase des Ökosystems die Kapazität erweitern wird, während langfristige Sicherheit und Resilienz gewahrt bleiben.