The Artificial Superintelligence Alliance (ASI) and Matterhorn are collaborating to ensure the security of blockchain code written by artificial intelligence. On Friday, they unveiled an initiative focusing on ‘vibe coding,’ a feature within Matterhorn that allows developers to describe applications in plain language. The AI then generates complete smart contract code swiftly. While this method accelerates development and reduces barriers for building apps, it also poses the risk of producing flawed or insecure code exploitable by attackers.
“We are entering an era where decentralized applications (dApps) become as common as today’s websites and apps,” the company stated. “Other tools in this space aim to deliver code more quickly. We believe that is not the correct focus. Developers creating dApps with real financial implications need a trustworthy platform, which our collaboration aims to provide.”
To address these security concerns, Matterhorn’s founder Abhinav Ramesh mentioned partnering with external security auditors and automated tools to assist in reviewing AI-generated smart contracts prior to deployment.
“We collaborate with audit firms that offer services via Matterhorn for developers on the platform,” Ramesh explained to Decrypt. “While we have AI agents conducting audits, they should not be solely relied upon for mainnet applications.”
Matterhorn’s development environment integrates with ASI:Chain, a blockchain network developed by the Artificial Superintelligence Alliance, which includes Fetch.ai, SingularityNET, and CUDOS. This integration provides a unified platform for building, auditing, and deploying decentralized applications.
“We simplify connecting users to MCPs, utilizing skills, constructing dApps, and deploying all from one platform,” Ramesh said. “In collaboration with the ASI team, we’re developing ‘blessed templates’ to aid in creating safer contracts specifically for formal verification-based languages.”
The company highlighted that developers could connect with third-party auditors via their platform before launching contracts on live blockchains. However, Matterhorn emphasized that while its platform expedites development, it does not assure security.
“We are strong proponents for those eager to build on Web3,” Ramesh stated. “There are no guarantees of safety or security from the Matterhorn team.”
Ramesh further indicated that Matterhorn and the ASI Alliance are working on ‘blessed templates’ to aid in developing safer smart contracts while incorporating ASI:Cloud for AI systems to generate and analyze code using MeTTa, the ASI:Chain programming language.
The partnership emerges as AI agents increasingly penetrate the crypto industry, with developers exploring systems that manage wallets, execute trades, and perform financial operations on-chain. This trend has spurred new tools and research to mitigate risks posed by autonomous systems handling cryptocurrency.
Khellar Crawford, chief innovation officer of SingularityNET, noted that much of the blockchain sector depends on a “patch-and-pray” strategy—employing languages ill-suited for complex concurrency and relying on auditors to identify flaws. In contrast, F1R3FLY and ASI:Chain adopt what he termed a “correct-by-construction” architecture based on Rho calculus.
“We don’t conjecture about application safety; we mathematically prove it using spatial behavioral types,” Crawford told Decrypt. “The mathematics ensure no deadlocks, race-condition exploits, or fund leaks before any code is deployed to the live network.”