CertiK founder Gu Ronghui appears at Davos: AI empowers formal verification, anchoring listing goals Odaily Planet Daily News: During the 2026 World Economic Forum (WEF) annual meeting, Gu Ronghui, founder of CertiK, revealed in an interview with CBS in Davos that as the world's largest Web3 security company, CertiK is actively promoting its IPO plan and striving to become the "first stock of Web3 infrastructure". In the interview, Gu Ronghui also revealed the core technology of CertiK in terms of security technology - the Spoq engine that deeply integrates AI. Through the integration of AI and formal verification system, this engine significantly improves the scalability and execution efficiency of formal verification. It is reported that this cutting-edge achievement of CertiK has been validated by top global academic conferences such as OSDI 2023 and ASPLOS 2026. By transforming top academic research into productivity tools, CertiK is providing mathematical level security to global institutional clients.