Neue Tools zielen darauf ab, KI „Vibe Coding“ für Krypto sicherer zu machen

Kurz gesagt

• ASI Alliance und Matterhorn sagen, dass sie Tools bauen, um Risiken durch von KI generierten Blockchain-Code zu verringern.
• Die Plattform kombiniert automatisierte Analysen, menschliche Prüfung und Test-Tools, um Smart Contracts vor der Bereitstellung zu auditieren.
• Die Partnerschaft läuft auf ASI:Chain und zielt darauf ab, 2026 20.000 Entwickler an Bord zu holen.

Künstliche Intelligenz beginnt damit, den Code zu schreiben, der Geld auf Blockchains bewegt. Die Artificial Superintelligence Alliance und die Entwicklerplattform Matterhorn sagen, dass sie sicherstellen wollen, dass dieser Code sicher ist. Matterhorn und die ASI Alliance kündigten am Freitag die neue Initiative an, die auf „vibe coding“ ausgerichtet ist – eine Funktion der Matterhorn-Plattform, mit der Entwickler eine App in einfacher Sprache beschreiben kann, und die KI sofort den vollständigen Smart-Contract-Code generiert. Obwohl diese Technik die Entwicklung beschleunigt und die Hürde beim Aufbau von Anwendungen senkt, bringt sie auch das Risiko mit sich, dass KI fehlerhaften oder unsicheren Code erzeugt, den Angreifer ausnutzen können. „Wir stehen am Anfang einer Welt, in der dApps zu ‚einfachen Apps‘ werden – alltäglich, wie die Websites und Apps, die wir heute nutzen“, sagte das Unternehmen in einer Erklärung. „Jedes andere Tool in diesem Bereich ist dabei, Code schneller auszuliefern. Wir glauben, dass das der falsche Wettlauf ist. Diejenigen, die dApps bauen, die echtes Geld und echte Nutzer verarbeiten, brauchen eine Plattform, der sie vertrauen können – und genau so bauen wir sie mit dieser Partnerschaft.“

Um diese Bedrohung abzumildern, sagte Matterhorn-Gründer Abhinav Ramesh, dass das Unternehmen mit externen Security-Auditoren und automatisierten Tools arbeitet, um Entwicklern zu helfen, von KI generierte Smart Contracts vor der Bereitstellung zu prüfen. „Wir arbeiten mit Security-Audit-Unternehmen zusammen, die Audit-Dienstleistungen über Matterhorn für Builder auf Matterhorn anbieten können“, sagte Ramesh gegenüber Decrypt. „Wir haben außerdem KI-Agenten, die agentische Audits durchführen, aber wir empfehlen definitiv nicht, das allein für Mainnet-Anwendungen zu tun.“  Die Entwicklungsplattform Matterhorn ist darauf ausgelegt, sich in ASI:Chain zu integrieren, ein von der Artificial Superintelligence Alliance entwickeltes Blockchain-Netzwerk – eine dezentrale KI-Allianz, die Fetch.ai, SingularityNET und CUDOS umfasst – und Entwicklern eine einzige Umgebung bietet, um dezentrale Anwendungen zu bauen, zu auditieren und bereitzustellen.

„Wir machen es für Nutzer einfach, MCPs zu verbinden, Skills zu erstellen/verwenden, dApps zu bauen und von einer einzigen Plattform aus bereitzustellen“, sagte Ramesh. „Wir arbeiten mit dem ASI-Team an ‚blessed templates‘, um es einfacher zu machen, sicherere Contracts speziell für formal verifikationsbasierte Sprachen zu erstellen.“ Das Unternehmen sagte, Entwickler könnten sich über die Plattform mit externen Auditoren verbinden, bevor sie Contracts auf einer Live-Blockchain starten. Allerdings – obwohl Matterhorn sagt, dass seine Plattform die Entwicklung beschleunigt – garantiert sie keine Sicherheit. „Wir sind ein starker Ermöglicher für Builder, die auf Web3 bauen wollen“, sagte Ramesh. „Vonseiten des Matterhorn-Teams gibt es absolut keinerlei Garantien irgendeiner Art in Bezug auf Sicherheit oder Schutz.“ Ramesh sagte, Matterhorn und die ASI Alliance entwickelten „blessed templates“, um Entwicklern zu helfen, sicherere Smart Contracts zu bauen, während sie gleichzeitig ASI:Cloud integrieren, um die Rechenleistung für KI-Systeme bereitzustellen, die Code für MeTTa – die Programmiersprache ASI:Chain – generieren und analysieren. Die Partnerschaft kommt daher, dass KI-Agenten zunehmend in die Kryptoindustrie vordringen. Dort experimentieren Entwickler mit Systemen, die Wallets verwalten, Trades ausführen und finanzielle Aufgaben On-Chain durchführen können – was neue Tools und Forschung hervorruft, die darauf abzielen, die Risiken zu kontrollieren, wenn solche autonomen Systeme mit Kryptowährung umgehen. Khellar Crawford, Chief Innovation Officer von SingularityNET, sagte, dass ein Großteil der Blockchain-Branche auf einen „patch-and-pray“-Ansatz setzt – Smart Contracts in Sprachen zu schreiben, die schlecht für komplexe Parallelität geeignet sind, und sich darauf zu verlassen, dass Auditoren Fehler finden. F1R3FLY und ASI:Chain nutzten hingegen eine von ihm als „correct-by-construction“ bezeichnete Architektur auf Basis von Rho calculus. „Wir raten nicht, ob eine Anwendung sicher ist. Wir beweisen es mathematisch mithilfe von spatialen Verhaltens-Typen“, sagte Crawford gegenüber Decrypt. „Bevor jemals eine einzige Codezeile das Live-Netzwerk berührt, garantiert die Mathematik selbst, dass es keine Deadlocks, keine Exploits durch Race Conditions und keine geleakten Gelder geben wird.“