Kurz gesagt
- ASI Alliance und Matterhorn sagen, dass sie Tools bauen, um Risiken durch KI-generierten Blockchain-Code zu reduzieren.
- Die Plattform kombiniert automatisierte Analyse, menschliche Prüfung und Test-Tools, um Smart Contracts vor dem Deployment 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, sie möchten sicherstellen, dass dieser Code sicher ist.
Matterhorn und die ASI Alliance kündigten am Freitag die neue Initiative an, die sich auf „vibe coding“ konzentriert – eine Funktion der Matterhorn-Plattform, mit der Entwickler eine App in einfacher Sprache beschreiben können und KI sofort den vollständigen Smart-Contract-Code generiert. Während diese Technik die Entwicklung beschleunigt und die Hürde beim Bauen 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, so alltäglich wie die Websites und Apps, die wir heute nutzen“, sagte das Unternehmen in einer Stellungnahme. „Jedes andere Tool in diesem Bereich ist damit beschäftigt, Code schneller auf den Markt zu bringen. Wir glauben, das ist das falsche Wettrennen. Diejenigen, die dApps bauen, die echtes Geld und echte Nutzer verarbeiten, brauchen eine Plattform, der sie vertrauen können – und diese Partnerschaft ist, wie wir das aufbauen.“
Um diese Bedrohung zu mindern, sagte Matterhorn-Gründer Abhinav Ramesh, das Unternehmen arbeite mit externen Sicherheit-Auditoren und automatisierten Tools, um Entwicklern zu helfen, KI-generierte Smart Contracts vor dem Deployment 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 Decrypt. „Wir haben auch KI-Agenten, die agentische Audits durchführen, aber wir empfehlen ausdrücklich nicht, das nur für Mainnet-Anwendungen zu tun.“
Die Entwicklungsplattform von Matterhorn ist darauf ausgelegt, sich in ASI:Chain zu integrieren – ein Blockchain-Netzwerk, das von der Artificial Superintelligence Alliance entwickelt wurde. Diese ist eine dezentrale KI-Allianz, die Fetch.ai, SingularityNET und CUDOS umfasst. So erhalten Entwickler eine einzige Umgebung, um dezentrale Anwendungen zu bauen, zu auditieren und zu deployen.
„Wir machen es einfach für Nutzer, MCPs zu verbinden, Skills aufzubauen/zu nutzen, dApps zu bauen und von einer einzigen Plattform aus zu deployen“, 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 bauen.“
Das Unternehmen sagte, Entwickler könnten sich über die Plattform mit Drittanbieter-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 aufbauen wollen“, sagte Ramesh. „Es gibt absolut keine Garantien irgendeiner Art vom Matterhorn-Team in Bezug auf Sicherheit oder Security.“
Ramesh sagte, Matterhorn und die ASI Alliance entwickelten „blessed templates“, um Entwicklern zu helfen, sicherere Smart Contracts zu bauen, während gleichzeitig ASI:Cloud integriert wird, um Rechenleistung für KI-Systeme bereitzustellen, die Code für MeTTa generieren und analysieren – die Programmiersprache von ASI:Chain.
Die Partnerschaft kommt, während KI-Agenten zunehmend in die Kryptoindustrie 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 Forschungsarbeiten, die darauf abzielen, die Risiken zu kontrollieren, wenn solche autonomen Systeme Kryptowährungen handhaben.
Khellar Crawford, Chief Innovation Officer von SingularityNET, sagte, ein Großteil der Blockchain-Industrie setze auf einen „patch-and-pray“-Ansatz – das Schreiben von Smart Contracts in Sprachen, die für komplexe Concurrency schlecht geeignet seien, und darauf zu vertrauen, dass Auditoren Fehler finden – während F1R3FLY und ASI:Chain das verwenden, was er eine „correct-by-construction“-Architektur nannte, basierend auf Rho-Kalkül.
„Wir raten nicht, ob eine Anwendung sicher ist, wir beweisen sie mathematisch anhand räumlicher Verhaltenstypen“, sagte Crawford Decrypt. „Bevor auch nur eine einzelne Codezeile jemals das Live-Netzwerk berührt, garantiert die Mathematik selbst, dass es keine Deadlocks, keine Exploits durch Race Conditions und keine durchgesickerten Gelder geben wird.“
