Cointime

扫码下载App
iOS & Android

MetaScan v1.6:Web3开发者的最佳AI安全伙伴

项目方

MetaScan v1.6版本已发布,最新版本集成了AI扫描引擎和MetaStack框架,旨在提升智能合约的安全性分析。

AI扫描引擎

MetaTrust Labs开发了一款基于人工智能的智能合约审计引擎,不同于其他产品只使用GPT模型的方法,而是将GPT和静态分析技术巧妙地结合起来。GPT在识别代码属性方面有着出色的表现,但在依赖分析方面却有所不足。静态分析则能够提供精确的依赖分析,但缺乏GPT对代码的理解能力。

这样的混合引擎充分发挥了两种技术的优势,该引擎目前已经被集成到MetaTrust Labs的MetaScan服务中。根据ICSE’23 Web3漏洞论文的研究表明,该引擎能够分析出以前机器无法审计的逻辑漏洞,在对Web3漏洞合约进行测试时,该引擎发现了影响份额铸造和过去黑客攻击的漏洞。我们将不断完善该引擎,以提供最佳结果。

MetaScan现已开放免费试用,立即体验

MetaStack集成

MetaScan与MetaStack框架的初步集成可以让开发者对项目的源代码架构有了更清晰的视角。通过这种集成,IP分析工具现在可以识别和理解您项目所使用的强大智能合约库和模式,以及它们如何被相关方使用。这些数据对于构建项目的能力和相互依赖关系的全面图景非常重要。

通过审查这些信息,MetaScan可以给出建议,帮助开发者优化项目的安全状态,例如推荐替代库或使用模板的最佳实践方法,这样的集成也是向开发者提供设计更安全的Web3项目所需工具的重要一步。

这些创新让MetaScan能够为Web3项目提供最全面的安全扫描解决方案,以及利用最先进技术帮助开发者实现这一目标。

随着MetaScan v1.6的发布,MetaTrust Labs继续致力于为Web3开发者提供一流的AI安全解决方案。通过将其专有的AI审计引擎和MetaStack框架整合到MetaScan中,MetaTrust为开发者提供了对智能合约风险和架构更精准的分析。这些增强功能为开发者提供了切实可行的建议和可见性,以加强其项目的安全性。 

通过不断创新,MetaTrust Labs将继续通过整合新的专有技术来增强MetaScan,为开发者提供最全面、专注于智能合约安全的AI工具。

Follow Us

Website: metatrust.io

Twitter: @MetaTrustLabs

评论

所有评论

推荐阅读

  • 英伟达市值不到两个月蒸发1万亿美元 估值回落至人工智能热潮掀起之前的水平

    7月8日,在不到两个月的时间里市值蒸发约1万亿美元后,英伟达股票触及自人工智能热潮掀起并推动该股飙升以来的最低廉水平。这家芯片制造商的图形处理器(GPU)仍然主导着人工智能数据中心市场。但其股价自5月14日创下历史新高以来已下跌16%,投资者纷纷调整人工智能交易策略,卖出英伟达,转而投资其他半导体制造商,尤其是内存市场的制造商。数据显示,抛售潮导致英伟达基于未来12个月预期盈利的市盈率为18倍。上一次触及如此低廉的水平还是在2019年初。更直观地了解其下跌程度之深,可以从与基准股指的比较看出,标普500指数的预期市盈率为20倍,纳斯达克100指数的预期市盈率接近23倍。

  • 博通盘前直线拉升转涨

    7月8日,博通美股盘前直线拉升转涨,此前一度跌近3%。消息面上,苹果与博通新签订多年期协议,该协议预计将超过300亿美元,生产超过150亿颗美国制造的芯片。

  • 存储股盘前集体下挫,闪迪跌超6%,美光科技跌超5%

    7月8日,美股存储芯片股盘前集体下跌,其中,闪迪跌超6%,美光科技跌超5%,西部数据、慧荣科技、希捷科技跌超4%((下图由扣子APP生成)。消息面上,有媒体称苹果正在测试长鑫存储生产的内存芯片,计划将其用于在华销售的设备。苹果还在美国科技企业中牵头游说华盛顿,争取允许更广泛地使用长鑫存储的产品,但该公司目前尚未承诺将这些芯片用于商业量产。

  • 苹果与博通新签订多年期协议 预计将超300亿美元

    7月8日,苹果:公司与博通新签订多年期协议,该协议预计将超过300亿美元,生产超过150亿颗美国制造的芯片。新的多年期协议还包括对科罗拉多州柯林斯堡设施的扩建。博通将投资15亿美元扩建柯林斯堡的设施。

  • 三菱日联:不应过分解读美联储会议纪要细节

    7月8日讯,三菱日联分析师Derek Halpenny表示,今晚美联储将公布6月FOMC会议纪要,但建议不要对会议纪要细节过度解读,因为6月会议前的背景与现在已有很大不同。点阵图很可能是在会议前一周(截至6月12日当周)提交的,如果现在召开会议,FOMC点阵图不会显示有九人支持加息。就这一点而言,隔夜指数互换曲线对加息的定价似乎偏高。目前7月29日会议加息的可能性定价仍接近30%,考虑到劳动力市场数据已经走弱,这一定价看起来过高。截至2027年3月,市场定价了近40个基点的加息,但我们认为届时降息的可能性大于加息。(金十)

  • 多家基石投资人、国资机构及战略投资者集体表态:长期看好MiniMax

    7月8日,在MiniMax基石投资者解禁窗口临近之际,超八成 Pre IPO 及基石股东明确表态长期看好并将继续持有。表态机构包括 Aspex、博裕、IDG、Janchor、Martis Fund等基石投资人,国寿投资、徐汇资本等国资机构,以及阿里、米哈游、云启、明势等早期股东,涵盖产业战略投资者、国际长线基金、国有资本及地方产业投资平台、市场化专业投资机构和公募基金等多元类型。8日下午,MiniMax盘中快速拉升涨近20%,最高报389.8港元。

  • 以色列正在为可能与伊朗恢复战斗做准备

    7月8日,据以色列媒体Walla,以军与美国中央司令部就伊朗问题举行会议,以色列正在为可能与伊朗恢复战斗做准备。

  • 新罕布什尔州将就1亿美元比特币支持债券提案举行公开听证会

    据The Block报道,美国新罕布什尔州官员将于周三就一项发行最高1亿美元比特币支持债券的提案举行公开听证会。该提案最终仍需获得州长凯利·阿约特(Kelly Ayotte)及执行委员会的批准方可落地。

  • Kraken过去24小时流出2108枚BTC

    据数据监测,Kraken交易所出现大额资金流动。过去24小时,该交易所钱包流出2108枚BTC,价值2.11亿美元,当前其BTC钱包余额为14.59万枚BTC。

  • 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。