what's certik?
CertiK is a pioneering blockchain security company founded in 2018 by professors from Yale University and Columbia University. Specializing in securing Web3 ecosystems, CertiK employs advanced technologies such as artificial intelligence and formal verification to audit smart contracts, monitor protocols, and provide comprehensive security solutions. Their mission is to build a safer decentralized world by identifying vulnerabilities and ensuring the integrity of blockchain projects before they launch or scale. At the core of CertiK's offerings is Skynet, an advanced platform that delivers real-time security insights, due diligence tools, and data analytics for Web3 projects, tokens, and NFTs. Skynet aggregates blockchain data, social metrics, and security scores to help users perform thorough research and mitigate risks. Additionally, CertiK conducts in-depth audits for major DeFi protocols, exchanges, and emerging chains, leveraging mathematical proofs and automated tools to detect potential exploits. CertiK's native token, CTK, powers its ecosystem by enabling users to participate in governance, stake for rewards, and access premium security services. Through partnerships with leading crypto entities and integrations on platforms like CoinMarketCap, CertiK continues to innovate in areas like privacy-preserving blockchains and verifiable computation, solidifying its role as a trusted guardian of the crypto space.
Certik detected Hyperbridge exploit: 1B DOT minted on Ethereum, causing $237K in losses.
contract
osmosis
Detected a Hyperbridge exploit that allowed an attacker to mint 1 billion bridged DOT on Ethereum, resulting in approximately $237,000 in losses.
Co-Founder and CEO Prof. Ronghui Gu speaks at Paris Blockchain Week's LONGITUDE PARIS conference on "Why regulatory clarity is crucial for crypto adoption" on April 14, 2026, and "The Trust Architecture: From Blind Faith to On-Chain Truth" on April 16, 2026.
Became the exclusive Security Rating provider on CoinMarketCap, with coverage extending to over 14,300 crypto assets where official CertiK ratings are now displayed on token pages.
Alerted Solv Protocol to a BRO vault exploit on March 5, 2026, involving 38.0474 SolvBTC.
Featured on Forbes' list of America's Best Startup Employers.
Appointed Hudson Jameson Head of Ecosystem on March 2, 2026, bringing over a decade of blockchain experience from Ethereum Foundation, Zcash, SEAL, Flashbots, and Polygon Labs.
Security Engineer Yuannan Yang participated in a podcast discussion on Web3 security at ETHDenver with GenzioCo.
Sponsors ETHDenver 2026 as an official sponsor, supporting the free and accessible conference for blockchain builders.
Featured by BeInCrypto for formal verification and blockchain security work; nominated "Best Security & Compliance Solution 2026" at SiGMA AIBC Eurasia Awards, with public voting until 2026-02-06.
Planning to pursue an initial public offering (IPO), according to DL News reporting on January 23, 2026.
Participated in the World Economic Forum in Davos with major announcements planned to follow.
Established a $1M audit grant program with yzilabs for all participants in the EASY Residency incubation initiative, supporting Web3, AI, and biotech startups.
Published a report on crypto security showing $3.3 billion lost to hacks in 2025, with attacks becoming more concentrated in supply-chain exploits.
Head of U.S. Government Affairs Stefan Muehlbauer met with White House Executive Director of President's Council of Advisors for Digital Assets and Senate legislators Tim Scott, Cynthia Lummis to discuss digital asset policy, regulation, and stablecoins following GENIUS Act signing; also attended DC Blockchain Summit 2026 as Silver Sponsor on 2026-03-17, discussing blockchain security.
CertiK flags a $340K exploit from an old USDC approval.
Supports Circle's USDCx launch on Canton Network through comprehensive security assessment of the USDCx bridge, including audit of onchain Daml smart contracts and penetration testing of offchain infrastructure.
Sponsors the Theorem Proving Contest at CCF ChinaSoft 2025, powered by OpenMath, scheduled for November 29 in Wuhan.
Guanxing Wen from CertiK is featured in a WIRED article discussing how social engineering scams capture seed phrases to drain wallets.
CertiK participates in livestream panel discussion with hackenclub and dl_research exploring Bybit's security and collaboration practices.
Partners as cooperating partner at RWA One-Stop: Building Infinite Financial Innovation event hosted by EXIO_HK, exploring asset digitization with RWA leaders.
Audit Partner Matt Wang speaks at Cosmoverse25 on EVM-Cosmos convergence, discussing Ethermint roots and layered chains including Berachain.
Head of BD at CertiK MENA speaks at the 15th anniversary edition of BlLife_Forum in Dubai, discussing work with stablecoin issuers and regulators in Hong Kong and Abu Dhabi, and support for regional banks through security audits and penetration testing.
Announces participation at Hong Kong FinTech Week 2025 on November 3-4 at Hong Kong Convention & Exhibition Centre as part of the Cyberport Hong Kong Pavilion.
CertiK announces collaboration with WEMIX Network at Korea Blockchain Week 2025, with CEO Ronghui Gu and WEMIX CEO Shane Kim discussing blockchain security, compliance, and KRW-backed stablecoins.
CertiK Formal Verification team member co-authors academic paper awarded Best Paper at SOSP 2025 conference for research on efficient memory management with strong correctness guarantees.
Launches bug bounty program with peaq offering 3,000,000 $PEAQ total rewards, with up to 250,000 $PEAQ for critical vulnerabilities to secure the Machine Economy.
The team is actively participating at XRP SEOUL 2025 conference with a booth, engaging with builders, innovators, and community members in Korea.
Hosts Compliance Insights Workshop at Korea Blockchain Week on September 22 in Seoul, featuring CTO demonstration and compliance framework discussions.
Completes AMA with MEXC Exchange discussing their collaboration on crypto ecosystem security through audits and AI-driven Skynet monitoring.
LBank Exchange completes integration of Skynet Scores, providing real-time security insights to users on listed tokens.
New paid volunteer program launches in Korea, expanding regional presence and recruitment efforts.
Security researcher identifies vulnerability in Braavos' Gasless mechanism on Starknet, highlighting account abstraction risks.
OKX Wallet ranks #1 in Skynet Leaderboard security score, demonstrating growing influence in wallet security assessment.
New security partnership established with LBank Exchange to provide expert-driven security solutions for their global platform.
Skynet Token Scan integrates with Binance Wallet, providing security insights to millions of users.
Leading security researcher shares DePIN exploit findings at major US hacker conference.
Opened AI Auditor to public testing, achieving 88.6% accuracy in detecting real-world smart contract vulnerabilities. Supports Solidity, Solana, and Move smart contracts, identifying three AI security risks: prompt injection, smart contract bugs, and fake signal reactions, since its 2026-04-07 release.
Expands regulatory compliance network to six jurisdictions to enhance enterprise Web3 adoption.
Security researcher achieves first Ledger Hall of Fame entry in three years for discovering critical BLE vulnerability.
Announces Platinum Sponsorship of Proof of Talk Web3 summit.
Leads Ethereum protocol security initiative with 41% of all Immunefi Attackathon submissions, identifying 6 unique security issues.
Joins Circle Alliance Program as Security Partner to support Circle ecosystem with security solutions
Received two Ethereum Foundation research grants for zkEVM systems verification development.
New LiDO framework introduces first machine-verified safety proofs for modern consensus protocols.