CertiK founder Gu Ronghui announced plans for an initial public offering (IPO) during the 2026 World Economic Forum in Davos, aiming to position CertiK as the first Web3 infrastructure stock. In an exclusive interview, Gu highlighted CertiK's Spoq engine, which integrates AI with formal verification to enhance scalability and efficiency. This technology has been validated by leading academic conferences, including OSDI 2023 and ASPLOS 2026, and offers institutional clients robust security assurances.