Vitalik Buterin, Mitbegründer von Ethereum, sagte, künstliche Intelligenz könne den Entwicklungsplan des Netzwerks beschleunigen und gleichzeitig die Sicherheitsstandards verbessern.
Zusammenfassung
- Laut Vitalik könnte KI die Roadmap und die Lieferfristen von Ethereum beschleunigen.
- Die Hälfte der KI-Gewinne sollte in stärkere Tests und formale Verifizierung fließen.
- KI kann dazu beitragen, dass ein nahezu fehlerfreier Kryptocode eine realistische Erwartung darstellt.
Als Reaktion auf ein Experiment, bei dem jemand innerhalb weniger Wochen die gesamte Roadmap von Ethereum für 2030 „vibekodiert“ hat, Buterin schrieb: „Vor sechs Monaten lag selbst dies weit außerhalb des Bereichs des Möglichen, und was zählt, ist, wohin der Trend geht.“
Buterin testete die KI-Codierung persönlich, indem er innerhalb einer Stunde mit seinem Laptop ein Äquivalent seiner Blog-Software erstellte.
Der Gründer von Ethereum empfohlen Die durch KI erzielten Geschwindigkeitsgewinne werden halbiert und durch mehr Testfälle, formale Verifizierung und mehrere Implementierungen auf die Sicherheit angewendet.
„Die Menschen sollten der Möglichkeit (nicht der Gewissheit! Möglichkeit) gegenüber offen sein, dass die Ethereum-Roadmap viel schneller fertig wird, als die Leute erwarten, und das mit einem viel höheren Sicherheitsstandard, als die Leute erwarten.“
KI ermöglicht die formale Verifizierung komplexer kryptografischer Beweise
Einem Mitarbeiter des Lean Ethereum-Projekts ist es gelungen, einen maschinenüberprüfbaren Beweis für einen der komplexesten Theoreme, auf die sich STARKs aus Sicherheitsgründen verlassen, mit KI zu programmieren.
Die Lean Ethereum-Initiative zielt darauf ab, alle Komponenten formal zu verifizieren, wobei KI die Fähigkeit verbessert, dieses Ziel zu erreichen.
Buterin wies darauf hin, dass die bloße Generierung einer viel größeren Menge an Testfällen über die formale Verifizierung hinausgeht.
Das zweiwöchige Roadmap-Experiment enthielt „massive Vorbehalte: mit ziemlicher Sicherheit viele kritische Fehler und wahrscheinlich in einigen Fällen „Stub“-Versionen einer Sache, bei der die KI nicht einmal versucht hat, die Vollversion zu erstellen.“
Der richtige Ansatz teilt die KI-Gewinne zwischen Geschwindigkeits- und Sicherheitsverbesserungen auf. „Gehen Sie nicht davon aus, dass Sie mit einer einzigen Eingabeaufforderung in absehbarer Zeit eine hochsichere Version herausbringen können; es wird viele Probleme mit Fehlern und Inkonsistenzen zwischen den Implementierungen geben“, warnte Buterin.
Fehlerfreier Code könnte sich von einer idealistischen Täuschung zu einer grundlegenden Erwartung entwickeln
Buterin äußerte sich begeistert über die Möglichkeit, dass fehlerfreier Code, „der lange als idealistische Täuschung galt, endlich zuerst möglich und dann zu einer Grunderwartung wird“. Er bezeichnete dies als notwendig für die Vertrauenslosigkeit in Kryptosystemen.
Eine völlige Sicherheit bleibt jedoch unmöglich, da hierfür eine genaue Übereinstimmung zwischen Codezeilen und den Inhalten des Geistes erforderlich wäre, die Buterin auf viele Terabyte an Informationen schätzte.
Im Einzelfall können konkrete Sicherheitsansprüche geltend gemacht und überprüft werden, wodurch über 99 % der negativen Folgen fehlerhaften Codes vermieden werden.
Die Erklärung zeigt, dass KI ein Werkzeug ist, um sowohl die Entwicklungsfristen zu verkürzen als auch gleichzeitig die Sicherheitsgrenzen zu erhöhen.
Buterins Framework legt nahe, dass KI diesen Kompromiss beseitigen könnte, indem sie eine gründliche Sicherheitsüberprüfung bei Entwicklungsgeschwindigkeiten ermöglicht, die bisher nicht möglich waren.
