Dies ist eine Übersetzung des ursprünglichen englischen Artikels.
Tel Aviv, Israel, 13. November 2025, Chainwire
Certora, der Sicherheitsgarantiepartner, dem die fortschrittlichsten Teams in Web3 vertrauen, gab heute eine strategische Partnerschaft mit Cork, einem Protokoll, das Infrastruktur für das Risikomanagement im DeFi-Bereich pioniert, und Hypernative, einem führenden Anbieter für die Überwachung von Bedrohungen in Echtzeit, bekannt. Durch diese Zusammenarbeit wird Certora Corks Sicherheitspartner und integriert Sicherheit in jede Phase des Lebenszyklus des Protokolls, von der Entwicklung und Verifizierung bis hin zu Einsatz, Überwachung und 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 Verifikation und End-to-End-Sicherheitsrahmen mit Hypernatives fortschrittlicher Echtzeitüberwachung profitieren Cork-Nutzer von institutionellen Sicherheitsmaßnahmen und proaktiver Risikominderung, die für die nächste Generation der Onchain-Finanzierung konzipiert sind.
„Die übliche Sicherheit reicht im DeFi-Bereich einfach 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 Prüfungen hinauszugehen und eine ganzheitliche, End-to-End-Sicherheitsdisziplin aufzubauen, die tief in unsere Codebasis, unser Änderungsmanagement und unsere Produktionsabläufe integriert ist.“
Während das Web3-Ökosystem skaliert, steigen die Kosten für schwache Sicherheitsmaßnahmen weiter. Laut dem FBI-Bericht 2024 über Internetkriminalität (IC3) machten krypto-bezogene Betrügereien 9,3 Milliarden Dollar an Verlusten aus, ein Anstieg von 66 % im Vergleich zum Vorjahr, mit nahezu 150.000 Beschwerden, die digitale Vermögenswerte betrafen. Partnerschaften wie diese zielen darauf ab, diesen Trend umzukehren, indem sie die Sicherheits- und Risikostandards in der Branche anheben. Der aktuelle Ansatz für DeFi-Audits reicht nicht mehr aus; die Branche verlangt jetzt eine weiterentwickelte und proaktive Sicherheitsstrategie.
Certora markiert einen neuen Weg zur Verbesserung unseres Ansatzes zur Sicherheit, indem wir mit den Besten der Branche zusammenarbeiten. Certora und Cork vereinen sich, um dieses neue Modell, das die Standards für DeFi-Sicherheit erhöht, erstmals auf den Markt zu bringen.
„Certora wurde gegründet, um die Strenge der Unternehmenssicherheit, die in Branchen wie Luftfahrt und Finanzen verwendet wird, auf dezentrale Systeme zu übertragen“, sagte Seth Hallem, CEO von Certora. „Durch die Partnerschaft mit Cork und Hypernative helfen wir nicht nur einem Protokoll; wir helfen, zu definieren, wie Web3 mit Risiken, Transparenz und operationeller Resilienz umgeht.“
„Die Web3-Sicherheit macht heute einen weiteren Sprung, um die schlechten Akteure in dieser Branche herauszufiltern“, fügte Gal Sagie, Mitbegründer und CEO von Hypernative, hinzu. „Aber ich freue mich ebenso, dass wir durch diese Zusammenarbeit auch Wege finden, um die Risikostandards für alle zu erhöhen, die in diesem Bereich tätig sind.“
Gemeinsam bauen Cork, Certora und Hypernative ein Modell dafür, wie Protokolle Sicherheit von Grund auf einbetten können, und schaffen Systeme, die nicht nur sicherer für Benutzer sind, sondern auch robuster und skalierbarer für Entwickler. Für ausführlichere Informationen über den Inhalt dieser Partnerschaft besuchen Sie bitte diesen Blog.
Über Certora
Certora ist ein Blockchain-Sicherheitsunternehmen, das branchenführende Werkzeuge zur formalen Verifikation und Smart Contract-Audits bereitstellt. Das Flaggschiff-Sicherheitsprodukt von Certora, Prover, hilft Protokollen wie Aave, Lido und Maker, die Leistungsfähigkeit der formalen Verifikation in ihren Entwicklungsprozess zu integrieren, um selbst die seltensten und schwer zu findenden Bugs zu erkennen.
Über Cork
Cork führt ein neues primitives Konzept für tokenisierte Risiken ein und dient als programmierbare Risikoschicht für Onchain-Vermögenswerte wie Vault-Token, ertragsgenerierende Stablecoins, liquide (re)stakende Token und RWAs. Der Kern von Cork ermöglicht es Vermögensverwaltern und Emittenten, maßgeschneiderte Swap-Märkte zu schaffen, die die Liquidität bei Einlösungen, die Risiko-Transparenz und das Vertrauen in den Markt für ihre Onchain-Vermögenswerte verbessern. Unterstützt von a16z crypto, OrangeDAO & Steakhouse Financial baut Cork die Risikoinfrastruktur auf, die erforderlich ist, um institutionelles Kapital in Onchain-Kreditmärkte zu bringen.
Über Hypernative
Hypernative ist eine Echtzeitüberwachungs-, Risikodetektion- und automatisierte Antwortlösung, die Bedrohungen mit hoher Genauigkeit identifiziert und den Kunden wertvolle Minuten gibt, um zu reagieren, bevor Exploits Schaden anrichten können. Die Plattform verfolgt sowohl Onchain- als auch Offchain-Datenquellen. Sie verwendet bewährte, komplexe maschinelle Lernmodelle, Heuristiken, Simulationen und graphbasierte Erkennungen, um über 300 Risikotypen zu identifizieren, von Smart Contract-Hacks und Sicherheitsvorfällen bei Brücken bis hin zu Frontend-Kompromittierungen, Marktmanipulationen und Diebstahl privater Schlüssel. Für weitere Informationen besuchen Sie hypernative.io.
Kontakt
Senior PR Manager
Wahaj Khan
Serotonin
wahaj@serotonin.co
