人工智能开始编写驱动区块链资金流动的代码
人工智能超级智能联盟与开发者平台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演算的“构造即正确”架构。“我们不对应用安全性进行猜测,而是通过空间行为类型进行数学证明。在代码接触实时网络之前,数学本身就能保证不会发生死锁、竞态条件漏洞或资金泄露。”他如此总结道。
FET

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注