NachrichtenKryptoGno.land enthüllt Dora, einen KI-Sicherheitsagenten, der Smart-Contract-Fehler nachweist, bevor Menschen sie prüfen

Gno.land enthüllt Dora, einen KI-Sicherheitsagenten, der Smart-Contract-Fehler nachweist, bevor Menschen sie prüfen

Autor: CoinTrust·

Wichtige Erkenntnisse

  • Dora untersucht kontinuierlich die Codebasis von Gno.land und ihre als Realms bezeichneten Smart Contracts und überprüft vermutete Schwachstellen, indem Exploits an einem Live-Knoten von Gno.land reproduziert werden, bevor ein Ergebnis menschliche Prüfer erreicht.
  • Das System arbeitet mit einem siebenschrittigen Agenten-Workflow, der Aufklärung, Schwachstellenplanung, Deduplizierung, Verifizierung, adversarische Prüfung, Patch-Entwicklung und abschließende Fix-Validierung umfasst.
  • Gno.land, gegründet von Jae Kwon, dem Mitschöpfer von Cosmos und Tendermint, hat zudem gnomcp veröffentlicht, einen Open-Source-Server, der KI-Coding-Agenten wie Claude Code und Cursor für das Lesen, Schreiben und Bereitstellen von Realms direkt mit der Plattform verbindet.
  • Dora bleibt ein internes Sicherheitstool, Gno.land hat noch kein umfassendes Audit seiner gesamten Codebasis abgeschlossen, und das Unternehmen plant, die Abdeckung auszuweiten und Ergebnisse zur unabhängigen Prüfung zu veröffentlichen.
  • Die Einführung spiegelt einen breiteren Wandel der Branche hin zu agentenbasierter KI für kontinuierliche Sicherheitsüberwachung wider, da Tracker wie Chainalysis und Immunefi in den vergangenen Jahren jährliche Verluste im Milliardenbereich durch Krypto-Hacks gemeldet haben.
Gno.land enthüllt Dora, einen KI-Sicherheitsagenten, der Smart-Contract-Fehler nachweist, bevor Menschen sie prüfen

Gno.land, die auf Go basierende Smart-Contract-Plattform, die von NewTendermint entwickelt wurde, hat Dora eingeführt – ein autonomes, agentenbasiertes KI-Sicherheitssystem, das die Codebasis der Plattform und ihre als Realms bezeichneten Smart Contracts kontinuierlich untersucht.

Anders als herkömmliche Sicherheitstools, die potenziell anfälligen Code zur späteren Untersuchung markieren, ist Dora darauf ausgelegt festzustellen, ob eine vermutete Schwachstelle tatsächlich ausgenutzt werden kann. Bevor ein Ergebnis an einen menschlichen Prüfer gelangt, reproduziert das System den mutmaßlichen Exploit an einem Live-Knoten von Gno.land – ein Ansatz, der falsch-positive Meldungen reduzieren und umsetzbare Schwachstellen früher aufdecken soll.

Die Einführung spiegelt einen breiteren Wandel bei Blockchain-Projekten hin zu agentenbasierter künstlicher Intelligenz für eine kontinuierliche Sicherheitsüberwachung wider, statt sich in erster Linie auf periodische Audits oder über Bug-Bounty-Programme gemeldete Schwachstellen zu verlassen. Die Tragweite dieses Wandels zeigt sich in den Verlustdaten der Branche: Sicherheits-Tracker wie Chainalysis und Immunefi haben in den vergangenen Jahren jährliche Verluste im Milliardenbereich durch Krypto-Hacks gemeldet, wobei Schwachstellen in Smart Contracts zu den wiederkehrenden Ursachen zählen. Herkömmliche Audits sind zudem Momentaufnahmen, und Code, der nach Abschluss eines Audits geändert wird, kann bis zur nächsten Prüfung unüberprüft bleiben – eine Lücke, die kontinuierliche Überwachung verkleinern soll.

Gno.land wurde von Jae Kwon gegründet, dem Mitschöpfer von Cosmos und Tendermint. Die Plattform verwendet Gno, eine interpretierte und deterministische Variante von Go, und ist darauf ausgelegt, Entwicklern das Schreiben lesbarer, kombinierbarer Smart Contracts zu ermöglichen, während der Quellcode öffentlich on-chain verfügbar bleiben muss – eine Architektur, die die Transparenz verbessern und Verträge für Entwickler und Sicherheitsforscher leichter überprüfbar machen soll. NewTendermint, das von Kwon geleitet wird, entwickelt Infrastruktur für dezentrale Systeme, darunter Tendermint2 und Gno.land, fungiert als Kern-Betreuer des Gno.land-Protokolls und der GnoVM und unterstützt Open-Source-Infrastruktur für permissionless Anwendungen.

