Back to Organizations
CertiK
CertiK secures Web3 projects by providing blockchain security audits, formal verification, and AI-powered monitoring services.
1001 Avenue of the Americas, Suite1801, New York, NY 10018, United States
Description
CertiK helps blockchain developers secure Web3 projects by providing comprehensive security audits, formal verification, and AI-powered monitoring. Users can audit smart contracts, monitor on-chain activity, and ensure regulatory compliance. CertiK combines academic research with enterprise-grade security solutions.Grant Funding
VC Funding
None
2018
2020
2021
$0
$213M
Technology & Skills
COMPETITIVE ANALYSIS
MARKET ANALYSIS
MODELING
MACHINE LEARNING
LEAD GENERATION
INSIGHTS
ENGAGEMENT
OSINT
AUTOMATA THEORY
MYSQL
CONFERENCES
KOREAN
BESU
VULNERABILITY
PENETRATION TESTING
SQL
GROWTH
MARKETING
POSTGRESQL
SMART CONTRACT AUDIT
RECEIVING
ABSTRACT INTERPRETATION
PENETRATION
L1
RELATIONSHIP MANAGEMENT
IDENTITY VERIFICATION
ZOOM
IT SUPPORT
ETL
ARCHITECTURE
LLM
COMMUNITY
SYSTEM ADMINISTRATION
AUTOMATED TESTING
STAKEHOLDER ENGAGEMENT
SHIPPING
GEMINI
RELATIONSHIP BUILDING
TRENDS
FINTECH
POLICY WRITING
REENTRANCY
DEDUCTIVE VERIFICATION
HR
UNDERFLOW
PUBLIC SPEAKING
STAKEHOLDERS
IOS
STATISTICS
PARSING
L2
SECURITY AUDITING
GRAPH
VIRTUAL MACHINE
FACEBOOK
AMA
VALIDATOR
DISTRIBUTION
INTEGER OVERFLOW
MACOS
EDA
INVENTORY MANAGEMENT
COMPENSATION
SANDBOX
ENGLISH
SLACK
JAVA
LLVM
VULNERABILITY ASSESSMENT
OVERFLOW
SPARK
CFT
DATA FLOW ANALYSIS
TOOLS
AST
NODE.JS
PARTNERSHIP MANAGEMENT
COMMUNICATION
CRYPTOGRAPHY
SMT
INTERVIEWING
REGULATION
CONFERENCING
PUBLISHING
CLUSTERING
CONTENT EDITING
PROPERTY-BASED TESTING
CLAUDE
PRINTER SUPPORT
ABSTRACT ALGEBRA
TESTING
INTERVIEW
TRAINING
C#
CLOUD
MONITORING
AIRFLOW
CLINE
L3
PRINTER
VERIFICATION
MARKET
BUSINESS DEVELOPMENT
WRITING
PEOPLE
REGRESSION
BLOCKCHAIN
VIRTUAL ASSET COMPLIANCE
COSMOS SDK
COMPLIANCE
LINKEDIN
ONBOARDING
JIRA
BLOCKCHAIN PROTOCOL
PLANNING
LAW
SECURITY AUDIT
SALES
CODE REVIEW
PHP
DEFI
PROTOCOL-ANALYSIS
WINDSURF
INVESTIGATION
TRANSFORMER
SECURECODING
SECURITY HARDENING
NLP
WEB3
NETWORK PENETRATION
GO
APPLICATIONS
STATICANALYSIS
SECURE CODING
REVIEW
HRIS
CONSULTATION RESPONSE DRAFTING
SMT SOLVER
EMPLOYMENT
RISK
KPI
SPREADSHEET
LAW ENFORCEMENT ENGAGEMENT
HELP DESK
SAT
TWITTER
GAS ANALYSIS
NETWORKING
ACCOUNT PROVISIONING
DIGITAL ASSET REGULATION
AI
DOCUMENTATION
CPP
SOCIAL MEDIA
INVENTORY
MOBILE APPLICATION
REGULATORY TRACKING
WALLET
CONTENT STRATEGY
B2B
NOSQL
HYPERLEDGER FABRIC
GCP
ATTACK MODEL
THREAT
IT LOGISTICS
SOURCE CODE REVIEW
NETWORKS
AUDITS
DYNAMICANALYSIS
TABLEAU
TYPE SYSTEM
SECURITY TOOLING
PYTORCH
VENDOR MANAGEMENT
MEMPOOL
MARKET RESEARCH
CONTENT
USER RESEARCH
RESEARCH SYNTHESIS
CLIENT SUPPORT
CHATGPT
DATA ANALYSIS
FINANCIAL REGULATION
NODE
ANALYSIS
ALGORITHM
PYTHON
VISUALIZATION
SYSTEM SOFTWARE
MULTISTATE
AUTOMATION
LEXICAL ANALYSIS
THREAT DETECTION
SEGMENTATION
BENEFITS
PROGRAMMING-LANGUAGE
SMART CONTRACT AUDITING
CONTENT CREATION
AML
PRICING
BROWSER EXTENSION
ON-CHAIN ANALYSIS
REPORTING
GOVERNANCE
SMARTCONTRACT
NETWORK ARCHITECTURE
WEB SECURITY
SEMANTIC ANALYSIS
AWS
TYPESCRIPT
TELEGRAM
SANDWICH ATTACK
DEEP LEARNING
WEB3 SECURITY
VULNERABILITY DETECTION
SHIPMENT
POLICY
RETENTION
GOOGLE WORKSPACE
ATTACK SURFACE ANALYSIS
MDM
DECENTRALIZED APPLICATION
REGULATORY SUBMISSION
DEVICE TRACKING
CI/CD
DATABRICKS
RESEARCH
SECURITY
SMART CONTRACT
CONFLUENCE
ANALYTICS
POLICY ANALYSIS
JAVASCRIPT
OKTA
INFRA
KYC
WEB APPLICATION
DAPPS
TENSORFLOW
NEW_YORK
WEB3 PROTOCOL
CLOUD SECURITY
DATA
LEADERSHIP
ANDROID
INCIDENT
SOCIAL
CODE
BASH
STATIC ANALYSIS
AI AGENT
CUSTOMER SERVICE
OFFBOARDING
DAPP
VIRTUAL ASSET
CYBERSECURITY
MATHEMATICS
DASHBOARD
AUDIT
KOL
AZURE
MATHEMATICAL LOGIC
CHURN
FUNNEL
CURSOR
MODEL CHECKING
GETH
ON-CHAIN ANALYTICS
COMETBFT
AGENT
FORMAL METHODS
DATA STRUCTURE
RISK ASSESSMENT
FORMAL VERIFICATION
TOOLING