CertiK Plans IPO to Lead Web3 Infrastructure

During the 2026 World Economic Forum (WEF) annual meeting, CertiK founder Gu Ronghui revealed in an interview with CBS that the company is actively pursuing plans to go public, aiming to become the leading Web3 infrastructure stock. According to Odaily, CertiK, recognized as the world's largest Web3 security firm, is making significant strides in its listing efforts. In the interview, Gu also unveiled CertiK's core security technology, the Spoq engine, which deeply integrates AI. By merging AI with formal verification systems, this engine significantly enhances the scalability and execution efficiency of formal verification. CertiK's innovative achievements have been validated by prestigious global academic conferences such as OSDI 2023 and ASPLOS 2026. By transforming top-tier academic research into productivity tools, CertiK is providing mathematical-level security assurance to institutional clients worldwide.