
CertiK
ServicesLeading Web3 security firm using AI and formal verification for blockchain audits and monitoring
1 open position
Quick Facts
Largest Web3 security service provider specializing in smart contract audits, formal verification, and AI-driven blockchain security monitoring
2017
New York, New York
Smart Contract Audits, Skynet (real-time monitoring platform), Skynet Enterprise, DLT Solution, Security Scanning and Analysis, Penetration Testing, Bug Bounty, SkyTrace, Formal Verification, KYC
200-1000
About CertiK
CertiK provides blockchain security auditing, real-time monitoring via Skynet, and risk assessment for smart contracts, protocols, and Web3 apps, founded in 2018 by Yale and Columbia professors. It combines formal verification, AI-driven analysis, and on-chain intelligence, securing over $360 billion in assets for nearly 4,000 clients including Aave, Polygon, and Binance Smart Chain while detecting tens of thousands of vulnerabilities. As the largest provider holding over 65% of the global blockchain auditing market, CertiK supports enterprises transitioning to Web3 with institutional-grade tools and has earned recognition from tech giants like Apple and Samsung.