CertiK is a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free.

CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified DApp libraries, and smart labelling.