Certora a annoncé un partenariat stratégique avec Cork et Hypernative pour renforcer les normes de sécurité dans l'espace Web3. En tant que partenaire de sécurité officiel de Cork, Certora intégrera des mesures de sécurité tout au long du cycle de vie du protocole, en s'appuyant sur sa vérification formelle et son cadre de sécurité. Cette collaboration sera complétée par la surveillance des menaces en temps réel de Hypernative, visant à fournir des protections robustes pour la finance onchain. Ce partenariat intervient en réponse à une augmentation significative des fraudes liées aux cryptomonnaies, qui ont augmenté de 66 % pour atteindre 9,3 milliards de dollars, selon le rapport IC3 2024 du FBI. Seth Hallem, PDG de Certora, a souligné que l'objectif de cette initiative est de redéfinir la gestion des risques et la résilience opérationnelle dans le Web3. Gal Sagie, PDG de Hypernative, a mis en avant le rôle du partenariat dans l'élévation des normes de risque de l'industrie, visant à intégrer la sécurité dès la conception pour une meilleure sécurité et évolutivité.