Cointime

扫码下载App
iOS & Android

MetaTrust 的 AI 之眼:链上安全扫描开启上帝视角

项目方

我们很高兴地宣布,MetaTrust Labs已经开发出一款创新的基于GPT的审计引擎,专门用于分析逻辑智能合约的漏洞,这些漏洞以前被认为无法由机器审计,正如ICSE'23 Web3Bugs论文所述。

与其他仅依靠GPT进行扫描的产品不同,导致误报率较高的情况普遍存在,我们相信当GPT与MetaScan这样强大的安全分析工具相结合时,GPT的真正潜力才能得到充分发挥。具体来说,虽然ChatGPT擅长阅读代码并识别其属性,但在有效分析关键变量的控制和数据依赖性方面存在困难,常常将已修复的代码错误地识别为有漏洞。另一方面,静态分析可能不擅长智能地识别代码情景或属性,但它提供准确的依赖分析和形式验证。为了发挥GPT和静态分析的优势,我们设计了一种新颖的基于GPT的扫描引擎架构,该引擎已经无缝集成到MetaTrust的MetaScan服务中,可前往MetaScan免费试用。

我们已经在各种Web3Bugs上对这个AI扫描引擎进行了测试。其中一个例子是https://github.com/metatrust-demo/LogicBug-Prepo,该合约在Code4rena上进行了审计。如下面的截图所示,我们的引擎成功地检测到了一个高风险的逻辑漏洞,允许首次存款者破坏份额的铸造过程。

另一个例子来自于一个过去的攻击事件,导致名为ATK的BSC代币在2022年10月12日遭受了12.7万美元的损失。通过使用MetaScan扫描这个有漏洞的合约,我们的AI引擎能够有效地找出以下有漏洞的函数:

人工智能在区块链安全领域的应用具有极大潜力,结合GPT和静态分析等AI技术,能够检测出人工审计员难以找到的潜在漏洞。我们在不断改进我们的AI扫描引擎以提供最佳结果,努力建立一个可靠的AI系统来保护链上资产和项目安全,MetaScan的AI扫描引擎正是实现这个目标的重要一步。

MetaScan现已开放免费试用,立即开启你的安全护盾吧

Follow Us

Website: metatrust.io

Twitter: @MetaTrustLabs

评论

所有评论

推荐阅读

  • 美SEC:流动性质押活动不被视为证券

    据市场消息,美国证券交易委员会(SEC)发布关于流动性质押活动的声明,称流动性押活动不被视为证券。

  • Coinbase将上线Succinct(PROVE)

    Coinbase交易所宣布将支持以太坊网络上的Succinct(PROVE)代币。该代币将以"实验性"标签推出,PROVE-USD交易对将在满足流动性条件后分阶段开放交易。

  • 京东币链:正在进行香港稳定币牌照申请的准备工作

    市场传闻称,京东等或退出香港稳定币业务。对此,京东币链表示,已关注到市场上的不实报道和谣言,京东币链特此回应,正在进行香港稳定币牌照申请的准备工作。(每经)

  • 美CFTC考虑允许期货交易所开展现货加密货币交易

    美国商品期货交易委员会(CFTC)表示,正在考虑允许在已注册的期货交易所开展现货加密货币交易,并寻求利益相关方的意见,以落实总统特朗普提出的加密货币发展目标。CFTC 代理主席 Caroline Pham 于周一发表声明称,该机构希望利益相关方协助其就如何在 CFTC 注册的期货交易所(也称为指定合约市场,DCM)上挂牌现货加密资产提供监管明确性。

  • 企业加密资产储备突破千亿美元大关

    随着企业大军涌入加密货币市场,银河研究最新报告显示:当前数字资产储备公司的比特币持仓达930亿美元,占流通总量近4%;以太坊持仓41亿美元,占比1%;资产负债表新增SOL、XRP、BNB等10种新兴加密货币;其中Strategy公司以718亿美元比特币持仓(含280亿美元浮盈)稳居榜首。

  • 巴西将举行听证会探讨建立战略性比特币储备

    巴西计划于2025年8月20日召开公开听证会,讨论建立战略性比特币储备事宜。

  • ETH跌破3600美元

    行情显示,ETH跌破3600美元,现报3597.36美元,24小时跌幅达到1.43%,行情波动较大,请做好风险控制。

  • BNB跌破750美元

    行情显示,BNB跌破750美元,现报749.9美元,24小时跌幅达到1.94%,行情波动较大,请做好风险控制。

  • CEA Industries 完成 5 亿美元私募并将更名为 BNB Network Company,YZi Labs 领投

    CEA Industries(纳斯达克:VAPE)今日宣布完成 5 亿美元私募融资,并将更名为"BNB Network Company",股票代码将于 8 月 6 日变更为"BNC"。该公司计划将所得资金用于购买 BNB,作为其主要储备资产。 此次私募由 YZi Labs 领投,吸引了包括 Pantera Capital、Blockchain.com 等超过 140 家机构参与。同时,公司任命前 Galaxy Digital 联合创始人 David Namdar 为首席执行官,前加州公务员退休基金(CalPERS)首席信息官 Russell Read 担任首席信息官。

  • Web3数据和AI公司Validation Cloud完成1000万美元新一轮融资

    Web3数据和AI公司Validation Cloud宣布从True Global Ventures获得1000万美元融资,该公司计划利用这笔资金扩展其AI产品,实现对Web3数据的无缝访问。 据介绍,该公司的产品平台由三个部分组成:质押、节点API以及数据和AI。在质押方面,Validation Cloud的质押资产已超过10亿美元。Validation Cloud的一些客户包括 Chainlink、Aptos、Consensys、Stellar和Hedera。