According to Odaily Odaily, 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 and striving to become the "first listed company in Web3 infrastructure."
In the interview, Gu Ronghui also revealed CertiK's core technology in security technology—the Spoq engine, which deeply integrates AI. By integrating AI with the formal verification system, this engine significantly improves the scalability and execution efficiency of formal verification.
It is reported that CertiK's cutting-edge achievement has been validated by top global academic conferences such as OSDI 2023 and ASPLOS 2026. By transforming cutting-edge academic research into productivity tools, CertiK is providing mathematical-grade security for institutional clients worldwide.
