During the 2026 World Economic Forum (WEF) Annual Meeting, CertiK founder Ronghui Gu revealed in an interview with CBS in Davos that CertiK, as the world's largest Web3 security company, is actively pursuing its IPO plan, striving to become the "first listed company in Web3 infrastructure." In the interview, Gu also unveiled CertiK's core security technology—the Spoq engine, which deeply integrates AI. By merging AI with a formal verification system, this engine significantly improves the scalability and execution efficiency of formal verification. Reportedly, CertiK's cutting-edge achievement has been validated at top global academic conferences such as OSDI 2023 and ASPLOS 2026. By transforming cutting-edge academic research into productivity tools, CertiK is providing mathematical-level security assurance to institutional clients worldwide.