Artificial intelligence is starting to write the code that moves money on blockchains. The Artificial Superintelligence Alliance and developer platform Matterhorn say they want to make sure that code is safe.
"We're at the beginning of a world where dApps become 'just Apps', commonplace like the websites and apps we use today," the company said in a statement. "Every other tool in this space is racing to ship code faster. We think that's the wrong race. The builders who build dApps that handle real money and real users need a platform they can trust, and this partnership is how we build it."
To mitigate this threat, Matterhorn founder Abhinav Ramesh said the company is working with outside security auditors and automated tools to help developers review AI-generated smart contracts before deployment.
“We partner with security audit companies who can offer audit services through Matterhorn for builders on Matterhorn,” Ramesh told Decrypt. “We have AI agents as well that do agentic audits, but we absolutely don’t recommend doing just that for mainnet applications.”
“We make it easy for users to connect MCPs, build/use skills, build dApps, and deploy from a single platform,” Ramesh said. “We are working with the ASI team on 'blessed templates' to make it easier to build safer contracts specifically for formal verification-based languages.”
The company said developers can connect with third-party auditors through the platform before launching contracts on a live blockchain. However, while Matterhorn said its platform accelerates development, it does not guarantee security.
“We are a strong enabler for builders who want to build on Web3,” Ramesh said. “There are absolutely no guarantees of any kind from the Matterhorn team on safety or security.”
Ramesh said Matterhorn and the ASI Alliance are developing “blessed templates” to help developers build safer smart contracts while integrating ASI:Cloud to provide the computing power for AI systems that generate and analyze code for MeTTa, the ASI:Chain programming language.
Khellar Crawford, chief innovation officer of SingularityNET, said much of the blockchain industry relies on a “patch-and-pray” approach—writing smart contracts in languages poorly suited for complex concurrency and relying on auditors to catch flaws—while F1R3FLY and ASI:Chain use what he called a “correct-by-construction” architecture based on Rho calculus.
“We don’t guess if an application is safe, we mathematically prove it using spatial behavioral types,” Crawford told Decrypt. “Before a single line of code ever touches the live network, the math itself guarantees that there will be no deadlocks, no race-condition exploits, and no leaked funds.”
