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 launched a $1M audit grant with yzilabs for Web3, AI, and biotech startups.
contract
osmosis
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 the White House Executive Director of the President's Council of Advisors for Digital Assets and Senate legislators Tim Scott and Cynthia Lummis in Washington D.C. to discuss digital asset policy, regulatory direction, and stablecoins following the GENIUS Act signing.
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.
Integrates AI tools internally and identifies three key AI security risks in DeFi: prompt injection, smart contract bugs, and fake signal reactions.
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.