Vitalik Buterin hebt den möglichen Anwendungsfall von KI auf Ethereum hervor
Ethereum-Mitbegründer Vitalik Buterin hat seine Begeisterung über das Potenzial der KI-gestützten formalen Codeüberprüfung und Fehlersuche zum Ausdruck gebracht.
In einem Montags-Tweet stellte Buterin fest, dass das größte technische Risiko von Ethereum von Fehlern im Code herrührt und alles, was das Spiel an dieser Front erheblich verändern könnte, bahnbrechend wäre.
„Eine Anwendung von KI, die mich begeistert, ist die KI-gestützte formale Verifizierung von Code und die Fehlersuche.“ Derzeit besteht das größte technische Risiko von Ethereum wahrscheinlich in Fehlern im Code, und alles, was das Spiel hier erheblich verändern könnte, wäre erstaunlich“, schrieb er.
Bemerkenswert ist, dass eine der größten Herausforderungen bei den Ethereum-Protokollen die Ausnutzung von Fehlern ist, was zu Verlusten in Millionenhöhe für Anleger aufgrund von Hacking-Vorfällen führt. Einem Bericht von Chainalysis zufolge beliefen sich die im Jahr 2023 gestohlenen Kryptogelder auf erstaunliche 1,7 Milliarden US-Dollar, wobei etwa zwei Drittel der gesamten gestohlenen Gelder auf Hacks zurückzuführen sind, die auf DeFi-Protokolle abzielten. Und obwohl die Gesamtzahl der Diebstähle im Vergleich zu den Vorjahren zurückgegangen ist, bleibt die Bedrohung durch DeFi-Hacker ein großes Problem.
Obwohl Buterin sich optimistisch über das Potenzial der KI äußert, äußert er auch Vorsicht. In einem Blog vom 30. Januar riet der Mitbegründer von Ethereum zur Vorsicht bei der Integration von KI in die Blockchain-Technologie und unterstrich die dringende Notwendigkeit eines sorgfältigen und maßvollen Ansatzes, insbesondere beim Einsatz von KI in Kontexten, die einen erheblichen Wert und ein erhebliches Risiko bergen.
Bemerkenswert ist, dass das Experiment des Smart-Contract-Entwicklungsunternehmens OpenZeppelin im vergangenen Jahr mit GPT-4 von OpenAI zur Erkennung von Sicherheitsproblemen in Solidity-Smart-Contracts gemischte Ergebnisse lieferte. Laut einem Bericht des Unternehmens hat GPT-4 Schwachstellen in 20 von 28 Herausforderungen genau identifiziert, aber manchmal auch nicht vorhandene Schwachstellen erfunden.
In ähnlicher Weise hat Kang Li, der Chief Security Officer des Blockchain-Sicherheitsunternehmens CertiK, davor gewarnt, sich beim Codieren ausschließlich auf KI-gestützte Tools zu verlassen. In einer Rede im vergangenen September während der Korean Blockchain Week wies Li darauf hin, dass KI-Tools bei unvorsichtigem Einsatz mehr Sicherheitsprobleme verursachen können, als sie lösen.
Li betonte weiter, dass ChatGPT beispielsweise möglicherweise nicht in der Lage sei, logische Codefehler so geschickt zu erkennen wie erfahrene Entwickler. Stattdessen schlug der Experte vor, KI-Assistenten als Unterstützungstools für erfahrene Entwickler einzusetzen, damit sie Code besser verstehen können.
