CertiK Founder Gu Ronghui Appears at Davos: AI Empowers Formal Verification, Anchoring IPO Goal

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 IPO plan, striving to become the "first stock of Web3 infrastructure."

In the interview, Gu Ronghui also unveiled CertiK's core technology at the security level—the Spoq engine deeply integrated with AI. By combining AI with the formal verification system, this engine has significantly improved 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 guarantees for global institutional clients.