Durante a reunião anual do Fórum Econômico Mundial (WEF) de 2026, o fundador da CertiK, Gu Ronghui, revelou em uma entrevista à CBS que a empresa está ativamente buscando planos para se tornar pública, com o objetivo de se tornar a principal ação de infraestrutura Web3. De acordo com a Odaily, a CertiK, reconhecida como a maior empresa de segurança Web3 do mundo, está fazendo avanços significativos em seus esforços de listagem.
Na entrevista, Gu também revelou a tecnologia de segurança central da CertiK, o motor Spoq, que integra profundamente a IA. Ao unir a IA com sistemas de verificação formal, esse motor melhora significativamente a escalabilidade e a eficiência de execução da verificação formal.
As conquistas inovadoras da CertiK foram validadas por prestigiadas conferências acadêmicas globais, como OSDI 2023 e ASPLOS 2026. Ao transformar pesquisas acadêmicas de alto nível em ferramentas de produtividade, a CertiK está proporcionando garantia de segurança em nível matemático para clientes institucionais em todo o mundo.