Certik joined the Binance Labs family, receiving “several million” in funding from the leading exchange. Certik is a startup dedicated to finding formal mathematical flaws in smart contracts. The leading exchange announced the partnership recently:
https://twitter.com/BinanceLabs/status/1049469900048150528
Binance Labs is an incubator for some of the best cryptocurrency projects. The Certik team consists of Yale and Columbia University, along with engineers from Google (NASDAQ:GOOGL) and Facebook (NASDAQ:FB). The products of Certik will be centered around the formal verification of smart contracts, transforming code into mathematical expressions and finding proof of its validity. The Certic team is also behind the C...
This article appeared first on Cryptovest