CertiK
Web3 security company offering smart contract audits, formal verification, on-chain monitoring and the Skynet rating.
No project pays to be listed. How we rank
CertiK key facts
| Category | Security and compliance |
|---|---|
| Platforms | Web |
| Launched | 2017 |
| Company | New York-based; founded by professors from Columbia and Yale |
What is CertiK?
CertiK is a New York-based Web3 security company founded in 2017 by professors from Columbia and Yale. It sells smart contract audits, formal verification, on-chain monitoring, AML and incident response, and publishes Skynet security ratings. Its homepage states 5,500 clients served.
CertiK pros and cons
- 5,500 clients served, per its homepage
- Offers formal verification as well as manual audits
- Skynet ratings are public for projects it covers
- No published audit pricing; quotes on request
- A Skynet listing is not the same as a full audit, so read the report itself
CertiK FAQ
What is CertiK?
CertiK is a New York-based Web3 security company founded in 2017 by professors from Columbia and Yale. It sells smart contract audits, formal verification, on-chain monitoring, AML and incident response, and publishes Skynet security ratings. Its homepage states 5,500 clients served.
Sources
How this page works
Sources: CertiK: official site, CertiK: About. Data as of Sep 26, 2026.
Not affiliated with any project listed. Educational content, not financial advice.