CertiK Tech Stack

Blockchain security audits and formal verification for Web3 projects

Computer and Network Security New York, NY 201–500 employees Founded 2018 Privately Held

CertiK audits blockchain code and smart contracts at scale, operating across Solidity, Rust, and Go with formal verification and AI-driven vulnerability detection. The hiring mix is sales-heavy (12 roles) relative to engineering (4), paired with security specialists (11), indicating a services business scaling customer acquisition and delivery capacity rather than product acceleration. Active projects span LLM-based audit tooling, pentesting R&D, and client engagement infrastructure—suggesting the company is shifting from pure manual audits toward automated and AI-assisted analysis.

Tech Stack 42 technologies

Core StackJavaScript TypeScript Python AWS Go Rust C++ Node.js PyTorch TensorFlow Cursor HubSpot Salesforce Java Slack Discord Telegram Bash Azure GCP Solidity Solana Cosmos Windsurf Google Workspace Ethereum Virtual Machine LLVM Cosmos SDK Geth Hyperledger Fabric+9 more

What CertiK Is Building

◆Challenges

Vulnerabilities in smart contracts
Enhancing threat detection
Scalable security auditing
Automated vulnerability analysis
Improving threat detection in blockchain
Ensuring long-term engagement
Maintaining high-value relationships
Consensus safety vulnerabilities
Chain halting vulnerabilities
Permission model flaws

▲Active Projects

Llm-based ai agent for security audit tools
Advertising-like campaigns
Cross-functional solution delivery
Interactive data visualization frontend
Market research for prospective clients
Sales strategy and competitor analysis
Research and develop innovative pentesting techniques for blockchain applications
Develop community tools, presentations, and blog posts
Blockchain smart contract audits
Attack model evaluation for blockchain security

Hiring Activity

Decelerating30 roles · 7 in 30d

Department

Sales

Security

Engineering

Marketing

Ops

Seniority

Senior

Intern

Junior

Manager

Mid

Company intelligence

Find more companies like CertiK by tech stack, pain points and active projects

Get started free

About CertiK

CertiK provides security auditing and formal verification services for blockchain projects and smart contracts. Founded in 2018 by Yale and Columbia professors, the company works across multiple blockchain ecosystems including Solana, Cosmos, and Ethereum, using a technical stack spanning Solidity, Rust, Go, and formal verification frameworks (LLVM) alongside Python, PyTorch, and TensorFlow for vulnerability analysis. The organization operates across 201–500 employees headquartered in New York, with hiring spread across India, the US, South Korea, the Philippines, UAE, Canada, and China. Internal pain points center on scaling audit capacity, automating vulnerability detection, and maintaining client relationships—challenges typical of services firms expanding from bespoke delivery into productized offerings.

HeadquartersNew York, NY

Company Size201–500 employees

Founded2018

Hiring MarketsIndia, United States, South Korea, Philippines, United Arab Emirates, Canada, China

Frequently Asked Questions

What tech stack does CertiK use for security audits?

CertiK's technical foundation includes Solidity, Rust, Go, C++, and LLVM for code analysis, paired with PyTorch and TensorFlow for AI-driven vulnerability detection. The company also deploys AWS, Azure, and GCP for infrastructure, and uses HubSpot and Salesforce for customer operations.

What blockchains does CertiK audit?

CertiK's tech stack includes Solana, Cosmos, Ethereum Virtual Machine, and Hyperledger Fabric, reflecting its multi-chain audit coverage. The company also works with Cosmos SDK and Geth (Ethereum client), covering multiple blockchain ecosystems.