Performances
RD Popularity Index
RD Growth Index
Comparison
Team
Follow Updates
Follow Lists
People
About CertiK
CertiK is a blockchain security company. Its core business includes smart contract audits, formal verification, penetration testing, reserve proof, vulnerability bounty programs, and AML/risk intelligence services. The flagship Skynet platform provides real-time security scoring and monitoring for over 17,000 projects, while SkyInsights offers on-chain transaction monitoring and compliance tools for institutions.
CertiK's key differentiator is its combination of formal verification (mathematical proof of code correctness) with AI-powered auditing. In 2026, it launched AI Auditor, a system-level architecture that embeds real-time security intelligence into development workflows, achieving an 88.6% exact hit rate on real-world incidents while reducing noise. Its open-source integrations for AI coding agents bring security data directly into developer tools.
The market pain point CertiK addresses is the persistent threat of hacks and exploits. In H1 2026, crypto losses totaled $1.32 billion, with Q2 alone seeing $807.5 million in losses—a 59% quarter-over-quarter increase. Private key management and multi-signature wallets remain the most critical risk points, while code vulnerabilities account for the majority of incidents. CertiK's monitoring and audit services help projects identify vulnerabilities before attackers exploit them.
In the past six months (March to September 2026), CertiK released AI Auditor to the public after internal testing, expanded AI-native security with agent integrations, and published its H1 2026 security report highlighting industry trends. The report noted that while total losses decreased 47% year-over-year, the number of incidents surged to a record 207, indicating the security landscape has not fundamentally improved.
CertiK was founded in 2018, leveraging formal verification and AI for end-to-end blockchain security audits, and developed the security-focused CertiK Chain. In 2025, it released the Skynet North Korea threat report: North Korean hackers have stolen approximately $6.75 billion since 2016, accounting for nearly 60% of global crypto losses in 2025, with attack patterns shifting to "offline infiltration." The 2026 H1 report showed Web3 losses exceeding $1.3 billion, with wallet theft becoming the largest attack type and attackers targeting high-value individuals and institutions. CertiK published a Brazil PSAV compliance report, making third-party security certification a hard market-entry threshold; it also completed a KRW stablecoin settlement framework pilot with KB Kookmin Bank, covering issuance, offline merchant payments, and cross-border remittances. As of 2026, CertiK has detected over 115,000 vulnerabilities, assessed $483 billion in market cap, monitored 9+15 chains, and cooperated with Interpol and Europol to combat cross-border cybercrime.
In the past six months, CertiK made significant strides in AI-driven security. It launched AI Auditor, an intelligent audit system based on a multi-model architecture, tested against 35 real-world security incidents with an 88.6% cumulative hit rate, and open-sourced integrations for AI coding agents to enable real-time security checks in development environments. It also released CertiK Skills, which connects on-chain security data (wallet risk, project scores, token analysis) directly into AI tools like Claude and Codex, lowering the barrier for security analysis. In audit services, CertiK introduced Grey Box Chain Audit, which simulates real network environments with fault injection, covering consensus, validators, bridges, and other critical components, and provides a permanent verification harness. Strategically, CertiK officially entered the Japanese market, partnering with local compliant exchanges and emphasizing institutional-grade security and full-lifecycle compliance solutions. Future priorities include: deepening AI and security automation to shift security left; expanding global regulatory cooperation to provide compliance tools aligned with local laws; and building a more open security ecosystem, such as the CertiK Hunt platform, connecting researchers with projects and combining human and AI vulnerability discovery.
Ronghui Gu: Co-founder & CEO. Associate Professor of Computer Science at Columbia University; Ph.D. from Yale, B.S. from Tsinghua. Principal designer/developer of CertiKOS and SeKVM; recipient of an SOSP Best Paper Award.
Kang Li: CTO. Former Chief Security Scientist/Senior Director at Baidu; tenured professor at the University of Georgia. Founding mentor of CTF teams including Blue-Lotus; DARPA Cyber Grand Challenge finalist; holds a Yale Law School master's degree.
Jason Cao: COO. Operations leadership confirmed via LinkedIn.
Jason Jiang: Chief Business Officer. 15+ years in industrial/tech/consumer sales leadership; former Sensimo COO, Inno Optics founder/CEO, Greif China GM, and Motorola management roles.
CertiK recently welcomed Margarita K. as Head of Communications in April 2026. She brings extensive experience in Web3 and cybersecurity communications, having previously led marketing and PR for platforms like Immunefi, Mantle, and Ocean Protocol. Her appointment strengthens CertiK's brand positioning and strategic communications as the company expands its security services.