# CertiK

> CertiK is a New York-based blockchain security company founded by computer scientists Zhong Shao and Ronghui Gu. It combines smart contract audits and formal verification with penetration testing, public risk intelligence, project-team verification and on-chain compliance tools for Web3 developers, exchanges and institutions.

- **Founded:** 2017
- **Headquarters:** New York, United States
- **Founders:** Zhong Shao (Co-founder; Yale computer science professor), Ronghui Gu (Co-founder and CEO; Columbia computer science professor)
- **Products:** Smart Contract Audit, Formal Verification, Skynet, Penetration Testing, KYC Verification
- **Notable:** Reported more than 6,200 audited projects on its audit product page in October 2026., Raised $88 million at a $2 billion valuation in April 2022, followed by $60 million additional investment., Reports formal-verification work on TON Masterchain, the Cosmos SDK Bank module and Ant Group HyperEnclave.

## Products & services

- **Smart Contract Audit** — Manual code review, automated analysis and severity-ranked reports; formal verification is an optional additional step.
- **Formal Verification** — Machine-checked proofs of specified properties for contracts, protocols and infrastructure.
- **Skynet** — Public security ratings, project profiles, monitoring, token risk signals, leaderboards and API integrations.
- **Penetration Testing** — Testing of applications, networks, cloud infrastructure, source code, SDKs and AI-integrated applications.
- **KYC Verification** — Identity and background verification for Web3 project teams.
- **SkyInsights** — On-chain entity attribution, address labels, transaction screening and risk analytics for compliance teams.
- **AI Auditor** — AI-assisted smart contract analysis using specialized scanners and an evolving exploit knowledge base.
- **Proof of Reserves Audit** — Assessment services concerning digital-asset reserve backing.
- **CertiK Validator Service** — Blockchain node validation service.

## Achievements

- Reported more than 6,200 audited projects on its audit product page in October 2026.
- Raised $88 million at a $2 billion valuation in April 2022, followed by $60 million additional investment.
- Reports formal-verification work on TON Masterchain, the Cosmos SDK Bank module and Ant Group HyperEnclave.
- Announced zkWasm formal-verification research accepted at ACM CCS 2026.

## Latest updates

- **2026-09** — September 30 report details a September 9 cooperation memorandum with the National Bank of the Kyrgyz Republic.
- **2026-09** — September 28 announcement describes machine-checked zkWasm verification and ACM CCS 2026 paper acceptance.
- **2026-09** — September 24 announcement confirms membership in LF Decentralized Trust.
- **2026-04** — April 7 announcement introduces public AI Auditor and open-source AI coding-agent integrations.

## Links

- Website: https://www.certik.com/
- LinkedIn: https://www.linkedin.com/company/certik
- Twitter/X: https://x.com/CertiK
- GitHub: https://github.com/CertiKProject
- YouTube: https://www.youtube.com/@CertiKCommunity
- Facebook: https://facebook.com/CertikOfficial/

---

Profile page: https://yespress.io/certik
Published by YesPress — https://yespress.io
Last updated: 2026-10-02