CertiK

CertiK is a blockchain security firm founded in 2017 by two computer science professors from Yale and Columbia Universities. The company's central proposition is the application of formal verification - the mathematical proof of program correctness - to smart contracts and blockchain protocols, a technique it has moved from academic settings into commercial practice. Its proprietary formal verification engine is complemented by AI-powered security tools and expert human audits.

Its technical work spans formal verification, smart contract auditing, penetration testing, security monitoring and KYC verification. Among its products is Skynet, a security monitoring service for blockchain and Web3 projects, alongside penetration testing and know-your-customer verification services. The company reports more than 180,000 vulnerabilities detected and over $600 billion in digital assets secured, with more than 5,000 enterprise clients.

Headquartered in New York, CertiK operates across the blockchain, Web3, cryptocurrency and fintech sectors. Its client list includes Binance, Ripple, Tether, Samsung and Aptos, and it counts Sequoia, Coatue, Goldman Sachs, Tiger Global and SoftBank among its investors. The company's valuation exceeds $2 billion.