Le fondateur de CertiK, Gu Ronghui, a annoncé ses projets d'introduction en bourse (IPO) lors du Forum économique mondial 2026 à Davos, visant à positionner CertiK comme la première action d'infrastructure Web3. Dans une interview exclusive, Gu a mis en avant le moteur Spoq de CertiK, qui intègre l'IA avec la vérification formelle pour améliorer la scalabilité et l'efficacité. Cette technologie a été validée par des conférences académiques de premier plan, notamment OSDI 2023 et ASPLOS 2026, et offre aux clients institutionnels des garanties de sécurité solides.