Sob os holofotes de Davos, o fundador da CertiK, Gu Ronghui, anunciou uma grande novidade: a maior empresa de segurança Web3 do mundo está ativamente a avançar com planos de IPO, com o objetivo de se tornar a “primeira ação de infraestrutura Web3”. Por trás dessa ambição está um conjunto de tecnologias centrais que combinam IA e validação formal — o motor Spoq. E tudo isso ocorre num contexto de uma grave crise de segurança na indústria Web3.
Inovação tecnológica: IA remodela a validação formal
Gu Ronghui detalhou na entrevista as inovações tecnológicas da CertiK. O motor Spoq, ao integrar profundamente IA e sistemas de validação formal, aumentou significativamente a escalabilidade e eficiência na verificação. Isto não é teoria — esses resultados já foram validados em conferências acadêmicas de ponta como OSDI 2023 e ASPLOS 2026.
Por que isso é tão importante
A validação formal tem um papel indiscutível na segurança Web3, mas os métodos tradicionais apresentam pontos fracos evidentes: alta complexidade de verificação, baixa eficiência de execução e dificuldades de escalabilidade. A introdução da IA mudou esse cenário. Ao transformar pesquisas acadêmicas de ponta em ferramentas de produção, a CertiK consegue oferecer garantias de segurança de nível matemático para clientes institucionais globais.
Contexto de mercado: a urgência da segurança
Por que a CertiK pode falar em IPO? Uma olhada nos dados explica tudo. Segundo o relatório “2025 Skynet Hack3D Web3 Security Report” da CertiK, em 2025 ocorreram 630 incidentes de segurança na indústria Web3, causando perdas totais de aproximadamente 3,353 bilhões de dólares — equivalente ao PIB de uma cidade de médio porte em um ano. O valor roubado aumentou 37,06% em relação ao período anterior.
Este não é um mercado em declínio, mas uma demanda que cresce rapidamente. Apenas o incidente da Bybit resultou em perdas de cerca de 1,4 bilhões de dólares. Nesse cenário, empresas capazes de fornecer soluções de segurança confiáveis são, na essência, infraestruturas essenciais.
Posição estratégica: de prestador de serviços a infraestrutura
A CertiK já não é apenas uma empresa de auditoria de segurança. Segundo informações, ela fornece auditorias e certificações para projetos como Fundtir, Owlto Finance, entre outros, assumindo um papel de infraestrutura no ecossistema Web3. O crescimento desses projetos depende do respaldo de segurança oferecido pela CertiK.
Por que é a “primeira ação”
Ainda não há empresas listadas no setor de infraestrutura Web3. Se a CertiK conseguir seu IPO, preencherá essa lacuna. Considerando:
a demanda de mercado em contínuo crescimento (perdas de segurança aumentando a cada ano)
a validação acadêmica da tecnologia (confirmação em conferências de ponta)
a base de clientes e impacto no ecossistema
Esse objetivo não é algo inalcançável.
Perspectivas futuras
Do ponto de vista tecnológico, a fusão de IA com validação formal está apenas começando. As capacidades do motor Spoq continuarão a evoluir, e os cenários de aplicação se expandirão continuamente. Do ponto de vista de mercado, os investimentos em segurança Web3 só tendem a aumentar, oferecendo espaço para crescimento contínuo da CertiK.
Qual é o último passo antes do IPO? Geralmente, a estabilidade dos dados financeiros e o reconhecimento do mercado. A fala de Gu Ronghui em Davos, de certa forma, serve para criar impulso nesse processo.
Resumo
O plano de IPO da CertiK não é uma ideia vazia, mas sim baseado em três fundamentos sólidos: primeiro, inovação tecnológica (a fusão de IA no motor Spoq); segundo, demanda de mercado (perdas de segurança Web3 crescendo anualmente); terceiro, posição no ecossistema (já sendo uma garantia de segurança para vários projetos). De uma empresa de auditoria de segurança a uma infraestrutura Web3, a CertiK está passando por uma atualização estratégica. Nesse processo, a validação acadêmica e a capacidade de IA do motor Spoq serão suas maiores vantagens competitivas.
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
Dos prejuízos de 3,353 milhões de dólares, a ambição de entrada na bolsa da CertiK: Como a IA está a transformar a segurança Web3
Sob os holofotes de Davos, o fundador da CertiK, Gu Ronghui, anunciou uma grande novidade: a maior empresa de segurança Web3 do mundo está ativamente a avançar com planos de IPO, com o objetivo de se tornar a “primeira ação de infraestrutura Web3”. Por trás dessa ambição está um conjunto de tecnologias centrais que combinam IA e validação formal — o motor Spoq. E tudo isso ocorre num contexto de uma grave crise de segurança na indústria Web3.
Inovação tecnológica: IA remodela a validação formal
Gu Ronghui detalhou na entrevista as inovações tecnológicas da CertiK. O motor Spoq, ao integrar profundamente IA e sistemas de validação formal, aumentou significativamente a escalabilidade e eficiência na verificação. Isto não é teoria — esses resultados já foram validados em conferências acadêmicas de ponta como OSDI 2023 e ASPLOS 2026.
Por que isso é tão importante
A validação formal tem um papel indiscutível na segurança Web3, mas os métodos tradicionais apresentam pontos fracos evidentes: alta complexidade de verificação, baixa eficiência de execução e dificuldades de escalabilidade. A introdução da IA mudou esse cenário. Ao transformar pesquisas acadêmicas de ponta em ferramentas de produção, a CertiK consegue oferecer garantias de segurança de nível matemático para clientes institucionais globais.
Contexto de mercado: a urgência da segurança
Por que a CertiK pode falar em IPO? Uma olhada nos dados explica tudo. Segundo o relatório “2025 Skynet Hack3D Web3 Security Report” da CertiK, em 2025 ocorreram 630 incidentes de segurança na indústria Web3, causando perdas totais de aproximadamente 3,353 bilhões de dólares — equivalente ao PIB de uma cidade de médio porte em um ano. O valor roubado aumentou 37,06% em relação ao período anterior.
Este não é um mercado em declínio, mas uma demanda que cresce rapidamente. Apenas o incidente da Bybit resultou em perdas de cerca de 1,4 bilhões de dólares. Nesse cenário, empresas capazes de fornecer soluções de segurança confiáveis são, na essência, infraestruturas essenciais.
Posição estratégica: de prestador de serviços a infraestrutura
A CertiK já não é apenas uma empresa de auditoria de segurança. Segundo informações, ela fornece auditorias e certificações para projetos como Fundtir, Owlto Finance, entre outros, assumindo um papel de infraestrutura no ecossistema Web3. O crescimento desses projetos depende do respaldo de segurança oferecido pela CertiK.
Por que é a “primeira ação”
Ainda não há empresas listadas no setor de infraestrutura Web3. Se a CertiK conseguir seu IPO, preencherá essa lacuna. Considerando:
Esse objetivo não é algo inalcançável.
Perspectivas futuras
Do ponto de vista tecnológico, a fusão de IA com validação formal está apenas começando. As capacidades do motor Spoq continuarão a evoluir, e os cenários de aplicação se expandirão continuamente. Do ponto de vista de mercado, os investimentos em segurança Web3 só tendem a aumentar, oferecendo espaço para crescimento contínuo da CertiK.
Qual é o último passo antes do IPO? Geralmente, a estabilidade dos dados financeiros e o reconhecimento do mercado. A fala de Gu Ronghui em Davos, de certa forma, serve para criar impulso nesse processo.
Resumo
O plano de IPO da CertiK não é uma ideia vazia, mas sim baseado em três fundamentos sólidos: primeiro, inovação tecnológica (a fusão de IA no motor Spoq); segundo, demanda de mercado (perdas de segurança Web3 crescendo anualmente); terceiro, posição no ecossistema (já sendo uma garantia de segurança para vários projetos). De uma empresa de auditoria de segurança a uma infraestrutura Web3, a CertiK está passando por uma atualização estratégica. Nesse processo, a validação acadêmica e a capacidade de IA do motor Spoq serão suas maiores vantagens competitivas.