CertiK
CertiK is a New York-based Web3 security platform founded in 2017 by professors from Columbia and Yale.
Last updated September 11, 2026
AI crawler reads
2requests
1companies- Anthropic2
- Profile
- 2
- Controversies
- 0
- JSON · MD
- 0
- First read
- Nov 4, 2026
- Latest read
- Nov 4, 2026
From this site's server log
Overview
CertiK is a New York-based Web3 security platform founded in 2017 by professors from Columbia and Yale. It describes itself as the largest Web3 security platform, combining formal verification with audits and comprehensive security solutions. Its leadership includes co-founder Prof. Zhong Shao of Yale University and co-founder and CEO Ronghui Gu of Columbia University. The company offers security and compliance services including KYC verification and VARA compliance solutions.
History
CertiK was founded in 2017 by professors from Columbia and Yale and is a New York-based leader in Web3 security. It was born from groundbreaking research at Columbia and Yale. Its leadership includes co-founder Prof. Zhong Shao, the Thomas L. Kempner Professor and Chair of the Computer Science Department at Yale University, and co-founder and CEO Ronghui Gu, an Associate Professor of Computer Science at Columbia University. Shao and his Yale FLINT group developed the world's first hacker-resistant and concurrent operating system, CertiKOS. Gu was the primary designer and developer of CertiKOS and SeKVM.
Products and positioning
Largest Web3 security platform combining formal verification with audits and comprehensive security solutions.
KYC Verification
Privacy-first KYC verification for Web3, providing a rigorous, confidential vetting process aligned with ISO 27001 and SOC 2.
VARA Compliance Solutions
Comprehensive security and compliance services tailored to VARA requirements, including smart contract & L1 chain auditing and application penetration testing.
Recent events
Sources6 sources
Cite this profile: Cite the canonical profile. /brand-wiki/certik · Editorial policy · How profiles are compiled