Tel Aviv, Israel, 13. November 2025, Chainwire
Certora , der von den fortschrittlichsten Teams im Web3-Bereich geschätzte Sicherheitspartner, gab heute eine strategische Partnerschaft mit Cork , einem wegweisenden Protokoll für Risikomanagement-Infrastruktur im DeFi , und Hypernative , einem führenden Anbieter von Echtzeit-Bedrohungsüberwachung, bekannt. Durch diese Zusammenarbeit wird Certora zum offiziellen Sicherheitspartner von Cork und integriert Sicherheit in jede Phase des Protokolllebenszyklus – von Design und Verifizierung über Bereitstellung und Überwachung bis hin zum Betrieb.
Diese Partnerschaft vereint drei führende Unternehmen, die sich der Verbesserung der Sicherheit und Integrität von Web3-Systemen verschrieben haben. Durch die Kombination von Certoras formaler Verifizierung und durchgängigem Sicherheitsframework mit Hypernatives fortschrittlichem Echtzeit-Monitoring profitieren Cork-Nutzer von Sicherheitsvorkehrungen auf institutionellem Niveau und proaktiver Risikominderung, die speziell für die nächste Generation des On-Chain-Finanzwesens entwickelt wurden.
„Standardmäßige Sicherheitsmaßnahmen reichen im DeFieinfach nicht aus“, sagte Baptiste Florentin, CTO von Cork. „Wir sind ein fokussiertes Team, das kritische Marktinfrastruktur aufbaut, und die Risiken sind real. Wir haben uns für Certora entschieden, um über punktuelle Audits hinauszugehen und eine ganzheitliche, durchgängige Sicherheitsstrategie zu entwickeln, die tief in unsere Codebasis, unser Änderungsmanagement und unseren Produktionsbetrieb integriert ist.“
Mit dem Wachstum des Web3-Ökosystems steigen auch die Kosten mangelnder Sicherheit. Laut dem des FBI Internet Crime Complaint Center (IC3) aus dem Jahr 2024 verursachten Kryptobetrugsschäden in Höhe von 9,3 Milliarden US-Dollar – ein Anstieg von 66 % gegenüber dem Vorjahr. Knapp 150.000 Anzeigen betrafen digitale Vermögenswerte. Partnerschaften wie diese zielen darauf ab, diesen Trend umzukehren, indem sie die branchenweiten Sicherheits- und Risikostandards anheben. Der aktuelle Ansatz bei DeFi -Audits ist nicht mehr ausreichend; die Branche fordert nun ein fortschrittlicheres und proaktiveres Sicherheitskonzept.
Certora ebnet den Weg für einen fortschrittlicheren Sicherheitsansatz durch die Zusammenarbeit mit den Besten der Branche. Als Pioniere eines neuen Modells, das die Sicherheitsstandards für DeFi anhebt, bringen Certora und Cork dieses gemeinsam erstmals auf den Markt.
„Certora wurde gegründet, um die hohen Sicherheitsstandards von Unternehmen, wie sie in Branchen wie der Luft- und Raumfahrt sowie im Finanzwesen Anwendung finden, auf dezentrale Systeme zu übertragen“, so Seth Hallem, CEO von Certora. „Durch die Partnerschaft mit Cork und Hypernative unterstützen wir nicht nur ein einzelnes Protokoll, sondern tragen dazu bei, die Art und Weise, wie Web3 mit Risiken, Transparenz und operativer Resilienz umgeht, neu zudefi.“
„Die Sicherheit im Web3-Bereich macht heute einen weiteren großen Schritt, um die unseriösen Akteure in dieser Branche herauszufiltern“, fügte Gal Sagie, Mitgründer und CEO von Hypernative, hinzu. „Ich freue mich aber ebenso, dass wir durch diese Zusammenarbeit auch Wege finden, die Risikostandards für alle Akteure in diesem Bereich zu erhöhen.“
Cork, Certora und Hypernative entwickeln gemeinsam ein Modell, das zeigt, wie Sicherheit von Grund auf in Protokolle integriert werden kann. So entstehen Systeme, die nicht nur sicherer für Nutzer, sondern auch robuster und skalierbarer für Entwickler sind. Weitere Informationen zu dieser Partnerschaft finden Sie in diesem Blog .
Über Certora
Certora ist ein Blockchain-Sicherheitsunternehmen, das branchenführende Tools für die formale Verifizierung und intelligentetracanbietet. Das Flaggschiffprodukt von Certora, Prover, unterstützt Protokolle wie Aave, Lido und Maker dabei, die Vorteile der formalen Verifizierung in ihre Entwicklungsprozesse zu integrieren, um selbst seltene und schwer auffindbare Fehler aufzuspüren.
Über Cork
Cork stellt ein neues Grundelement für tokenisierte Risiken vor und dient als programmierbare Risikoschicht für On-Chain-Assets wie Vault-Token, renditestarke Stablecoins, liquide (Re-)Staking-Token und risikogewichtete Vermögenswerte (RWA). Das Kernelement von Cork ermöglicht es Vermögensverwaltern und Emittenten, individuelle Swap-Märkte zu schaffen, die die Rücknahmeliquidität, die Risikotransparenz und das Marktvertrauen für ihre On-Chain-Assets verbessern. Unterstützt von a16z crypto, OrangeDAO und Steakhouse Financial, baut Cork die notwendige Risikoinfrastruktur auf, um institutionelles Kapital in On-Chain-Kreditmärkte zu lenken.
Über Hypernative
Hypernative ist eine Echtzeit-Überwachungs-, Risikoerkennungs- und automatisierte Reaktionslösung, die Bedrohungen mit hoher Genauigkeit identifiziert und Kunden wertvolle Minuten zur Reaktion verschafft, bevor Sicherheitslücken Schaden anrichten können. Die Plattform dent trac On-Chain- als auch Off-Chain-Datenquellen. Sie nutzt bewährte, hochentwickelte Modelle des maschinellen Lernens, Heuristiken, Simulationen und graphenbasierte Erkennungsmethoden, um über 300 Risikotypen dent trac -Hacks und Sicherheitslücken in Bridges dent hin zu Frontend-Kompromittierungen, Marktmanipulationen und dem Diebstahl privater Schlüssel. Weitere Informationen finden Sie unter hypernative.io .
Kontakt
Senior PR Manager
Wahaj Khan
Serotonin
[email protected]
Haftungsausschluss. Dies ist eine bezahlte Pressemitteilung. Leser sollten eigene Recherchen durchführen, bevor sie Maßnahmen im Zusammenhang mit dem beworbenen Unternehmen, seinen verbundenen Unternehmen oder Dienstleistungen ergreifen. Cryptopolitan.com Cryptopolitan weder direkt noch indirekt für Schäden oder Verluste, die durch die Nutzung oder das Vertrauen auf die in dieser Pressemitteilung erwähnten Inhalte, Waren oder Dienstleistungen verursacht wurden oder angeblich verursacht wurden.
