Blockchain, Qtum, Deepsea, Formal Verification.
framework that aims to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant, which the Qtum Foundation has invested in. CertiK is being incubated by Binance Labs and has many strategic partners including Bitmain, DHVC, Draper Dragon, and FBG Capital.