Desde una pérdida de 3,353 millones de dólares, la ambición de CertiK de cotizar en bolsa: cómo la IA está redefiniendo la seguridad en Web3

En el centro de atención en Davos, el fundador de CertiK, Gu Ronghui, anunció una gran noticia: la compañía de seguridad Web3 más grande del mundo está impulsando activamente su plan de salida a bolsa, con el objetivo de convertirse en la “primera acción en infraestructura Web3”. Detrás de esta ambición hay una tecnología central que combina IA y verificación formal: el motor Spoq. Todo esto ocurre en un contexto en el que la industria Web3 enfrenta una grave crisis de seguridad.

Innovación tecnológica: IA que redefine la verificación formal

Gu Ronghui explicó en una entrevista detallada los avances tecnológicos de CertiK. El motor Spoq integra profundamente la IA y los sistemas de verificación formal, mejorando significativamente la escalabilidad y eficiencia en la ejecución de las verificaciones. Esto no es solo teoría; estos logros han sido validados en conferencias académicas de primer nivel como OSDI 2023 y ASPLOS 2026.

Por qué esto es crucial

La verificación formal tiene un papel indiscutible en la seguridad Web3, pero los métodos tradicionales presentan claros puntos débiles: alta complejidad, baja eficiencia y dificultad para escalar. La incorporación de IA cambia este escenario. Al transformar investigaciones académicas de vanguardia en herramientas productivas, CertiK puede ofrecer garantías de seguridad de nivel matemático a clientes institucionales en todo el mundo.

Contexto de mercado: la urgencia de la seguridad

¿Por qué el plan de salida a bolsa de CertiK es tan relevante? Una serie de datos lo ilustran claramente. Según el “Informe de Seguridad Web3 Skynet Hack3D 2025” publicado por CertiK, en 2025 se registraron 630 incidentes de seguridad en la industria Web3, con pérdidas totales de aproximadamente 3,353 millones de dólares, equivalente al PIB de una ciudad mediana en un año. El monto de fondos robados aumentó un 37.06% respecto al período anterior.

Este no es un mercado en miniatura, sino una demanda que crece rápidamente. Solo el incidente de Bybit generó pérdidas por unos 1,4 mil millones de dólares. En este contexto, las empresas que puedan ofrecer soluciones de seguridad confiables son, en esencia, infraestructuras críticas.

Posición estratégica: de proveedor de servicios a infraestructura

CertiK ya no es solo una firma de auditoría de seguridad. Según información relacionada, proporciona auditorías y certificaciones a proyectos como Fundtir, Owlto Finance, entre otros, consolidándose como un actor de infraestructura en el ecosistema Web3. El crecimiento de estos proyectos depende en gran medida del respaldo de seguridad que ofrece CertiK.

Por qué es la “primera acción”

Aún no existen empresas cotizadas en el campo de la infraestructura Web3. Si CertiK logra salir a bolsa con éxito, llenará ese vacío. Considerando:

• La demanda del mercado en constante crecimiento (pérdidas por seguridad en aumento año tras año)
• La validación académica de su tecnología (certificación en conferencias de primer nivel)
• La base de clientes y el impacto en el ecosistema

Este objetivo no es inalcanzable.

Perspectivas futuras

Desde el punto de vista tecnológico, la integración de IA y verificación formal acaba de comenzar. La capacidad del motor Spoq seguirá mejorando y sus aplicaciones se expandirán continuamente. Desde la perspectiva del mercado, la inversión en seguridad Web3 solo aumentará, lo que brinda a CertiK espacio para un crecimiento sostenido.

¿Y cuál es el último paso antes de salir a bolsa? Generalmente, la estabilidad de los datos financieros y el reconocimiento del mercado. La intervención de Gu Ronghui en Davos, en cierto modo, busca generar impulso para este proceso.

Resumen

El plan de salida a bolsa de CertiK no es una fantasía, sino que se basa en tres fundamentos sólidos: primero, la innovación tecnológica (la integración de IA en el motor Spoq); segundo, la demanda del mercado (las pérdidas por seguridad en Web3 crecen cada año); y tercero, su posición en el ecosistema (ya es un respaldo de seguridad para múltiples proyectos). De una firma de auditoría de seguridad a una infraestructura Web3, CertiK está en plena transformación estratégica. En este proceso, la certificación académica y las capacidades de IA del motor Spoq serán sus mayores ventajas competitivas.