We would like to announce that the SmartPool team, led by Loi Luu and Yaron Velner, both security experts on smart contracts, will be doing a security audit of Digix Core Contracts.
Loi Luu has published several research papers about cryptocurrencies and blockchains in major security conferences. He created Oyente, an open-source security analysis tool for smart contracts that has found several bugs in real-world Ethereum contracts. Yaron Velner has also implemented several complicated smart contract systems, including the SmartPool contract. He has also found several bugs and won several bounties from the Ethereum bug bounties.
The audit will formally begin on May 21st 2017 for a period of 4–5 weeks.