It is estimated that over 1 billion USD worth of crypto assets will be lost by the end of 2018 due to crypto hacks. This figure is more than three times higher than last year’s.
As a first step, ChainSecurity plans to provide DigiFinex with preferential access to its proprietary smart contract certification and monitoring tools. In the future, the two partners also intend to work closely to bring new solutions to further mitigate the security risks of users.
ChainSecurity is a global leader in smart contract security using automated reasoning. ChainSecurity’s portfolio of products includes tools for automatically certifying smart contracts with respect to a high-level specification and others that allow for scalable monitoring of smart contracts to identify hacks after deployment. The research behind these tools is carried out in collaboration with the ICE center at ETH Zurich, home of the top Computer Science department in Europe.
Learn more about ChainSecurity here
About DigiFinex
DigiFinex is a world leading digital assets trading platform, focusing on cryptocurrencies like Bitcoin, Ethereum, Litecoin etc. It was founded by blockchain enthusiasts and the core team come from well-known technology companies such as Xunlei, Tencent, Baidu and HP. DigiFinex is committed to provide blockchain users safe, secure and convenient investment channels.
Learn more about the DigiFinex project at https://www.digifinex.com/