关于智能合约的首个代码审计平台。
关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最新研究。
【动态 | ChainSecurity 发布以太坊智能合约漏洞检测工具 Securify 2.0 版本】由区块链安全公司 ChainSecurity 开发的以太坊智能合约安全扫描工具 Securify 正式发布 2.0 版本,以太坊基金会也参与了资助该项目的研发,2.0 版本将继续保持免费和开源,已发布在 GitHub 中。Securify 2.0 版本将进一步提升智能合约的漏洞检测工具的优势,目前支持以太坊平台智能合约编程语言 Solidity 0.5.* 和 0.6.* 版本,并提供 37 种按严重程度分类的漏洞检测能力。此前报道,ChainSecurity 团队宣布加入普华永道瑞士(PwC Switzerland),加速普华永道瑞士的区块链审计业务,如智能合约、区块链平台的技术审计,以及为投资加密货币的客户提供风险保障服务。
【动态 | 区块链公司ChainSecurity AG加入普华永道瑞士】ETH Zurich子公司ChainSecurity AG的团队已加入普华永道瑞士(PWC Switzerland)。通过此次收购,普华永道瑞士成为区块链智能合约保证的全球市场提供商,同时ChainSecurity AG团队现在可以专注于大型、受监管的公司。据了解,ChainSecurity AG此前致力于提供智能合约和区块链审计服务。(Investment Europe)}
【动态 | 苏黎世联邦理工学院开发以太坊智能合约扫描仪】苏黎世联邦理工学院的研究人员开发了一个以太坊智能合约扫描仪,用以检查智能合约是否存在漏洞、bug、或是其他潜在问题。这些研究人员包括Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev教授和Arthur Gervais博士,他们都在系统安全方面拥有丰富的行业和学术经验,并且努力改进区块链智能合约。最近,这几位研究人员成立了一家名为ChainSecurity的公司,旨在帮助开发人员和ICO项目方推出他们的代币。
【动态 | 以太坊君士坦丁堡升级将推迟至18日】据Coindesk报道,智能合约审计公司ChainSecurity周二表示,如果实施以太坊改进提案(EIP)1283,可能会为攻击者提供窃取用户资金的代码漏洞。因此,在电话会议上,以太坊开发人员、客户和其他运营网络项目的开发商同意至少暂时推迟硬分叉。该项目的核心开发人员表示,在硬分叉之前修复漏洞需要很长时间,因此硬分叉(升级)预计将在UTC时间1月17日04:00(北京时间18日中午12:00)左右执行。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。