CertiK, Inc.

About CertiK, Inc.

CertiK is a blockchain security firm that performs formal verification audits of smart contracts and decentralized protocols. Its offerings include static analysis, penetration testing, on-chain monitoring via the Skynet platform, KYC verification and incident response. Founded in 2018 by Yale and Columbia professors, the company secures DeFi, NFT, layer-1 and bridge projects, identifying vulnerabilities before deployment and providing real-time threat detection after launch.