SolAgent: A Specialized Multi-Agent Framework for Solidity Code Generation
SolAgent ist ein spezialisiertes Multi-Agenten-Framework, das einen Dual-Loop-Verfeinerungsmechanismus nutzt, der den Forge-Compiler und den statischen Analysator Slither kombiniert, um bestehende LLMs und KI-Tools bei der Generierung sicherer, funktionaler Solidity-Smart-Contracts signifikant zu übertreffen und gleichzeitig die Destillation hochwertiger Trajektorien in kleinere Open-Source-Modelle zu ermöglichen.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Das große Problem: Digitale Festungen mit einem „Zauberstift“ bauen
Stellen Sie sich vor, Sie bauen eine digitale Festung (einen Smart Contract), die Millionen von Dollar enthält. Sobald Sie sie gebaut und die Tür verschlossen haben, können Sie keinen einzigen Stein mehr verändern. Wenn Sie einen winzigen Fehler machen, können Diebe einbrechen und alles stehlen.
Vor kurzem haben wir einen „Zauberstift“ erhalten (Large Language Models oder LLMs), der Code sofort für uns schreiben kann. Aber dieser Stift ist wie ein sehr selbstbewusster, aber unerfahrener Lehrling. Er schreibt wunderschön aussehenden Code, der zwar richtig aussieht, aber oft:
- Er funktioniert nicht: Der Code enthält versteckte Fehler, die ihn sofort abstürzen lassen (Kompilierungsfehler).
- Er ist unsicher: Er lässt geheime Hintertüren offen, die Hacker ausnutzen können.
- Er bleibt stecken: Er versucht, die ganze Festung auf einmal zu schreiben, wird überfordert und gibt auf.
Das Paper argumentiert, dass es nicht ausreicht, den Zauberstift einfach nur zu bitten, „einen sicheren Vertrag zu schreiben“. Wir brauchen ein besseres System.
Die Lösung: SolAgent (Das Team der Meisterbauer)
Die Autoren haben SolAgent entwickelt, welches nicht nur eine KI ist, sondern ein Team spezialisierter KI-Agenten, die zusammenarbeiten. Anstatt den Code einfach einmal zu schreiben und auf das Beste zu hoffen, ahmt SolAgent nach, wie menschliche Experten Software bauen: Schreiben, Prüfen, Korrigieren, Wiederholen.
Betrachten Sie SolAgent als eine Baustelle mit zwei Hauptarbeitern und einem Satz hochmoderner Werkzeuge:
1. Die zwei Arbeiter
- Der Coding-Agent (Der Baumeister): Diese KI nimmt Ihre Anfrage entgegen (z. B. „Baue einen Tresor, der sich nur öffnet, wenn man einen Schlüssel hat“) und schreibt den ersten Entwurf des Codes.
- Der Refining-Agent (Der Inspektor): Diese KI liest den Code nicht nur; sie testet ihn aktiv. Sie betrachtet die Arbeit des Baumeisters, findet Fehler und sagt dem Baumeister genau, wie er sie beheben muss.
2. Die hochmodernen Werkzeuge (Das „Dual-Loop“-System)
Das Geniale an SolAgent ist die Verwendung von zwei spezifischen Werkzeugen zur Überprüfung der Arbeit, was einen „Dual-Loop“ (Doppelschleife) der Qualitätskontrolle schafft:
Der innere Loop (Der „Forge“-Test):
- Analogie: Stellen Sie sich eine Belastungstestmaschine vor, die versucht, die Tür Ihres Tresors einzubrechen.
- Was er tut: Er lässt den Code durch einen Compiler (Forge) laufen, um zu sehen, ob er tatsächlich funktioniert. Wenn der Code abstürzt oder einen mathematischen Test nicht besteht, erhält der Refining-Agent einen Bericht wie: „Diese Zeile ist defekt“, und schickt ihn an den Baumeister zurück, um ihn zu korrigen.
- Ergebnis: Dies stellt sicher, dass der Code funktionsfähig ist.
Der äußere Loop (Der „Slither“-Sicherheitsscan):
- Analogie: Stellen Sie sich einen Sicherheitsexperten mit einem Metalldetektor vor, der um den Tresor herumgeht, um nach versteckten Fallen oder losen Ziegeln zu suchen.
- Was er tut: Er nutzt einen statischen Analysator (Slither), um den Code nach bekannten Sicherheitslücken zu scannen (wie einen „Reentrancy“-Bug, bei dem ein Dieb den Tresor austricksen kann, zweimal auszuzahlen). Wenn er eine Lücke findet, weist er den Refining-Agent an, diese sofort zu flicken.
- Ergebnis: Dies stellt sicher, dass der Code sicher ist.
3. Das Dateisystem (Die „Bibliothekskarte“)
Allgemeine KIs werden oft verwirrt, weil sie nicht wissen, welche anderen Dateien in einem Projekt existieren. SolAgent ist mit einem Dateisystem-Tool ausgestattet.
- Analogie: Anstatt zu raten, welche Werkzeuge im Schuppen liegen, kann die KI tatsächlich zum Schuppen gehen, die Tür öffnen, die Etiketten auf den Boxen lesen und genau die Werkzeuge greifen, die sie braucht, um die Aufgabe zu vollenden. Dies hilft ihr, komplexe Projekte mit vielen verschiedenen Teilen zu verstehen.
Wie es funktioniert: Der „Stopp“-Knopf
Sie denken vielleicht: „Werden sie den Code nicht ewig immer weiter korrigieren?“
Das Paper führt einen dynamischen Stopp-Mechanismus ein. Es ist wie ein intelligenter Timer, der weiß, wann er aufhören muss:
- Erfolg: Wenn der Code alle Tests besteht und keine Sicherheitslücken aufweist, stoppen.
- Steckenbleiben: Wenn die KI immer wieder exakt dens denselben Fehler macht (Looping), stoppt sie, um Zeit zu sparen.
- Stagnation: Wenn der Code nach einigen Versuchen nicht besser wird, stoppen.
Die Ergebnisse: Warum es wichtig ist
Die Forscher haben SolAgent auf einem anspruchsvollen Benchmark namens SolEval+ (einer Sammlung von realen Smart-Contract-Herausforderungen) getestet.
Es funktioniert viel besser:
- Standard-KI (der alleinige „Zauberstift“) hat nur etwa 25 % der Verträge beim ersten Versuch korrekt erstellt.
- SolAgent hat 64,39 % beim ersten Versuch richtig erstellt. Das ist mehr als eine Verdoppelung der Erfolgsquote.
- Analogie: Wenn Sie 100 wahllosen Menschen sagen würden, sie sollen einen Tresor bauen, könnten 25 einen bauen, der funktioniert. SolAgent ist wie das Einstellen eines Meisterarchitekten, der aus 100 Versuchen 64 funktionierende Tresore baut.
Es ist sicherer:
- Im Vergleich zu Code, der von Menschen geschrieben wurde, reduzierte SolAgent Sicherheitsanfälligkeiten um fast 40 %.
- Analogie: Es fand und behob die versteckten Fallen, die selbst erfahrenen menschlichen Baumeistern manchmal entgehen.
Es ist günstiger (Der „Distillation“-Trick):
- Das Ausführen eines Teams von KI-Agenten ist teuer. Deshalb haben die Autoren die „hochwertigen Konversationen“ (die Trajektorie) zwischen dem Baumeister und dem Inspektor genutzt, um ein kleineres, günstigeres KI-Modell (Qwen3-8B) zu trainieren.
- Analogie: Sie haben die Notizen aus der Küche eines Spitzenkochs genommen und einen Junior-Koch gelehrt, wie man das gleiche perfekte Gericht zubereitet. Der Junior-Koch (das kleine Modell) lernte fast so gut zu kochen wie das große Team, aber viel schneller und kostengünstiger.
Zusammenfassung
SolAgent ist eine neue Art, KI zum Schreiben von Blockchain-Code einzusetzen. Anstatt einer einzelnen KI zu vertrauen, dass sie es beim ersten Mal richtig macht, setzt es ein Team ein, das Code schreibt, ihn mit einem Compiler testet, ihn auf Sicherheitslücken scannt und Fehler korrigiert, bis er perfekt ist. Das Ergebnis ist Code, der signifikant zuverlässiger und sicherer ist, als es aktuelle KIs oder sogar menschliche Experten typischerweise produzieren.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.