CertiK (CTK) is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. The CertiK token sale period isn’t set yet.
On August 9, CertiK announced a partnership with KuCoin, an international blockchain assets exchange.
“Thanks KuCoin for trusting CertiK, and invites us to be the security partner on its exchange platform. CertiK will leverage the leading formal verification and deep spec solutions to guaranteed a more reliable trading environment”, – writes the CertiK team in Twitter.