Sieben-Agenten-Prozess zielt auf ausnutzbare Schwachstellen ab

Der Bedarf an kontinuierlicher Verifizierung ist gestiegen, da künstliche Intelligenz die Identifizierung verdächtigen Codes erleichtert hat. KI-gestützte Tools können potenziell problematische Softwareabschnitte schnell ausfindig machen, doch festzustellen, ob es sich dabei um echte, ausnutzbare Schwachstellen handelt, bleibt schwieriger – und dieselben Fähigkeiten stehen zunehmend sowohl Sicherheitsteams als auch potenziellen Angreifern zur Verfügung.

Für Blockchain-Netzwerke können die Folgen eines unentdeckten Softwarefehlers erheblich sein. Ein Panic in einer kritischen Komponente könnte den Konsens beeinträchtigen, nichtdeterministisches Verhalten könnte dazu führen, dass Validatoren auseinanderlaufen, und arithmetische Fehler könnten sich möglicherweise auf Asset-Transfers auswirken.

Dora begegnet dieser Herausforderung mit einem siebenschrittigen Agenten-Workflow, der Aufklärung, Schwachstellenplanung, Deduplizierung, Verifizierung, adversarische Prüfung, Patch-Entwicklung und abschließende Fix-Validierung umfasst. Der Aufklärungs-Agent kartiert den relevanten Code, während der Planungs-Agent potenzielle Schwachstellenszenarien entwickelt. Eine Deduplizierungsstufe entfernt bereits bekannte Probleme. Der Verifizierer erstellt und führt anschließend einen Live-Test an einem tatsächlichen Gno.land-Knoten aus, um festzustellen, ob sich die vermutete Schwachstelle reproduzieren lässt.

Ein separater Prüfer bewertet das Ergebnis aus adversarieller Perspektive. Bleibt das Problem gültig, erstellt ein Fixer einen Patch, gefolgt von einer weiteren Prüfung, ob die vorgeschlagene Korrektur die Schwachstelle behebt, ohne ein neues Problem einzuführen. Nur Ergebnisse, die den vollständigen Prozess durchlaufen, werden an menschliche Prüfer weitergeleitet.

Gno.land baut KI-zentrierte Entwicklungswerkzeuge aus

Dora ist Teil der umfassenderen Bemühungen von Gno.land, künstliche Intelligenz in Entwicklungs- und Sicherheitsprozesse zu integrieren. Die Plattform hat zudem gnomcp veröffentlicht, einen Open-Source-Server, der KI-Coding-Agenten wie Claude Code und Cursor direkt mit Gno.land verbinden soll. Durch diese Integration können KI-Agenten mit Gno.land interagieren, um Realms zu lesen, zu schreiben und bereitzustellen – mit Entwicklungs-Workflows, die Softwareingenieuren vertraut sind. Der Einsatz menschenlesbarer, auf Go basierender Smart Contracts soll den Code der Plattform auch für KI-Systeme besser zugänglich machen als Architekturen, bei denen die Anwendungslogik hauptsächlich als kompilierter Bytecode vorliegt.

Dora ist derzeit ein internes Sicherheitstool, und Gno.land hat noch kein umfassendes Audit seiner gesamten Codebasis abgeschlossen, obwohl gezielte Tests bereits reproduzierbare Ergebnisse mit relativ geringem Rauschen erbracht haben. Das Unternehmen plant, die Abdeckung von Dora auszuweiten und weitere Ergebnisse zu veröffentlichen, sobald das System breiter eingesetzt wird. Sobald diese Ergebnisse öffentlich sind, können unabhängige Sicherheitsforscher überprüfen, ob die reproduzierbaren Resultate des Systems einer externen Prüfung standhalten – ein früher Test agentengestützter Verifizierung als Standard-Sicherheitspraxis. Die Initiative könnte Gno.land eine kontinuierliche Sicherheitsschicht bieten, die traditionelle Audits und von Menschen durchgeführte Schwachstellenforschung ergänzt und es ermöglicht, bestätigte Probleme zu beheben, bevor sie extern entdeckt werden.

Quelle: CoinTrust