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