人工智能正开始编写在区块链上转移资金的代码。人工智能超级智能联盟和开发者平台Matterhorn表示，他们希望确保这些代码的安全。
Matterhorn 和 ASI 联盟于周五宣布了一项以“ vibe coding”（感知编码）为核心的新计划。“vibe coding ”是 Matterhorn 平台的一项功能，它允许开发者用简单的语言描述应用程序，人工智能即可立即生成完整的智能合约代码。虽然这项技术加快了开发速度并降低了应用程序的构建门槛，但也带来了人工智能生成有缺陷或不安全代码的风险，攻击者可以利用这些漏洞。
该公司在一份声明中表示：“我们正处于一个dApp成为‘普通应用’的开端，它将像我们今天使用的网站和应用一样普及。该领域的其他工具都在竞相加快代码交付速度。我们认为这是错误的竞赛。那些开发处理真实资金和真实用户的dApp的开发者需要一个值得信赖的平台，而此次合作正是我们构建这一平台的方式。”
为了减轻这种威胁，Matterhorn 创始人 Abhinav Ramesh 表示，该公司正在与外部安全审计人员和自动化工具合作，以帮助开发人员在部署之前审查 AI 生成的智能合约。
Ramesh告诉Decrypt ：“我们与一些安全审计公司合作，他们可以通过Matterhorn为Matterhorn上的开发者提供审计服务。我们也有人工智能代理可以进行代理审计，但我们绝对不建议仅对主网应用程序这样做。”
Matterhorn 开发平台旨在与ASI:Chain集成，ASI:Chain 是由人工智能超级智能联盟开发的区块链网络，该联盟是一个去中心化的 AI 组织，其中包括Fetch.ai、 SingularityNET和 CUDOS，它为开发人员提供了一个统一的环境来构建、审核和部署去中心化应用程序。
Ramesh表示：“我们让用户能够轻松地从单一平台连接多级证书（MCP）、构建/使用技能、构建去中心化应用（dApp）并进行部署。我们正在与ASI团队合作开发‘认证模板’，以便更轻松地构建更安全的合约，特别是针对基于形式化验证的语言。”
该公司表示，开发者可以通过该平台在正式上线区块链合约之前与第三方审计机构对接。然而，尽管Matterhorn声称其平台能够加速开发，但并不保证安全性。
“我们为希望基于 Web3 进行构建的开发者提供了强有力的支持，”拉梅什说道。“但 Matterhorn 团队绝对不对安全性或可靠性做出任何形式的保证。”
Ramesh 表示，Matterhorn 和 ASI 联盟正在开发“受祝福的模板”，以帮助开发人员构建更安全的智能合约，同时集成 ASI:Cloud，为生成和分析 MeTTa（ASI:Chain 编程语言）代码的 AI 系统提供计算能力。
此次合作正值人工智能代理越来越多地进入加密货币行业之际，开发人员正在试验能够管理钱包、执行交易和在链上执行金融任务的系统，这促使人们开发新的工具和研究，旨在控制这些自主系统处理加密货币时的风险。
SingularityNET的首席创新官 Khellar Crawford 表示，区块链行业的大部分都依赖于“修补和祈祷”的方法——用不适合复杂并发的语言编写智能合约，并依靠审计人员来发现缺陷——而 F1R3FLY 和 ASI:Chain 则使用他称之为基于 Rho 演算的“构造正确”架构。
“我们不靠猜测来判断一个应用程序是否安全，而是用空间行为类型从数学上证明它的安全性，”克劳福德告诉Decrypt 。“在任何一行代码接触到实时网络之前，数学本身就能保证不会出现死锁、竞态条件攻击和资金泄露。”
