Founding Team

Ronghui Gu
CEO and co-founder
Zhong Shao
Partnered year

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.

Wing Logo
Thanks for signing up!
Form error, try again.