Binance Labs has invested millions of dollars in blockchain cybersecurity startup CertiK, which secures smart contract and blockchain platforms through a formal verification process. “CertiK mathematically validates the security of smart contracts, which is a critical pain point we are facing in the blockchain ecosystem, bypassing the limitations of manual detection," Binance Labs CEO Ella Zhang said.