Ein Entwickler, der mit Vitalik Buterin gewettet hatte, dass eine einzelne Person agentisch einen Ethereum-(ETH)-Client für die Roadmap 2030 coden kann, hat ETH2030 in zwei Wochen gebaut – 702.000 Zeilen Go, die 65 Roadmap-Punkte abdecken und mit dem Ethereum-Mainnet synchronisieren.
Buterin kommentierte das Ergebnis am Freitag, nannte es „ein ziemlich beeindruckendes Experiment“, wies zugleich auf erhebliche Einschränkungen hin und stellte die Möglichkeit 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 formelle Ethereum Improvement Proposals gebaut, enthält es mit sehr hoher Wahrscheinlichkeit kritische Bugs und dürfte „Stub“-Versionen von Features umfassen, bei denen die KI keine vollständige Implementierung versucht hat.
Der Punkt sei, argumentierte er, eher die Entwicklungskurve als das 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 beschrieb den richtigen Ansatz für KI-beschleunigte Entwicklung so, dass man die gewonnenen Vorteile zwischen Geschwindigkeit und Sicherheit aufteilt, statt sie komplett in mehr Tempo zu stecken.
Sein bevorzugtes Modell: KI einsetzen, um größere Testfall-Suiten zu erzeugen, Implementierungen formell zu verifizieren und mehrere unabhängige Versionen derselben Komponente zu produzieren, um sie gegenseitig abzugleichen.
Ein Mitarbeiter des LeanEthereum-Projekts – das darauf abzielt, sämtlichen Ethereum-Code formell zu verifizieren – hat kürzlich KI genutzt, um einen maschinenverifizierbaren Beweis für einen der komplexesten Sätze zu erzeugen, die der STARK-Sicherheit zugrunde liegen.
Das ist in Buterins Darstellung der höherwertige Anwendungsfall: nicht schneller auszuliefern, sondern nachweislich korrekteren Code auszuliefern.
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 sorgfältig darin, seinen Optimismus als Möglichkeit statt als Prognose zu formulieren. Er sagte, die Leute sollten offen dafür sein, dass die Ethereum-Roadmap schneller als in den aktuellen Zeitplänen vorgesehen fertig wird – und mit einem höheren Sicherheitsstandard.
In Bezug auf Sicherheit äußerte er persönliche Begeisterung über das Potenzial, dass fehlerfreier Code sich von einer „idealistisch-naiven Illusion“ zu einer grundlegenden Erwartung für kritische Infrastruktur entwickeln könnte.
Er räumte ein, dass absolute Sicherheit in einem strengen Sinn weiterhin unmöglich bleibt – sie würde eine exakte Übereinstimmung zwischen Code und den Inhalten des Geistes eines Entwicklers erfordern –, argumentierte aber, dass KI zur formalen Verifikation schon heute mehr als 99 % der negativen Folgen beseitigen kann, die aus spezifischen, klar definierten Codefehlern entstehen könnten.
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