
At the 2026 World Economic Forum in Davos, Gu unveiled CertiK’s AI-powered Spoq engine featuring formal verification technology to improve blockchain scalability and reliability.
During the 2026 World Economic Forum Annual Meeting held in Davos, CertiK founder Ronghui Gu announced plans for an initial public offering (IPO) aimed at positioning CertiK as the first listed Web3 infrastructure company. Gu also introduced the Spoq engine, an artificial intelligence-driven system that integrates formal verification to boost scalability and operational efficiency. The technology has been validated through academic reviews at OSDI 2023 and ASPLOS 2026.