Podczas dorocznego spotkania Światowego Forum Gospodarczego (WEF) w 2026 roku, założyciel CertiK Gu Ronghui ujawnił w wywiadzie dla CBS, że firma aktywnie dąży do planów wejścia na giełdę, mając na celu zostanie wiodącą akcją infrastruktury Web3. Według Odaily, CertiK, uznawana za największą firmę zabezpieczeń Web3 na świecie, dokonuje znacznych postępów w swoich wysiłkach związanych z notowaniem.
W wywiadzie Gu ujawnił również podstawową technologię zabezpieczeń CertiK, silnik Spoq, który głęboko integruje AI. Łącząc AI z systemami formalnej weryfikacji, silnik ten znacznie zwiększa skalowalność i efektywność wykonania formalnej weryfikacji.
Innowacyjne osiągnięcia CertiK zostały potwierdzone przez prestiżowe globalne konferencje akademickie, takie jak OSDI 2023 i ASPLOS 2026. Przekształcając badania akademickie najwyższej klasy w narzędzia zwiększające wydajność, CertiK zapewnia klientom instytucjonalnym na całym świecie zapewnienie bezpieczeństwa na poziomie matematycznym.