Back to Organizations
CertiK
CertiK is a leading blockchain and Web3 security auditor that provides smart contract auditing and a comprehensive suite of security tools for the crypto industry. Founded in late 2017 by professors from Columbia University and Yale University, CertiK has grown into the largest Web3 security service provider with headquarters in New York. The company’s services help blockchain projects, exchanges, and enterprises strengthen their security, and CertiK is trusted by major industry players worldwide (e.g. Binance, OKX, Polygon, etc.) to audit and monitor their systems.
New York, USA
Employees: 200
Description
CertiK specializes in blockchain cybersecurity, leveraging formal verification techniques and AI technology to secure smart contracts and blockchain protocols across the Web3 ecosystem. The company offers end-to-end security solutions including smart contract and blockchain audits, on-chain monitoring (through its Skynet platform), penetration testing, compliance/AML tools, and advisory services, covering the entire project lifecycle from development to post-deployment. One of the fastest-growing firms in the crypto security sector, CertiK has served nearly 4,000 clients and helped secure over $360 billion worth of digital assets by detecting tens of thousands of vulnerabilities in code. Its clients range from DeFi protocols and layer-1 blockchains to exchanges and wallets – notable examples include projects like Aave, Polygon, Binance Smart Chain, Terra, and more. Backed by top investors such as Sequoia Capital, Tiger Global, Coatue, and Goldman Sachs, CertiK has established itself as a market leader in blockchain security. The company’s mission is to “secure the Web3 world,” applying cutting-edge academic research to real-world blockchain applications to improve safety and trust in the crypto ecosystem.Grant Funding
VC Funding
None
2018
2020
2021
$0
$72M
Technology & Skills
FORENSICS
REVERSE ENGINEERING
WASM
ANOMALY DETECTION
CTF
VIRTUAL MACHINE
SANDBOX
SYSTEM SOFTWARE
VULNERABILITY DETECTION
MULTILINGUALISM
GAMEFI
GAMING
TOKEN ECONOMY
LAYER1
LAYER2
ECOSYSTEM GROWTH
LAUNCHPAD
STARK
BULLETPROOF
CIRCUIT DESIGN
ELLIPTIC CURVE CRYPTOGRAPHY
ZK CIRCUIT
ZK-STARK
SECURITY TOOLING
STATIC ANALYSIS
COMPILER
LLVM
SEMANTIC ANALYSIS
PARSING
LEXICAL ANALYSIS
AST
TYPE SYSTEM
SMT SOLVER
SPREADSHEET
SHIPPING
EVENT COORDINATION
OFFICE ADMINISTRATION
INVENTORY
RECEIVING
INVENTORY MANAGEMENT
GOOGLE WORKSPACE
SHIPMENT
HELP DESK
VENDOR MANAGEMENT
MANDARIN
SLACK
ENGLISH
IT LOGISTICS
DEVICE TRACKING
THREAT MODELING
PENETRATION TESTING
SECURITY AUDITING
INTEGER OVERFLOW
PROTOCOL-ANALYSIS
PROPERTY-BASED TESTING
L3
SMART CONTRACT
RUST
GOLANG
SOLIDITY
DAPP
CODE REVIEW
L1
L2
WEB3 PROTOCOL
GAS ANALYSIS
ATTACK SURFACE ANALYSIS
REENTRANCY
SANDWICH ATTACK
OVERFLOW
UNDERFLOW
NODE
SCRIPTING
COSMOS SDK
MEMPOOL
COMETBFT
HYPERLEDGER FABRIC
BESU
CONSENSUS
BLOCKCHAIN
PYTHON
DOCKER
BASH
VALIDATOR
GETH