Regardant la perte de 3,353 millions de dollars, les ambitions d'introduction en bourse de CertiK : comment l'IA redéfinit la sécurité Web3

Sous les projecteurs de Davos, le fondateur de CertiK, Gu Ronghui, a lancé une grande annonce : cette plus grande société mondiale de sécurité Web3 est en train de promouvoir activement son introduction en bourse, avec pour objectif de devenir la “première action dans l’infrastructure Web3”. Derrière cette ambition se cache une technologie centrale combinant IA et vérification formelle — le moteur Spoq. Et tout cela s’inscrit dans un contexte où l’industrie Web3 traverse une crise de sécurité sévère.

Innovation technologique : l’IA révolutionne la vérification formelle

Gu Ronghui a détaillé lors d’une interview les avancées technologiques de CertiK. Le moteur Spoq intègre profondément l’IA et la système de vérification formelle, améliorant considérablement la scalabilité et l’efficacité d’exécution des vérifications. Ce n’est pas de la théorie — ces résultats ont déjà été validés par des conférences académiques mondiales de premier plan telles que OSDI 2023 et ASPLOS 2026.

Pourquoi c’est crucial

La vérification formelle occupe une place indiscutable dans la sécurité Web3, mais les méthodes traditionnelles présentent des points faibles évidents : complexité élevée, faible efficacité d’exécution, difficulté à une application à grande échelle. L’intégration de l’IA change la donne. En transformant la recherche académique de pointe en outils de productivité, CertiK peut offrir une sécurité de niveau mathématique à ses clients institutionnels mondiaux.

Contexte du marché : l’urgence de la sécurité

Pourquoi le projet d’introduction en bourse de CertiK est-il crédible ? Un simple regard sur quelques données suffit. Selon le « Rapport de sécurité Web3 Skynet Hack3D 2025 » publié par CertiK, en 2025, l’industrie Web3 a connu 630 incidents de sécurité, avec une perte totale d’environ 3,353 milliards de dollars, ce qui équivaut au PIB annuel d’une ville moyenne. Le montant des fonds volés a augmenté de 37,06 % par rapport au trimestre précédent.

Ce n’est pas un marché en diminution, mais une demande en forte croissance. L’incident de Bybit seul a causé une perte d’environ 1,4 milliard de dollars. Dans ce contexte, les entreprises capables d’offrir des solutions de sécurité fiables sont, en essence, des acteurs d’infrastructure.

Position stratégique : de fournisseur de services à infrastructure

CertiK n’est plus seulement une société d’audit de sécurité. Selon diverses sources, elle fournit des audits et certifications pour des projets comme Fundtir, Owlto Finance, etc., jouant ainsi un rôle d’infrastructure dans l’écosystème Web3. La croissance de ces projets repose en grande partie sur la crédibilité sécuritaire apportée par CertiK.

Pourquoi c’est “la première action”

Aucun acteur coté dans le domaine de l’infrastructure Web3 n’a encore émergé. Si CertiK parvient à s’introduire en bourse avec succès, cela comblera cette lacune. En tenant compte de :

• la croissance continue de la demande du marché (pertes de sécurité en hausse chaque année)
• la validation académique de la technologie (validation par des conférences de premier plan)
• la base de clients existante et l’impact dans l’écosystème

cet objectif n’est pas hors de portée.

Perspectives d’avenir

Sur le plan technologique, la fusion entre IA et vérification formelle ne fait que commencer. Les capacités du moteur Spoq continueront de s’améliorer, et ses cas d’usage s’étendront sans cesse. Sur le marché, l’investissement dans la sécurité Web3 ne fera qu’augmenter, offrant à CertiK un espace de croissance continue.

La dernière étape avant l’introduction en bourse ? Généralement, la stabilité des données financières et la reconnaissance du marché. La prise de parole de Gu Ronghui à Davos contribue, dans une certaine mesure, à créer cette dynamique.

En résumé

Le projet d’introduction en bourse de CertiK ne repose pas sur des rêves vagues, mais sur trois bases solides : d’abord, l’innovation technologique (fusion IA du moteur Spoq), ensuite, la demande du marché (pertes de sécurité Web3 en augmentation annuelle), enfin, la position dans l’écosystème (déjà un acteur crédible en sécurité pour plusieurs projets). De société d’audit de sécurité à infrastructure Web3, CertiK réalise une véritable montée en gamme stratégique. Dans ce processus, la validation académique et les capacités en IA du moteur Spoq seront ses atouts majeurs.