Back to Organizations
CertiK
CertiK is a Web3 security platform providing blockchain and smart-contract audits, formal verification, compliance and risk intelligence, monitoring, and validator services.
New York, New York, United States
Maintainer signals as of Sep 2, 2026
Description
CertiK is a New York-based Web3 security company founded in December 2017 by professors from Yale and Columbia. Its current offerings include smart-contract and blockchain audits, formal verification, penetration testing, DLT security, KYC and regulatory compliance services, SkyInsights risk analytics, Skynet security intelligence, validator operations, AI Auditor, CertiK Hunt, and Skylens.Historical Grant Funding
VC Funding
None
2018
2020
2021
$0
$213M
Technology & Skills
SECURITY ANALYSIS
RUST
PENETRATION TESTING
DEDUCTIVE VERIFICATION
SAT
WALLET SCREENING
REPORT WRITING
TOOLING
NETWORK ANOMALY DETECTION
COMPLIANCE AUDIT
HUMAN-IN-THE-LOOP REVIEW
RELATIONSHIP BUILDING
REPORTING
CONSENSUS
REGULATORY RESEARCH
THREAT MODELING
PARTNERSHIP MANAGEMENT
OVERFLOW
GETH
WEB3
SMART CONTRACT SECURITY
CODE ANALYSIS
SECURITY RESEARCH
OCAML
MARKET RESEARCH
CFT
L3
CODE REVIEW
COMPETITIVE ANALYSIS
SECURITY AUDITING
SYSTEM SOFTWARE
ENGAGEMENT
CONTENT
UNDERFLOW
WEB3 PROTOCOL
HASKELL
FRAUD DETECTION
DEEP LEARNING
INTERVIEW
PYTHON
DATA FLOW ANALYSIS
LICENSING
MATHEMATICS
AUTOMATED TESTING
TYPESCRIPT
SOURCE CODE REVIEW
PROJECT MANAGEMENT
RESEARCH
ACCOUNT MANAGEMENT
CLINE
DATA STRUCTURE
WINDSURF
POLICY REVIEW
PIPELINE GENERATION
LLVM
CHATGPT
PUBLISHING
VALIDATOR
TRANSACTION MONITORING
MOBILE APP ANALYSIS
CHECKLIST
BESU
SECURITY AUDIT
GAS ANALYSIS
DEFI
INVESTIGATION
ENTERPRISE SALES
GEMINI
COSMOS
SMART CONTRACT AUDITING
COMPILER
SLACK
SOCIAL MEDIA
MARKET ANALYSIS
FINTECH
BROWSER EXTENSION
EVM
BLOCKCHAIN PROTOCOL
BLOCKCHAIN ANALYTICS
SOLANA
REGULATORY TRACKING
DAPP
WEB APPLICATION SECURITY
GAP ANALYSIS
LEXICAL ANALYSIS
CLIENT COMMUNICATION
CVE
MARKETING
LINKEDIN
OUTBOUND OUTREACH
PUBLIC SPEAKING
PROGRAMMING LANGUAGE
WEB APPLICATION
BUSINESS DEVELOPMENT
STATIC ANALYSIS
REVERSE ENGINEERING
SOLIDITY
SMT SOLVER
SMART CONTRACT AUDIT
KYC
REGULATORY ANALYSIS
NLP
MARKET INTELLIGENCE
WRITING
STAKEHOLDER ENGAGEMENT
MOVE
AI
COMMUNICATION
GCP
DIGITAL ASSET
FORECASTING
CUSTOMER SERVICE
EVENT COORDINATION
SMT
WEB3 SECURITY
DEVICE TRACKING
KYT
CONSULTATION RESPONSE DRAFTING
COSMOS SDK
TRANSFORMER
CI/CD
VIRTUAL ASSET COMPLIANCE
OFFICE ADMINISTRATION
WASM
TWITTER
AUTOMATION
L1
OPERATIONS
LAW ENFORCEMENT ENGAGEMENT
MALWARE ANALYSIS
CONSULTATIVE SELLING
AUDIT
REENTRANCY
DOCKER
CAMS
SALES
ON CHAIN ANALYSIS
INTERVIEWING
JAVASCRIPT
REMEDIATION TRACKING
VULNERABILITY DETECTION
TENSORFLOW
TYPE SYSTEM
VENDOR MANAGEMENT
CTF
CYBERSECURITY
MEMPOOL
CLAUDE
SANCTION
BASH
FINANCIAL REGULATION
ANALYSIS
RECEIVING
SPREADSHEET
PARTNERSHIP
NODE.JS
ALGORITHM
RESEARCH SYNTHESIS
PROPERTY-BASED TESTING
AI AGENT
LEAD GENERATION
PLANNING
GAP ASSESSMENT
FACEBOOK
OSINT
C
B2B SALES
DOCUMENTATION
TELEGRAM
AZURE
SANDBOX
IDENTITY VERIFICATION
SANDWICH ATTACK
ABSTRACT INTERPRETATION
SCRIPTING
SEMANTIC ANALYSIS
EXPLOIT DEVELOPMENT
MATHEMATICAL LOGIC
L2
ENGLISH
DIGITAL ASSETS
AST
WALLET
ATTACK MODEL
ATTACK SURFACE ANALYSIS
THREAT DETECTION
FINANCIAL CRIME
POLICY ANALYSIS
GOLANG
HELP DESK
AML
SDK
SHIPPING
GO
AUTOMATA THEORY
FORMAL VERIFICATION
SECURITY
VIRTUAL MACHINE
CLOUD SECURITY
GROWTH
PROSPECTING
REGULATORY REPORTING
NETWORK PENETRATION
REGULATORY COMPLIANCE
NEGOTIATION
FINANCIAL COMPLIANCE
VULNERABILITY ANALYSIS
HYPERLEDGER FABRIC
LLM
DIGITAL ASSET REGULATION
BLOCKCHAIN
VASP LICENSING
SMART CONTRACT
DISTRIBUTION
VERIFICATION
RISK ASSESSMENT
B2B
AWS
INVENTORY MANAGEMENT
PARSING
CRM
VULNERABILITY ASSESSMENT
MOBILE APPLICATION
MODEL CHECKING
COMPLIANCE
MACHINE-LEARNING
NODE
REGULATORY SUBMISSION
IT LOGISTICS
PYTORCH
VULNERABILITY DISCOVERY
AGENT
BUG BOUNTY
CURSOR
GOOGLE WORKSPACE
COMETBFT
TOKENOMICS
CRYPTOGRAPHY
ON-CHAIN ANALYTICS
MANDARIN
PROSPECTING
PENETRATION TESTING
FINTECH
ENGLISH
BUSINESS DEVELOPMENT
BLOCKCHAIN
AUDITING
SALES
CODE REVIEW
DEFI
WEB3
SAAS
SOURCE TRACEABILITY
AI OUTPUT REVIEW
VIETNAMESE
EVIDENCE REVIEW
TOKENOMICS
STRUCTURED WRITING
EVM
SMART CONTRACT
NEGOTIATION
CYBERSECURITY
RISK ASSESSMENT