Certora s'associe à Cork et Hypernative pour établir une nouvelle norme en matière de sécurité Web3
13 novembre 2025 – Tel Aviv, Israël
Certora, le partenaire de confiance en matière d'assurance sécurité pour les équipes les plus avancées du Web3, a annoncé aujourd'hui un partenariat stratégique avec Cork, un protocole pionnier dans l'infrastructure de gestion des risques pour la DeFi, et Hypernative, un leader de la surveillance des menaces en temps réel.
Grâce à cette collaboration, Certora devient le Security Partner of Record de Cork, intégrant la sécurité à chaque étape du cycle de vie du protocole, de la conception et la vérification au déploiement, à la surveillance et aux opérations.
Ce partenariat réunit trois leaders engagés à faire progresser la sécurité et l'intégrité des systèmes Web3. En combinant la vérification formelle et le cadre de sécurité de bout en bout de Certora avec la surveillance avancée en temps réel de Hypernative, les utilisateurs de Cork bénéficieront de protections de niveau institutionnel et de mesures proactives d'atténuation des risques conçues pour la prochaine génération de finance onchain.
« La sécurité habituelle ne suffit tout simplement pas dans la DeFi », a déclaré Baptiste Florentin, CTO de Cork. « Nous sommes une équipe concentrée sur la construction d'une infrastructure de marché essentielle, et les risques sont réels. Nous avons choisi Certora pour aller au-delà des audits ponctuels et construire une discipline de sécurité holistique et de bout en bout, profondément intégrée à notre base de code, à la gestion des changements et aux opérations de production. »
À mesure que l'écosystème Web3 se développe, le coût d'une sécurité faible ne cesse d'augmenter. Selon le rapport 2024 de l'Internet Crime Complaint Center (IC3) du FBI, les fraudes liées aux crypto-monnaies ont représenté 9,3 milliards de dollars de pertes, soit une augmentation de 66 % par rapport à l'année précédente, avec près de 150 000 plaintes impliquant des actifs numériques. Des partenariats comme celui-ci visent à inverser cette tendance en élevant le niveau de base de l'industrie en matière de sécurité et de normes de gestion des risques. L'approche actuelle des audits DeFi n'est plus suffisante, l'industrie exige désormais une posture de sécurité plus avancée et proactive.
Certora marque une nouvelle voie dans la maturation de notre approche de la sécurité en collaborant avec les meilleurs du secteur. En pionnier d'un nouveau modèle qui élève les standards de la sécurité DeFi, Certora et Cork s'unissent pour l'apporter sur le marché pour la première fois.
« Certora a été fondée pour apporter la rigueur de l'assurance de niveau entreprise, utilisée dans des secteurs comme l'aéronautique et la finance, aux systèmes décentralisés », a déclaré Seth Hallem, CEO de Certora. « En collaborant avec Cork et Hypernative, nous n'aidons pas seulement un protocole ; nous contribuons à redéfinir la manière dont le Web3 gère le risque, la transparence et la résilience opérationnelle. »« La sécurité Web3 franchit aujourd'hui une nouvelle étape pour éliminer les mauvais acteurs de cette industrie », a ajouté Gal Sagie, cofondateur et CEO de Hypernative. « Mais je suis tout aussi heureux que, grâce à cette collaboration, nous trouvions également des moyens d'élever les standards de gestion des risques pour tous les acteurs de cet espace. »
Ensemble, Cork, Certora et Hypernative construisent un modèle permettant aux protocoles d'intégrer la sécurité dès la conception, créant ainsi des systèmes non seulement plus sûrs pour les utilisateurs, mais aussi plus robustes et évolutifs pour les développeurs.
À propos de Certora
Certora est une entreprise de sécurité blockchain qui fournit des outils de vérification formelle de pointe et des audits de smart contracts. Le produit phare de Certora, Prover, aide des protocoles comme Aave, Lido et Maker à intégrer la puissance de la vérification formelle dans leur pipeline de développement afin de détecter même les bugs les plus rares et difficiles à trouver.
À propos de Cork
Cork introduit un nouveau primitif pour le risque tokenisé, servant de couche de risque programmable pour les actifs onchain tels que les vault tokens, les stablecoins générant du rendement, les tokens de (re)staking liquides et les RWAs. Le primitif central de Cork permet aux gestionnaires d'actifs et aux émetteurs de créer des marchés d'échange personnalisés qui améliorent la liquidité de rachat, la transparence des risques et la confiance du marché pour leurs actifs onchain. Soutenu par a16z crypto, OrangeDAO & Steakhouse Financial, Cork construit l'infrastructure de gestion des risques nécessaire pour attirer le capital institutionnel dans les marchés de crédit onchain.
À propos de Hypernative
Hypernative est une solution de surveillance en temps réel, de détection des risques et de réponse automatisée qui identifie les menaces avec une grande précision, offrant aux clients des minutes précieuses pour réagir avant que les exploits ne causent des dommages. La plateforme suit à la fois les sources de données onchain et offchain. Elle utilise des modèles de machine learning sophistiqués et éprouvés, des heuristiques, des simulations et des détections basées sur des graphes pour identifier plus de 300 types de risques, allant des hacks de smart contracts et incidents de sécurité de bridges aux compromissions de frontend, manipulations de marché et vols de clés privées.
Contact
Senior PR Manager
Wahaj Khan
Serotonin
Avertissement : le contenu de cet article reflète uniquement le point de vue de l'auteur et ne représente en aucun cas la plateforme. Cet article n'est pas destiné à servir de référence pour prendre des décisions d'investissement.
Vous pourriez également aimer
Ark Invest achète pour 15,6 millions de dollars d’actions Circle, ajoute des positions sur BitMine et Bullish
En bref : Ark Invest de Cathie Wood a acheté pour 15,56 millions de dollars d’actions de Circle Internet Group à travers trois de ses ETF jeudi. Ces trois ETF ont également acquis pour 8,86 millions de dollars d’actions BitMine et pour 7,28 millions de dollars d’actions Bullish.

SACHI × Microsoft Azure : Alimenter la prochaine génération de jeux en cloud

Les fissures économiques s'approfondissent, Bitcoin pourrait devenir la prochaine « soupape de décompression » de la liquidité.
L'économie américaine présente un état de division, avec une prospérité des marchés financiers coexistante avec un déclin de l'économie réelle. L'indice PMI manufacturier continue de se contracter, tandis que le marché boursier grimpe en raison de la concentration des profits dans les entreprises technologiques et financières, entraînant une inflation des bilans. La politique monétaire bénéficie difficilement à l'économie réelle, et la politique budgétaire fait face à des difficultés. La structure du marché conduit à une faible efficacité du capital, creusant l'écart entre riches et pauvres et intensifiant le mécontentement social. Les crypto-monnaies sont considérées comme une soupape de sécurité, offrant des opportunités financières ouvertes. L'économie oscille entre ajustements politiques et réactions du marché, sans véritable reprise substantielle. Résumé généré par Mars AI. Ce résumé a été produit par le modèle Mars AI, dont la précision et l’exhaustivité sont encore en phase d’amélioration continue.

La vague de liquidations de cryptomonnaies ne s’arrête pas ! Les ETF Bitcoin américains enregistrent la deuxième plus importante sortie de capitaux de leur histoire en une seule journée
Sous l'effet de la réévaluation des attentes concernant la baisse des taux de la Fed et du recul du rebond des actions américaines, le marché des cryptomonnaies continue de subir des liquidations, les fonds quittent massivement les ETF et les traders d'options misent davantage sur la volatilité. Les institutions avertissent que le support technique au-dessus de 90 000 dollars pour le bitcoin est faible.

