Der Gründer von CertiK, Gu Ronghui, kündigte während des Weltwirtschaftsforums 2026 in Davos Pläne für einen Börsengang (IPO) an, mit dem Ziel, CertiK als die erste Web3-Infrastruktur-Aktie zu positionieren. In einem exklusiven Interview hob Gu die Spoq-Engine von CertiK hervor, die KI mit formaler Verifikation kombiniert, um Skalierbarkeit und Effizienz zu verbessern. Diese Technologie wurde auf führenden wissenschaftlichen Konferenzen, darunter OSDI 2023 und ASPLOS 2026, validiert und bietet institutionellen Kunden robuste Sicherheitsgarantien.