CertiK Founder Gu Ronghui Appears at Davos: AI Empowers Formal Verification, Anchoring IPO Goals
During the 2026 World Economic Forum (WEF) Annual Meeting, CertiK founder Gu Ronghui revealed in an exclusive interview with CBS in Davos that as the world's largest Web3 security company, CertiK is actively advancing its listing plans, striving to become the "first Web3 infrastructure stock."
In the interview, Gu Ronghui also unveiled CertiK's core security technology—the deeply AI-integrated Spoq engine. By combining AI with a formal verification system, this engine significantly enhances the scalability and execution efficiency of formal verification.
It is reported that this cutting-edge achievement by CertiK has been validated by top 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 for global institutional clients.
