Während generative künstliche Intelligenz (KI) in der Lage ist, eine Vielzahl von Aufgaben zu erledigen, ist chatgpt-4 von OpenAI aktuellen Tests zufolge derzeit nicht in der Lage, intelligente Verträge so effektiv zu prüfen wie menschliche Prüfer.

Um herauszufinden, ob KI-Tools menschliche Prüfer ersetzen können, haben Mariko Wakabayashi und Felix Wegener vom Blockchain-Sicherheitsunternehmen OpenZeppelin ChatGPT-4 mit der Ethernaut-Sicherheit des Unternehmens verglichen Herausforderung.

Obwohl das KI-Modell die meisten Levels bestanden hat, hatte es Probleme mit neueren Levels, die nach dem Stichtag für Trainingsdaten im September 2021 eingeführt wurden, da das Plugin, das die Webkonnektivität ermöglicht, nicht im Test enthalten war.

Ethernaut ist ein Kriegsspiel, das innerhalb der Ethereum Virtual Machine gespielt wird und aus 28 Smart Contracts – oder Levels – besteht, die gehackt werden müssen. Mit anderen Worten: Level werden abgeschlossen, sobald der richtige Exploit gefunden wurde.

Laut Tests des KI-Teams von OpenZeppelin war ChatGPT-4 in der Lage, den Exploit zu finden und 20 der 28 Stufen zu bestehen, benötigte jedoch nach der ersten Aufforderung einige zusätzliche Eingabeaufforderungen, um einige Stufen zu lösen: „Enthält der folgende Smart Contract a Verletzlichkeit?“

Als Antwort auf Fragen von Cointelegraph wies Wegener darauf hin, dass OpenZeppelin von seinen Prüfern erwarte, dass sie alle Ethernaut-Stufen abschließen können, wie es allen fähigen Autoren möglich sein sollte.

Während Wakabayashi und Wegener zu dem Schluss kamen, dass ChatGPT-4 derzeit menschliche Prüfer nicht ersetzen kann, betonten sie, dass es dennoch als Werkzeug zur Steigerung der Effizienz intelligenter Vertragsprüfer und zur Erkennung von Sicherheitslücken eingesetzt werden kann, und stellten fest:

„An die Community der Web3-BUIDLer haben wir ein tröstendes Wort – Ihr Job ist sicher! Wenn Sie wissen, was Sie tun, kann KI genutzt werden, um Ihre Effizienz zu verbessern.“

Auf die Frage, ob ein Tool, das die Effizienz menschlicher Prüfer erhöht, dazu führen würde, dass Firmen wie OpenZeppelin nicht so viele benötigen, sagte Wegener gegenüber Cointelegraph, dass die Gesamtnachfrage nach Prüfungen die Kapazität zur Bereitstellung qualitativ hochwertiger Prüfungen übersteige und sie die Zahl der beschäftigten Personen erwarte als Wirtschaftsprüfer in Web3, um weiter zu wachsen.

Verwandt: Satoshi Nak-AI-moto: Der Schöpfer von Bitcoin ist zu einem KI-Chatbot geworden

In einem Twitter vom 31. Mai GewindeWakabayashi sagte, dass große Sprachmodelle (LLMs) wie ChatGPT noch nicht bereit für die Sicherheitsüberprüfung intelligenter Verträge seien, da es sich um eine Aufgabe handele, die ein erhebliches Maß an Präzision erfordere, und LLMs für die Generierung von Text und die Durchführung menschenähnlicher Gespräche optimiert seien.

Wakabayashi schlug jedoch vor, dass ein KI-Modell, das mithilfe maßgeschneiderter Daten und Ausgabeziele trainiert wird, zuverlässigere Lösungen liefern könnte als Chatbots, die derzeit der Öffentlichkeit zur Verfügung stehen und mit großen Datenmengen trainiert werden.

AI Eye: 25.000 Händler wetten auf die Aktienauswahl von ChatGPT, KI ist beim Würfeln scheiße und mehr