人工智能开始编写在区块链上转移资金的代码。人工超级智能联盟以及开发者平台Matterhorn表示，他们希望确保这类代码是安全的。 Matterhorn和ASI联盟在周五宣布了以“氛围式编码（vibe coding）”为核心的全新举措——这是Matterhorn平台的一项功能，允许开发者用通俗语言描述一个应用，而AI会立即生成完整的智能合约代码。尽管这种技术加速了开发并降低了构建应用程序的门槛，但它也引入了风险：AI可能生成存在缺陷或不安全的代码，而攻击者可以加以利用。 “我们正处在一个世界的开端：dApps变成‘只是应用’，像我们今天使用的那些网站和应用一样普遍，”该公司在一份声明中表示。“这个领域里的其他每一款工具都在竞相更快地交付代码。我们认为这是一场不对的竞赛。构建能够处理真实资金和真实用户的dApp的建设者，需要一个他们可以信任的平台，而这个合作伙伴关系就是我们如何做到这一点。”
为缓解这一威胁，Matterhorn创始人Abhinav Ramesh表示，该公司正在与外部安全审计员以及自动化工具合作，帮助开发者在部署之前审核由AI生成的智能合约。 “我们与安全审计公司合作，这些公司可以通过Matterhorn为在Matterhorn上的建设者提供审计服务，”Ramesh向_Decrypt_表示。“我们也有AI代理用于代理式审计，但我们绝对不建议仅仅依靠这一点来做主网应用。” Matterhorn开发平台旨在与ASI:Chain集成——这是由人工超级智能联盟开发的区块链网络。该联盟是一个去中心化的AI协作组织，包含Fetch.ai、SingularityNET和CUDOS，使开发者能够在单一环境中构建、审计并部署去中心化应用。
Ramesh表示：“我们让用户能够轻松连接MCP、构建/使用技能、构建dApps，并从单一平台完成部署。”他还说：“我们正在与ASI团队合作‘获准的模板（blessed templates）’，让开发者更容易为基于形式化验证的语言构建更安全的合约。” 该公司表示，开发者可以在将合约部署到实时区块链之前，通过平台与第三方审计员建立连接。然而，尽管Matterhorn表示其平台能够加速开发，但它并不能保证安全性。 Ramesh表示：“我们是想要在Web3上构建的建设者的强有力赋能者。” “Matterhorn团队在安全或安保方面绝对不提供任何形式的保证。” Ramesh表示，Matterhorn与ASI联盟正在开发“获准的模板”，帮助开发者在集成ASI:Cloud的同时构建更安全的智能合约。ASI:Cloud为生成和分析MeTTa代码的AI系统提供计算能力；MeTTa是ASI:Chain编程语言。 该合作之际，AI代理正日益进入加密行业。开发者正在尝试能够管理钱包、执行交易并在链上完成金融任务的系统，这促使了新的工具与研究，旨在在这些自主系统处理加密货币时控制风险。 SingularityNET的首席创新官Khellar Crawford表示，很多区块链行业依赖一种“修补—祈祷（patch-and-pray）”的做法：用不太适合复杂并发的语言编写智能合约，并依靠审计员发现缺陷；而F1R3FLY和ASI:Chain则使用他所称的基于Rho演算的“从构建上就正确（correct-by-construction）”架构。 “我们不会猜测某个应用是否安全，我们会用空间行为类型（spatial behavioral types）在数学上加以证明，”Crawford向_Decrypt_表示。“在任何一行代码接触到真实网络之前，数学本身就保证不会出现死锁、不会出现竞态条件漏洞，也不会泄露资金。”
