Blog
Company updates
Product releases, announcements, and service updates from CertiK.
AnnouncementsCertiK Independently Verifies Sui's New Performance BenchmarkCertiK independently verified Sui’s Mainnet Tunnel performance campaign, which recorded more than 15.2 billion off-chain transactions across 7,680 tunnels at a peak of 40.68 million TPS.
AnnouncementsCertiK Formally Verifies zkWasm, Proving Mathematical Soundness of a Leading zkVMCertiK’s formal verification of zkWasm provides mathematical proof that a leading zero-knowledge virtual machine executes programs correctly — a rigor level beyond traditional audits, now validated for ACM CCS 2026.
AnnouncementsCertiK Joins LF Decentralized Trust to Advance Security Standards for Enterprise BlockchainCertiK joins LF Decentralized Trust to bring formal verification and security expertise into the open-source infrastructure enterprises are building on amid intensifying global regulation.
AnnouncementsCertiK and the National Bank of the Kyrgyz Republic Partner on Digital Som SecurityCertiK signs an MoU with the National Bank of the Kyrgyz Republic to advance Digital Som security, AML/CFT oversight, and digital asset supervision.
Products & servicesChain Scan: Code and Runtime Assurance for DLT InfrastructureChain Scan brings together automated static code scanning, analyst validation, and controlled runtime testing, with coverage tailored to the agreed scope. It helps identify code-level weaknesses and evaluate how DLT systems behave under adversarial inputs, resource pressure, infrastructure failures, and operational changes.
AnnouncementsFrom Warning Letters to Working Framework: CertiK and Brazil's Central Bank on Building the VASP RulebookCertiK's Jason Jiang and the Central Bank of Brazil's Nagel Paulino join Veirano Advogados' Marcos Rocha to trace Brazil's journey from cautious crypto warnings to a detailed VASP regulatory framework.
AnnouncementsFrom Rulebook to Roadmap: CertiK and Coins.ph on Brazil's New Rules for Virtual Asset Service ProvidersCertiK's Jason Jiang and Coins.ph's Daniel Hott join Livecoins to discuss how Brazil's new VASP framework is separating prepared crypto operators from unprepared ones.
AnnouncementsAI Security Must Go Beyond the Model: CertiK Identifies Google EdgeTPU Vulnerabilities, Highlighting New Risks in AI InfrastructureCertiK researcher uncovered two vulnerabilities in Google's EdgeTPU, CVE-2026-0150 and CVE-2026-0153, acknowledged in Google's June 2026 Security Bulletin. Here's what the findings reveal about the future of AI security.
AnnouncementsCertiK Named Official Vendor for Hub71, Bringing Security and Compliance Support to Abu Dhabi's Startup EcosystemCertiK has been named an official vendor for Hub71, offering portfolio companies a 20% service discount, a $200K subsidy pool, and free access to the CertiK Compliance Tool for UAE licensing and compliance.
Products & servicesIntroducing CertiK Hunt, The Invite-Only Security Platform for Web3 Projects and Top Security ResearchersCertiK Hunt is an invite-only platform connecting elite security researchers with web3 projects through bug bounty programs, audit competitions, and AI challenges.
Products & servicesCertiK Skills: Bringing Blockchain Security Intelligence Into AI AgentsDiscover CertiK's open-source AI Agent Skills for Claude Code, Codex, and Cursor. Easily plug in SkyInsights, Skylens, and Skynet Score to access real-time Web3 wallet screening, EVM forensics, and project security intelligence directly within your agent workflow.
Products & servicesCatch Runtime Bugs Before They Become Mainnet Incidents: CertiK Grey Box Chain AuditCertiK's Grey Box Chain Audit catches runtime bugs before they become mainnet incidents, using fault injection and live network testing to surface chain-critical failures that static analysis alone cannot detect.