CertiK

To secure the Web3 world.

CertiK is the largest blockchain security auditor, applying formal verification and AI-driven analysis to secure smart contracts, protocols, and Web3 applications. Founded in 2017 by professors from Yale and Columbia, the company has worked with over 5,000 enterprise clients including Aptos, Ripple, and BNB Chain, securing more than $600 billion in digital assets. With users across 150 countries, CertiK combines academic rigor with enterprise-scale solutions, offering everything from smart contract audits to real-time monitoring through their Skynet platform. The team operates globally with a remote-friendly culture focused on tackling computationally hard problems in blockchain security.

Products

Smart contract audits combine manual expert review with AI-driven analysis and formal verification to identify vulnerabilities across Ethereum, Solana, and other chains. Skynet provides real-time security monitoring and ratings for over 20,000 Web3 projects, serving 1.8 million monthly users. SkyInsights offers crypto AML and transaction risk management for institutional compliance. Additional services include penetration testing, KYC verification, proof-of-reserves audits, managed bug bounty programs, and SkyNode validator services. The recently launched CertiK Skill Scanner acts as 'antivirus' for AI agents, detecting malicious behaviors in autonomous systems.

Funding

CertiK has raised approximately $297 million across 13 funding rounds, reaching a $2 billion valuation by March 2022. Major investors include Sequoia Capital China, SoftBank Vision Fund, Tiger Global, Insight Partners, Goldman Sachs, and Lightspeed Venture Partners. Notable rounds include an $80 million Series B in December 2021 led by Sequoia and a $60 million Series B-IV in April 2022. Binance remains the largest financial backer, providing additional investment as recently as January 2026. The company achieved unicorn status in 2021.

Recent news

In June 2026, CertiK announced a strategic partnership with FinChip.AI to establish security audit standards for AI Skills Code Assets Trading, integrating CertiK's AI Skill Security Scan capability into FinChip's platform.

Technology

The formal methods team uses SAT/SMT solvers including Z3, CVC4, Yices, MathSAT, and SMTInterpol for symbolic model checking. Verification techniques include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR). Functional programming in OCaml and Haskell builds translators and intermediate representations. The Coq proof assistant supports projects like the DeepSEA compiler, while Dafny handles modular deductive verification. Additional tools include Rust, Solidity, WebAssembly, Python with PyTorch/TensorFlow, and robust CI/CD pipelines.

Benefits

Salaries range from $115,000 to $230,000 for this role. Medical, dental, and vision insurance are fully covered, along with 401(k) matching, life insurance, HSA, and FSA options. The company offers flexible PTO and holidays with remote-friendly work arrangements across a global workforce. CertiK holds Gold level certification from Mental Health America's Bell Seal for workplace mental health. The culture emphasizes collaboration and learning opportunities, with employees working across all stages of product development from research to customer support.