Tel Aviv, Israël, 13 novembre 2025, Chainwire
Certora , partenaire de confiance en matière de sécurité pour les équipes les plus pointues du Web3, annonce aujourd'hui un partenariat stratégique avec Cork , protocole pionnier en matière d'infrastructure de gestion des risques pour DeFi , et Hypernative , leader de la surveillance des menaces en temps réel. Grâce à cette collaboration, Certora devient le partenaire de sécurité de référence 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 à l'exploitation.
Ce partenariat réunit trois acteurs majeurs engagés dans le renforcement de la sécurité et de 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 d'Hypernative, les utilisateurs de Cork bénéficieront de garanties de niveau institutionnel et d'une gestion proactive des risques, conçues pour la nouvelle génération de la finance onchain.
« Dans DeFi, une sécurité classique ne suffit plus », a déclaré Baptiste Florentin, directeur technique de Cork. « Notre équipe se consacre au développement d'infrastructures de marché critiques, et les risques sont bien réels. Nous avons choisi Certora pour aller au-delà des audits ponctuels et mettre en place une stratégie de sécurité globale et intégrée, en parfaite synergie avec notre code source, la gestion des changements et nos opérations de production. »
À mesure que l'écosystème Web3 se développe, le coût d'une sécurité insuffisante ne cesse d'augmenter. Selon le 2024 du Centre de plaintes pour la cybercriminalité (IC3) du FBI, les fraudes liées aux cryptomonnaies ont engendré 9,3 milliards de dollars de pertes, soit une hausse de 66 % par rapport à l'année précédente, avec près de 150 000 plaintes concernant des actifs numériques. Des partenariats comme celui-ci visent à inverser cette tendance en rehaussant les normes de sécurité et de gestion des risques du secteur. L'approche actuelle des DeFi est désormais insuffisante ; le secteur exige une sécurité plus avancée et proactive.
Certora marque une nouvelle étape dans l'amélioration de notre approche de la sécurité grâce à une collaboration avec les meilleurs acteurs du secteur. Précurseurs d'un modèle inédit qui rehausse les normes de sécurité DeFi , Certora et Cork s'associent pour le proposer pour la première fois sur le marché.
« Certora a été fondée pour apporter aux systèmes décentralisés la rigueur des normes d'assurance de niveau entreprise, utilisées dans des secteurs comme l'aéronautique et la finance », a déclaré Seth Hallem, PDG de Certora. « En nous associant à Cork et Hypernative, nous ne nous contentons pas d'aider un seul protocole ; nous contribuons àdefila manière dont le Web3 gère les risques, la transparence et la résilience opérationnelle. »
« La sécurité du Web3 franchit aujourd'hui une nouvelle étape pour éliminer les acteurs malveillants de ce secteur », a ajouté Gal Sagie, cofondateur et PDG d'Hypernative. « Mais je suis tout aussi ravi que, grâce à cette collaboration, nous trouvions également des moyens de rehausser les normes de risque pour tous les acteurs de ce domaine. »
Cork, Certora et Hypernative collaborent à l'élaboration d'un modèle permettant d'intégrer la sécurité dès la conception des protocoles, créant ainsi des systèmes non seulement plus sûrs pour les utilisateurs, mais aussi plus robustes et évolutifs pour les développeurs. Pour en savoir plus sur ce partenariat, veuillez consulter ce blog .
À propos de Certora
Certora est une entreprise spécialisée dans la sécurité blockchain qui fournit des outils de vérification formelle de pointe et des audits detracintelligents. Son produit phare, Prover, aide des protocoles comme Aave, Lido et Maker à intégrer la puissance de la vérification formelle dans leur processus de développement afin de détecter même les bugs les plus rares et difficiles à repérer.
À propos de Cork
Cork introduit un nouveau composant de gestion des risques tokenisés, servant de couche de risque programmable pour les actifs on-chain tels que les tokens de coffre-fort, les stablecoins à rendement, les tokens de (re)staking liquides et les RWA. Ce composant permet aux gestionnaires d'actifs et aux émetteurs de créer des marchés de swaps personnalisés qui améliorent la liquidité des rachats, la transparence des risques et la confiance du marché pour leurs actifs on-chain. Soutenu par a16z crypto, OrangeDAO et Steakhouse Financial, Cork développe l'infrastructure de gestion des risques nécessaire pour attirer des capitaux institutionnels sur les marchés de crédit on-chain.
À propos d'Hypernative
Hypernative est une solution de surveillance en temps réel, de détection des risques et de réponse automatisée qui dent les menaces avec une grande précision, offrant ainsi aux clients de précieuses minutes pour réagir avant que les failles de sécurité ne causent des dommages. La plateforme trac les sources de données on-chain et off-chain. Elle utilise des modèles d'apprentissage automatique sophistiqués et éprouvés, des heuristiques, des simulations et des détections basées sur les graphes pour identifier dent de 300 types de risques, allant des piratages de contrats intelligents trac des incidents de sécurité de ponts dent compromissions de front-end, aux manipulations de marché et au vol de clés privées. Pour plus d'informations, consultez hypernative.io .
Contact
Wahaj Khan
Serotonin,
responsable principal des relations publiques
[email protégé]
Avertissement : Il est conseillé aux lecteurs de mener leurs propres recherches avant d’entreprendre toute action concernant la société mise en avant, ses filiales ou ses services. Cryptopolitan décline toute responsabilité, directe ou indirecte, pour tout dommage ou perte causé ou prétendument causé par l’utilisation ou la confiance accordée au contenu, aux biens ou aux services mentionnés dans ce communiqué.
