人工智能正在开始编写在区块链上移动资金的代码。人工超级智能联盟和开发者平台Matterhorn表示，他们希望确保这些代码是安全的。
Matterhorn和ASI联盟周五宣布了一项新倡议，专注于”氛围编码”——这是Matterhorn平台的一个功能，允许开发者用自然语言描述应用程序，AI会立即生成完整的智能合约代码。虽然这种技术加快了开发速度并降低了构建应用程序的门槛，但也引入了AI生成有缺陷或不安全代码的风险，攻击者可能会利用这些漏洞。
“我们正处于一个dApp变成’普通应用’的世界开端，就像我们今天使用的网站和应用程序一样普遍，”该公司在一份声明中表示。”这个领域的其他工具都在竞相更快地交付代码。我们认为这是错误的竞赛。构建处理真实资金和真实用户的dApp的建设者需要一个他们可以信任的平台，这次合作就是我们构建它的方式。”
为了减轻这种威胁，Matterhorn创始人Abhinav Ramesh表示，公司正在与外部安全审计师和自动化工具合作，帮助开发者在部署前审查AI生成的智能合约。
“我们与安全审计公司合作，他们可以通过Matterhorn为Matterhorn上的建设者提供审计服务，”Ramesh告诉Decrypt。”我们也有进行代理审计的AI代理，但我们绝对不建议仅为主网应用程序这样做。”
Matterhorn开发平台旨在与ASI:Chain集成，这是一个由人工超级智能联盟开发的区块链网络。该联盟是一个去中心化AI集体，包括Fetch.ai、SingularityNET和CUDOS，为开发者提供构建、审计和部署去中心化应用程序的单一环境。
“我们使用户能够轻松连接MCP、构建/使用技能、构建dApp，并从单一平台部署，”Ramesh说。”我们正在与ASI团队合作开发’受祝福的模板’，以便更容易为基于形式验证的语言构建更安全的合约。”
该公司表示，开发者在将合约部署到实时区块链之前，可以通过该平台与第三方审计师联系。然而，虽然Matterhorn表示其平台加速了开发，但并不保证安全性。
“我们是想要在Web3上构建的建设者的强大推动者，”Ramesh说。”Matterhorn团队绝对不提供任何安全保证。”
Ramesh表示，Matterhorn和ASI联盟正在开发”受祝福的模板”，以帮助开发者构建更安全的智能合约，同时集成ASI:Cloud为AI系统提供计算能力，这些系统为ASI:Chain编程语言MeTTa生成和分析代码。
这次合作正值AI代理越来越多地进入加密货币行业，开发者正在试验可以管理钱包、执行交易并在链上执行金融任务的系统，这促使了旨在控制这些自主系统处理加密货币时风险的新工具和研究。
SingularityNET的首席创新官Khellar Crawford表示，许多区块链行业依赖”修补和祈祷”的方法——用不适合复杂并发的语言编写智能合约，并依赖审计师发现缺陷——而F1R3FLY和ASI:Chain使用他称之为”构造正确”的架构，基于Rho演算。
“我们不猜测应用程序是否安全，我们使用空间行为类型进行数学证明，”Crawford告诉Decrypt。”在一行代码触及实时网络之前，数学本身就保证了不会有死锁、不会有竞争条件漏洞，也不会有资金泄漏。”
本网站所有区块链相关数据与资料仅供用户学习及研究之用，不构成任何投资建议。转载请注明出处：https://www.lianxinshe666.com/2026/04/12/%e6%96%b0%e5%b7%a5%e5%85%b7%e6%97%a8%e5%9c%a8%e8%ae%a9ai%e6%b0%9b%e5%9b%b4%e7%bc%96%e7%a0%81%e5%af%b9%e5%8a%a0%e5%af%86%e8%b4%a7%e5%b8%81%e6%9b%b4%e5%ae%89%e5%85%a8/
