The security company wants to build a formally secure blockchain for DeFi
Source: https://cointelegraph.com/news/certik-releases-blockchain-with-real-time-smart-contract-auditing
CertiK releases blockchain with real-time smart contract auditing
October 26, 2020
CoinTelegraph