CertiK, the world's largest Web3 security firm, announced plans to go public as revealed by founder Gu Ronghui at the 2026 World Economic Forum. The company highlighted its Spoq engine, which integrates AI with formal verification to improve scalability and execution efficiency. CertiK's advancements have been recognized at leading academic conferences and are aimed at providing high-level security assurances to institutional clients globally.