Durante la reunión anual del Foro Económico Mundial (WEF) de 2026, el fundador de CertiK, Gu Ronghui, reveló en una entrevista con CBS que la compañía está buscando activamente planes para salir a bolsa, con el objetivo de convertirse en la principal acción de infraestructura Web3. Según Odaily, CertiK, reconocida como la firma de seguridad Web3 más grande del mundo, está logrando avances significativos en sus esfuerzos de cotización.
En la entrevista, Gu también reveló la tecnología de seguridad central de CertiK, el motor Spoq, que integra profundamente la IA. Al fusionar la IA con sistemas de verificación formal, este motor mejora significativamente la escalabilidad y la eficiencia de ejecución de la verificación formal.
Los logros innovadores de CertiK han sido validados por prestigiosas conferencias académicas globales como OSDI 2023 y ASPLOS 2026. Al transformar la investigación académica de primer nivel en herramientas de productividad, CertiK está proporcionando una garantía de seguridad a nivel matemático a clientes institucionales en todo el mundo.