• 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

新工具旨在让AI助力加密货币编程更安全

2026-04-12 00:01:02
收藏

人工智能开始编写驱动区块链资金流动的代码

人工智能超级智能联盟与开发者平台Matterhorn表示,他们希望确保这些代码的安全性。Matterhorn与ASI联盟于周五宣布启动一项以“氛围编程”为核心的新计划——这是Matterhorn平台的一项功能,允许开发者用自然语言描述应用程序,并由AI即时生成完整的智能合约代码。虽然这项技术能加速开发并降低应用构建门槛,但它也带来了AI生成有缺陷或不安全代码的风险,可能被攻击者利用。

该公司在声明中表示:“我们正处在一个去中心化应用成为‘普通应用’世界的开端,就像我们今天使用的网站和应用一样普遍。该领域的其他工具都在竞相追求更快的代码交付速度,但我们认为这是错误的竞赛方向。处理真实资金和真实用户的构建者需要一个值得信赖的平台,而此次合作正是我们构建该平台的方式。”

为降低这种威胁,Matterhorn创始人表示公司正与外部安全审计方及自动化工具合作,帮助开发者在部署前审查AI生成的智能合约。该公司与安全审计公司建立合作,通过Matterhorn为平台上的构建者提供审计服务。虽然平台也配备了进行代理审计的AI智能体,但团队绝不建议仅依赖这种方式处理主网应用。

构建与审计一体化的开发环境

Matterhorn开发平台专为与ASI:Chain集成而设计。ASI:Chain是由去中心化人工智能集体——人工智能超级智能联盟开发的区块链网络。该联盟成员包括Fetch.ai、SingularityNET和CUDOS。该平台为开发者提供构建、审计和部署去中心化应用程序的统一环境。

创始人解释道:“我们让用户能够轻松连接MCP、构建/使用技能、开发去中心化应用,并通过单一平台完成部署。我们正与ASI团队合作开发‘认证模板’,以简化基于形式验证语言的更安全合约的构建流程。”开发者可通过该平台在将合约部署至实时区块链前联系第三方审计机构。然而,尽管平台能加速开发,但并不提供安全保障。“我们是希望构建Web3应用的开发者的强力赋能者,但Matterhorn团队不提供任何形式的安全性保证。”

数学证明保障的安全架构

Matterhorn与ASI联盟正在开发“认证模板”,帮助开发者构建更安全的智能合约,同时集成ASI:Cloud为AI系统提供算力,以生成和分析ASI:Chain编程语言MeTTa的代码。此次合作正值AI智能体加速进入加密行业之际,开发者正在试验能够管理钱包、执行交易及处理链上金融任务的系统,这催生了旨在控制自主系统处理加密货币风险的新工具与研究。

SingularityNET首席创新官指出,当前区块链行业多依赖“修补与祈祷”模式——使用不太适合复杂并发场景的语言编写智能合约,并依赖审计人员发现缺陷。而相关团队与ASI:Chain采用基于Rho演算的“构造即正确”架构。“我们不对应用安全性进行猜测,而是通过空间行为类型进行数学证明。在代码接触实时网络之前,数学本身就能保证不会发生死锁、竞态条件漏洞或资金泄露。”他如此总结道。

免责声明:

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证,网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用,不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责,与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容,并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文
更多新闻
自选
我的自选
查看全部
市值 价格 24h%