关于智能合约的首个代码审计平台。
关于智能合约的首个代码审计平台，针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描，源于 Securify、ChainCode Scanner 创始者，基于苏黎世联邦理工学院 ICE 中心的最新研究。
【动态 | 苏黎世联邦理工学院开发以太坊智能合约扫描仪】苏黎世联邦理工学院的研究人员开发了一个以太坊智能合约扫描仪，用以检查智能合约是否存在漏洞、bug、或是其他潜在问题。这些研究人员包括Petar Tsankov博士，Hubert Ritzdorf博士，Martin Vechev教授和Arthur Gervais博士，他们都在系统安全方面拥有丰富的行业和学术经验，并且努力改进区块链智能合约。最近，这几位研究人员成立了一家名为ChainSecurity的公司，旨在帮助开发人员和ICO项目方推出他们的代币。
【动态 | 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）}
【动态 | 以太坊君士坦丁堡升级将推迟至18日】据Coindesk报道，智能合约审计公司ChainSecurity周二表示，如果实施以太坊改进提案（EIP）1283，可能会为攻击者提供窃取用户资金的代码漏洞。因此，在电话会议上，以太坊开发人员、客户和其他运营网络项目的开发商同意至少暂时推迟硬分叉。该项目的核心开发人员表示，在硬分叉之前修复漏洞需要很长时间，因此硬分叉（升级）预计将在UTC时间1月17日04:00（北京时间18日中午12:00）左右执行。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。