人工智能开始编写在区块链上移动资金的代码。人工超智能联盟和开发者平台Matterhorn表示，他们希望确保这些代码是安全的。

Matterhorn和ASI联盟在周五宣布了以“vibe coding”为中心的新倡议——这是Matterhorn平台的一项功能，允许开发者用简单的语言描述一个应用程序，人工智能即时生成完整的智能合约代码。尽管这种技术加快了开发速度，降低了构建应用的门槛，但它也引入了人工智能生成缺陷或不安全代码的风险，攻击者可以利用这些缺陷。

“我们正处于一个去中心化应用（dApps）变成‘普通应用’的世界的开端，像我们今天使用的网站和应用一样普遍，”该公司在一份声明中表示。“这个领域的其他每一个工具都在竞相更快地发布代码。我们认为这是错误的竞赛。那些构建处理真实资金和真实用户的去中心化应用的开发者需要一个他们可以信任的平台，而这个伙伴关系就是我们构建它的方式。”

为了减轻这个威胁，Matterhorn创始人阿宾纳夫·拉梅什表示，公司正在与外部安全审计机构和自动化工具合作，帮助开发者在部署之前审查人工智能生成的智能合约。

“我们与可以通过Matterhorn为Matterhorn上的构建者提供审计服务的安全审计公司合作，”拉梅什告诉Decrypt。“我们还有人工智能代理进行代理审计，但我们绝对不推荐仅仅依靠这个来处理主网应用。”



Matterhorn开发平台旨在与ASI:Chain集成，这是一个由人工超智能联盟开发的区块链网络，该联盟是一个去中心化的人工智能集体，包括Fetch.ai、SingularityNET和CUDOS，为开发者提供一个单一的环境来构建、审计和部署去中心化应用。

“我们使用户能够轻松连接MCP，构建/使用技能，构建去中心化应用，并从单一平台部署，”拉梅什说。“我们正在与ASI团队合作开发‘受祝福的模板’，以便更容易地为基于形式验证的语言构建更安全的合约。”

该公司表示，开发者可以通过平台在实时区块链上启动合约之前与第三方审计师联系。然而，虽然Matterhorn表示其平台加快了开发速度，但并不保证安全性。

“我们是希望在Web3上构建的开发者的强大支持者，”拉梅什说。“Matterhorn团队绝对没有对安全性提供任何保证。”

拉梅什表示，Matterhorn和ASI联盟正在开发“受祝福的模板”，以帮助开发者构建更安全的智能合约，同时集成ASI:Cloud以提供为生成和分析MeTTa代码的人工智能系统提供计算能力，MeTTa是ASI:Chain编程语言。

这一合作伙伴关系正值人工智能代理越来越多地进入加密行业，开发者正在尝试能够管理钱包、执行交易和在链上进行金融任务的系统，促使新的工具和研究旨在控制当这些自主系统处理加密货币时的风险。

SingularityNET首席创新官凯拉尔·克劳福德表示，区块链行业的许多环节依赖于“一种打补丁和祈祷”的方法——在不适合复杂并发的语言中编写智能合约，并依靠审计员捕捉缺陷——而F1R3FLY和ASI:Chain使用他所称的“正确构造”架构，基于Rho演算。

“我们不猜测应用程序是否安全，我们使用空间行为类型进行数学证明，”克劳福德告诉Decrypt。“在任何一行代码接触实时网络之前，数学本身保证不会出现死锁、竞态条件利用和资金泄漏。”

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。