블로그
회사 소식
CertiK의 제품 출시, 공지 및 서비스 업데이트 소식.
공지사항CertiK 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.
공지사항CertiK 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.
공지사항CertiK 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.
공지사항CertiK 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.
제품 및 서비스Chain 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.
공지사항From 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.
공지사항From 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.
공지사항AI 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.
공지사항CertiK 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.
제품 및 서비스Introducing 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.
제품 및 서비스CertiK 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.
제품 및 서비스Catch 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.