Ein Entwickler, der mit Vitalik Buterin gewettet hatte, dass eine einzelne Person agentisch einen Ethereum-Client (ETH) für die Roadmap 2030 coden kann, baute ETH2030 in zwei Wochen – 702.000 Zeilen Go, mit 65 Roadmap-Punkten, die sich mit dem Ethereum-Mainnet synchronisieren.
Buterin kommentierte das Ergebnis am Freitag, nannte es „ein ziemlich beeindruckendes Experiment“, führte jedoch bedeutende Einschränkungen an und stellte in den Raum, dass KI die Fertigstellung der Ethereum-Roadmap stärker beschleunigen könnte, als die Community derzeit erwartet.
Buterin war deutlich darin, was das Projekt nicht ist: Ohne formale Ethereum Improvement Proposals erstellt, enthält es mit fast völliger Sicherheit kritische Bugs und umfasst wahrscheinlich „Stub“-Versionen von Features, bei denen die KI keinen vollständigen Implementierungsversuch unternommen hat.
Wichtiger sei, argumentierte er, die Entwicklungsrichtung und nicht das konkrete Ergebnis. Noch vor sechs Monaten, schrieb er, wäre selbst ein Prototyp in diesem Umfang „weit außerhalb des Bereichs des Möglichen“ gewesen.
Geschwindigkeit vs. Sicherheit
Buterin umriss den richtigen Ansatz für KI-beschleunigte Entwicklung so, dass man die Gewinne zwischen Geschwindigkeit und Sicherheit aufteilt, statt sie vollständig in reine Geschwindigkeit zu investieren.
Sein bevorzugtes Modell: KI nutzen, um größere Testfall-Suiten zu generieren, Implementierungen formal zu verifizieren und mehrere unabhängige Versionen derselben Komponente zur Kreuzüberprüfung zu erstellen.
Ein Mitwirkender am LeanEthereum-Projekt – dessen Ziel es ist, sämtlichen Ethereum-Code formal zu verifizieren – hat vor Kurzem KI eingesetzt, um einen maschinenverifizierbaren Beweis für eines der komplexesten Theoreme zu erzeugen, die der STARK-Sicherheit zugrunde liegen.
Das ist in Buterins Darstellung der höherwertige Anwendungsfall: nicht schneller ausliefern, sondern nachweislich korrekteren Code ausliefern.
Lesen Sie auch: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Was er für möglich hält
Buterin war vorsichtig und formulierte seinen Optimismus als Möglichkeit, nicht als Prognose. Er sagte, man solle offen dafür sein, dass die Ethereum-Roadmap schneller fertig werden könnte, als die aktuellen Zeitpläne nahelegen – und mit einem höheren Sicherheitsniveau.
In Bezug auf Sicherheit zeigte er sich persönlich begeistert von der Aussicht, dass nahezu fehlerfreier Code sich von einer „idealistisch-naiven Vorstellung“ zu einer grundlegenden Erwartung für kritische Infrastruktur entwickeln könnte.
Er räumte ein, dass totale Sicherheit im absoluten Sinn unmöglich bleibt – sie würde eine exakte Übereinstimmung zwischen Code und dem Inhalt des Entwicklergeistes erfordern –, argumentierte aber, dass KI-gestützte formale Verifikation bereits heute mehr als 99 % der negativen Folgen ausschalten kann, die aus spezifischen, klar definierten Codefehlern entstehen könnten eliminate.
Das ETH2030-Repository ist weiterhin öffentlich zugänglich unter github.com/jiayaoqijia/eth2030.
Als Nächstes lesen: Binance Must Face US Jury Over Token Losses On EOS, TRX And Five Other Coins - Judge Kills Arbitration Defense