Neue Tools sollen KI „Vibe-Coding“ sicherer für Krypto machen

Kurzfassung

• Die ASI Alliance und Matterhorn sagen, dass sie Tools bauen, um Risiken durch von KI generierten Blockchain-Code zu reduzieren.
• Die Plattform kombiniert automatisierte Analysen, menschliche Überprü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 zu onboarden.

Künstliche Intelligenz beginnt damit, den Code zu schreiben, der Geld auf Blockchains bewegt. Die Artificial Superintelligence Alliance und die Entwicklerplattform Matterhorn sagen, sie wollen sicherstellen, dass dieser Code sicher ist. Matterhorn und die ASI Alliance kündigten am Freitag die neue Initiative an, die auf „Vibe Coding“ zentriert ist – eine Funktion der Matterhorn-Plattform, mit der Entwickler eine App in einfacher Sprache beschreiben, und die KI sofort den vollständigen Smart-Contract-Code generiert. Diese Technik beschleunigt zwar die Entwicklung und senkt die Hürde beim Bau von Anwendungen, bringt aber auch das Risiko mit sich, dass die 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 Stellungnahme. „Jedes andere Tool in diesem Bereich ist dabei, Code schneller auf den Markt zu bringen. Wir glauben, dass das der falsche Wettbewerb ist. Die Entwickler, die dApps bauen, die echtes Geld und echte Nutzer verwalten, brauchen eine Plattform, der sie vertrauen können – und diese Partnerschaft ist, wie wir das aufbauen.“

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 überprüfen. „Wir arbeiten mit Security-Audit-Unternehmen zusammen, die Audit-Services ü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 absolut nicht, dabei nur das für Mainnet-Anwendungen zu machen.“  Die Matterhorn-Entwicklungsplattform ist so konzipiert, dass sie sich in ASI:Chain integriert, ein Blockchain-Netzwerk, das von der Artificial Superintelligence Alliance entwickelt wurde – einer dezentralen KI-Kollektiv-Organisation, die Fetch.ai, SingularityNET und CUDOS umfasst. So erhalten Entwickler eine einzige Umgebung, um dezentrale Anwendungen zu bauen, zu auditieren und bereitzustellen.

„Wir machen es einfach für Nutzer, MCPs zu verbinden, Skills zu bauen/zu nutzen, dApps zu bauen und von einer einzigen Plattform aus bereitzustellen“, sagte Ramesh. „Wir arbeiten mit dem ASI-Team an ‚gesegneten Templates‘, um es einfacher zu machen, sicherere Contracts zu erstellen – insbesondere für sprachenbasierte, formale Verifikation.“ Das Unternehmen sagte, Entwickler könnten sich über die Plattform vor dem Starten von Contracts auf einer Live-Blockchain mit externen Auditoren verbinden. Allerdings garantiere Matterhorn zwar, dass seine Plattform die Entwicklung beschleunigt, sie sichere jedoch keine Sicherheit. „Wir sind ein starker Ermöglicher für Builder, die auf Web3 aufbauen wollen“, sagte Ramesh. „Vom Matterhorn-Team gibt es absolut keinerlei Garantien irgendeiner Art in Bezug auf Sicherheit oder Security.“

Ramesh sagte, Matterhorn und die ASI Alliance entwickelten „gesegnete Templates“, um Entwicklern zu helfen, sicherere Smart Contracts zu bauen, während gleichzeitig ASI:Cloud integriert wird, um die Rechenleistung für KI-Systeme bereitzustellen, die Code für MeTTa generieren und analysieren – die ASI:Chain-Programmiersprache. Die Partnerschaft kommt zu einem Zeitpunkt, an dem KI-Agenten zunehmend in die Krypto-Industrie vordringen. Dort experimentieren Entwickler mit Systemen, die Wallets verwalten, Trades ausführen und finanzielle Aufgaben On-Chain erledigen können. Das führt zu neuen Tools und Forschungsvorhaben, die darauf abzielen, die Risiken zu kontrollieren, wenn diese autonomen Systeme mit Kryptowährung umgehen. Khellar Crawford, Chief Innovation Officer von SingularityNET, sagte, ein großer Teil der Blockchain-Branche setze auf einen „Patch-und-bete“-Ansatz – Smart Contracts in Sprachen zu schreiben, die schlecht für komplexe Concurrency geeignet seien, und sich darauf zu verlassen, dass Auditoren Fehler finden – während F1R3FLY und ASI:Chain laut ihm eine „correct-by-construction“-Architektur verwenden, die auf Rho calculus basiert. „Wir raten nicht, ob eine Anwendung sicher ist, wir beweisen es mathematisch, indem wir räumliche Verhaltenstypen verwenden“, 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 für Race-Conditions und keine geleakten Gelder geben wird.“