Binance Labs Blockchain Incubator has invested in a project to audit CertiK smart contracts. The exact amount of investment from the division of the leading bitcoin exchange is unknown. According to CoinDesk, we are talking about several million dollars.
Launched last year, startup CertiK is testing software codes for blockchain projects for vulnerabilities. To do this, the CertiK team uses a “multi-level decomposition approach, certified libraries of decentralized applications and“ smart labeling ”.”