Certora hat eine strategische Partnerschaft mit Cork und Hypernative angekündigt, um die Sicherheitsstandards im Web3-Bereich zu verbessern. Als offizieller Sicherheitspartner von Cork wird Certora Sicherheitsmaßnahmen über den gesamten Lebenszyklus des Protokolls integrieren und dabei auf seine formale Verifikation und Sicherheitsframeworks zurückgreifen. Diese Zusammenarbeit wird durch das Echtzeit-Bedrohungsmonitoring von Hypernative ergänzt, mit dem Ziel, robuste Schutzmaßnahmen für Onchain-Finanzierungen bereitzustellen. Die Partnerschaft reagiert auf einen erheblichen Anstieg von Krypto-bezogenen Betrugsfällen, die laut dem IC3-Bericht des FBI für 2024 um 66 % auf 9,3 Milliarden US-Dollar gestiegen sind. Certora-CEO Seth Hallem betonte, dass das Ziel der Initiative darin besteht, das Risikomanagement und die operative Resilienz im Web3 neu zu definieren. Hypernative-CEO Gal Sagie hob die Rolle der Partnerschaft hervor, die Risikostandards der Branche anzuheben und Sicherheit durch Design zu verankern, um die Sicherheit und Skalierbarkeit zu verbessern.