Cointime

扫码下载App
iOS & Android

基于AI的GPTScan有效提升检测智能合约漏洞能力MetaTrust论文提名ICSE国际软工顶会

近日,MetaTrust Labs与南洋理工大学等数所院校联合研究团队,发表的学术论文“GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis”已通过软件工程领域的顶级学术会议——ICSE2024会议评委会审核并发表。
该论文研究利用GPT大语言模型与程序分析技术相结合,提高检测智能合约逻辑漏洞的能力。通过将每个逻辑漏洞类型细化为不同场景和属性,再由GPT匹配识别,同时采用静态分析验证,旨在提高检出率与准确性,从而增强智能合约开发的安全性与可靠性。

评论

所有评论

推荐阅读

  • 摩根士丹利披露其对灰度GBTC投资近2.7亿美元,成为最大持有者之一

    5月16日消息,摩根士丹利(Morgan Stanley)在Q1提交给SEC的13F文件中披露,其通过灰度GBTC向现货比特币ETF投资了2.699亿美元。根据Fintel的数据,这笔投资使其成为继Susquehanna International Group(投资10亿美元)之后,GBTC的最大持有者之一。 摩根士丹利也是众多披露了对现货比特币ETF投资的全球系统重要性银行(G-SIB)之一,其他银行包括加拿大皇家银行、摩根大通、富国银行、法国巴黎银行和瑞银集团。
  • Coinbase计划为澳大利亚自助养老金部门提供服务

    Coinbase计划为澳大利亚的自助养老金部门提供服务。交易所亚太区总经理John O’Loghlen告诉彭博社:“我们不认为这会损害ETF玩家的利益。”Coinbase正在开发一项专门针对澳大利亚自助养老金部门的服务。自2019年3月以来,澳大利亚的自助基金越来越多地持有加密货币。根据澳大利亚税务局的最新数据,近10亿澳元(6.64亿美元)用于加密货币。成千上万的澳大利亚人使用自助养老金基金押注加密货币,甚至在2023年3月据路透社报道,有人损失了数百万美元。
  • 万事达卡和渣打银行试点代币化存款

    万事达卡与渣打银行合作开展了一项概念验证试点,探索代币化存款和代币化碳信用额度。这两家金融服务巨头与渣打旗下的香港数字银行 Mox 和资产代币化技术公司 Libeara 合作,在香港金融管理局的金融科技监管沙盒(Fintech Supervisory Sandbox)上进行 PoC。
  • Huobi HK的香港虚拟资产交易平台牌照申请已于5月14日被撤回

    5月15日消息,据香港证监会官方网站更新数据显示,Huobi HK向香港证监会提交的虚拟资产交易平台牌照申请已于5月14日被撤回。 相关信息显示,Huobi HK提交的虚拟资产交易平台运营者公司名称为“HBGL Hong Kong Limited”,中文名称不适用,Huobi HK曾于2024年2月20日首次向香港证监会递交了虚拟资产交易平台牌照申请,但于2024年2月23日被撤回,随后又于2024年2月26日再次提交申请,本次为第二次被退回。 截至目前,香港证监会公布的虚拟资产交易平台牌照撤回和退回的申请者数量为7家,虚拟资产交易平台申请中名单数量减少至20家。
  • 美国威斯康星州养老金系统资产持有1.64亿美元现货比特币ETF

    在美国证券交易委员会(SEC)提交的文件中,负责管理美国威斯康星州信托基金的政府实体披露,其持有贝莱德IBIT超过240万股,以及超过100万股灰度GBTC,价值分别约为1亿美元和6400万美元。该文件表明,美国威斯康星州退休系统可能通过这两家资产管理公司进行加密投资。
  • Coinbase:故障现已完全排除

    加密货币交易所Coinbase表示,故障现已完全排除。
  • IOSG Weekly Brief|从AI x Web3技术堆栈展开infra新叙事 #219

    最近大型语言模型(LLMs)的迅猛发展引发了人们对利用人工智能(AI)改造各行业的兴趣。区块链行业也未能幸免,AI x Crypto 叙事的出现使其备受瞩目。本文探讨了融合AI和加密的三种主要方式,并探讨了区块链技术在解决AI行业问题上的独特机遇。
  • ABCDE:从一级市场视角看待AI+Crypto

    时隔ChatGPT发布一年多,最近市场上关于AI+Crpyo的讨论再次热闹起来,AI被视作24–25年牛市一个最为重要的赛道之一,就连V神本人都发文《The promise and challenges of crypto + AI applications》(Crypto+AI 应用前景和挑战)探讨未来AI+Cryto可能的探索方向。
  • Cointime 12月5日晚间要闻速递

    1.OpenSea:正在与Thirdweb联系,以了解部分NFT藏品的安全漏洞
  • 生成式AI基础设施公链BP-FLAC完成1000万美元融资,亚马逊等参投

    11月20日消息,生成式AI基础设施公链BP-FLAC宣布完成1000万美元融资,Eureka Partners、Westlabs、Mybitdata Ltd.、Decentra Labs、科技巨头亚马逊和NVIDIA,以及中东家族办公室Alkhabeer Fund参投。该公司主要依靠全球GPU节点提供算力分配,以用于训练AI,同时利用零知识算法解决AI训练中的数据隐私问题,并为提供算力支持的用户提供代币奖励,新资金将用于该公司全球拓展并构建GPU算力智能分配技术。