业界首屈一指的智能合约审计服务机构。
Solidified 创立于 2017 年初,已经服务过 Gnosis、Polymath、Bankera、Melonport 等项目,以及其他 50 多家公司以后,成为以太坊上高质量的技术审核领导者, 拥有超过 200 名 Solidity 专家、超过 8500 万欧元的担保。Solidified 拥有最大的验证审核员社区、专用 bug 赏金平台,并将技术尽职调查的所有阶段纳入防弹智能合约。
【UniTrade:合约已审计,具有限价单功能的DEX将于10月7日上线】10月3日,UniTrade官方发布Medium文章表示,UniTrade的智能合约已通过安全公司Solidified的审计,并预计将在10月7日正式上线其第一个完全通过合约审计、基于Uniswap的具有限价单功能的去中心化交易平台。
【二层扩容方案 Hermez 智能合约已开源,已完成一次代码审计】基于 ZK Rollup 概念的二层扩容网络 Hermez 宣布其智能合约已开源至 Github。另外 Hermez 还表示正在对代码进行几项审计,第一次审计来自于 Solidified,10 月已经有 3 名审计人员对 Hermez 的智能合约及其相关组件进行三周的审计,未发现任何严重或重大问题。Hermez 还在和独立审计人员 Adrià Massanet 合作,进行额外的代码审计,并与 Trail of Bits 团队合作,进行另一项全面的审计。
【动态 | Nexus Mutual披露两个缺陷,资金未受损且再进行审计】基于以太坊的互助保险平台 Nexus Mutual 披露了由安全研究人员 Mudit Gupta 和 Sam Sun 分别发现的两个缺陷,这两个漏洞未被利用而且保险基金没有任何损失。Mudit Gupta 发现的漏洞与治理相关,该问题可能会为特殊人群授予额外的特权,而 Sam Sun 发现的漏洞可能会让保险基金受到损失,在收到报告后的 4 小时内,他们立即停止了与 Uniswap 的交互。Nexus Mutual 为两名研究人员发现的漏洞提供奖金,分别是 2000 美元和 5000 美元,而且将发布漏洞奖金计划,更多细节之后会公布。Nexus Mutual 表示项目的代码在上线前就已经在 2019 年 4 月被 Solidified 团队审计过,而且他们对代码更新非常保守,目前仅有过三次小型升级,在本次的漏洞披露之前,他们已经安排了一次完全的审计,将于本月底开始,以检查相关升级细节,该流程耗时较短。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。