CertiK founder Gu Ronghui reveals IPO plan and AI technology progress in Davos

During the 2026 World Economic Forum Annual Meeting, Gu Ronghui, founder of CertiK, stated in an interview with CBS in Davos that CertiK is actively pursuing its IPO plan and aims to become the "first stock of Web3 infrastructure". Gu Ronghui also introduced CertiK's core technology - the Spoq engine that deeply integrates AI. This technology integrates AI with a formal verification system, significantly improving the scalability and execution efficiency of verification. It has been validated at academic conferences such as OSDI 2023 and ASPLOS 2026. CertiK is transforming academic research into productivity tools, providing mathematical level security for global institutional clients.