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
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
OFFICE ADMINISTRATION
INVENTORY
RECEIVING
INVENTORY MANAGEMENT
SHIPMENT
HELP DESK
VENDOR MANAGEMENT
MANDARIN
SLACK
IT LOGISTICS
DEVICE TRACKING
THREAT MODELING
PENETRATION TESTING
SECURITY AUDITING
INTEGER OVERFLOW
PROTOCOL-ANALYSIS
PROPERTY-BASED TESTING
L3
SMART CONTRACT
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
DOCKER
BASH
VALIDATOR
GETH
EXCEL VBA
ON-CHAIN ANALYSIS
VALUATION
DATABRICKS
DCF
STAKING
R
FINANCIAL MODELING
DASHBOARD
FORECASTING
DATA CLEANING
BI
TABLEAU
AUTOMATION
TOKENOMICS
PYTHON
DEFI
BLOCKCHAIN
STATISTICS
TIME SERIES
SQL
WACC
FCFF
VERIFICATION
WALLET INTEGRATION
FORMAL METHODS
SMT
AUTOMATED REASONING
EVM
MICROSERVICE
WEB3.JS
FORMAL VERIFICATION
S3
JAVASCRIPT
TYPESCRIPT
WEB3
API
AWS
REACT
DATA VISUALIZATION
EC2
PROGRAMMING LANGUAGE THEORY
SYMBOLIC MODEL CHECKING
SAT
ABSTRACT INTERPRETATION
DATA FLOW ANALYSIS
DEDUCTIVE VERIFICATION
SEM
CONTENT STRATEGY
PERSONA
CONTENT MARKETING
CONTENT LIFECYCLE
CONTENT PLANNING
SEO
TECHNICAL WRITING
EDITING
NFT
COMMUNICATION
ANALYSIS
PROJECT MANAGEMENT
RESEARCH
CRYPTOCURRENCY
COPYWRITING
PERSONA MAPPING