Во время ежегодного заседания Всемирного экономического форума (ВЭФ) в 2026 году основатель CertiK Гу Ронгхуи сообщил в интервью CBS, что компания активно проводит планы по выходу на биржу, стремясь стать ведущей акцией инфраструктуры Web3. Согласно Odaily, CertiK, признанная крупнейшей фирмой по безопасности Web3 в мире, делает значительные шаги в своих усилиях по листингу.
В интервью Гу также представил основную технологию безопасности CertiK, движок Spoq, который глубоко интегрирует ИИ. Объединив ИИ с системами формальной верификации, этот движок значительно повышает масштабируемость и эффективность выполнения формальной верификации.
Инновационные достижения CertiK были подтверждены престижными мировыми академическими конференциями, такими как OSDI 2023 и ASPLOS 2026. Превращая первоклассные академические исследования в инструменты повышения производительности, CertiK предоставляет математически обоснованные гарантии безопасности институциональным клиентам по всему миру.