CertiK

25 rolescertik.com

CertiK, founded in 2017 in New York by Ronghui Gu and Zhong Shao, professors at Columbia and Yale, is a leading Web3 security auditor specializing in formal verification, smart contract audits and on-chain monitoring. The company has audited thousands of projects including major layer-1 chains and DeFi protocols, securing significant value via manual review, automated tools and Skynet monitoring. Its suite includes audits, penetration testing, bug bounties and real-time alerts that help developers ship safer contracts. Headquartered in New York with hubs in Shenzhen, Hong Kong and Singapore, CertiK employs security engineers across many countries. The company emphasizes academic rigor, tooling innovation and helping developers understand risks early, combining research on verified systems with practical auditing at scale for everyday builders.