以太坊智能合约

据链闻消息，由区块链安全公司ChainSecurity开发的以太坊智能合约安全扫描工具Securify正式发布2.0版本，以太坊基金会也参与了资助该项目的研发，Securify 2.0版本目前支持以太坊平台智能合约编程语言Solidity 0.5.*和 0.6.*版本。此前消息，ChainSecurity团队宣布加入普华永道瑞士（PwC Switzerland），加速普华永道瑞士的区块链审计业务，如智能合约、区块链平台的技术审计，以及为投资加密货币的客户提供风险保障服务。

“虽然程序漏洞的检测和验证已经引起业界的高度重视，但在区块链行业内，安全问题仍旧频繁发生。如果只检测已经存在的漏洞的话，永远存在被黑客抢先一步的风险。既然这样，我们有没有办法直接开发出一个没有程序漏洞的、可以完全被信赖的智能合约呢？”