Certora nawiązuje współpracę z Cork i Hypernative, aby ustanowić nowy standard bezpieczeństwa Web3

13 listopada 2025 – Tel Awiw, Izrael

Certora, partner ds. zapewnienia bezpieczeństwa zaufany przez najbardziej zaawansowane zespoły w Web3, ogłosił dziś strategiczne partnerstwo z Cork, protokołem pionierskim w zakresie infrastruktury zarządzania ryzykiem dla DeFi, oraz Hypernative, liderem w monitorowaniu zagrożeń w czasie rzeczywistym.

Dzięki tej współpracy Certora staje się oficjalnym partnerem ds. bezpieczeństwa Cork, wdrażając zabezpieczenia na każdym etapie cyklu życia protokołu – od projektowania i weryfikacji, przez wdrożenie, monitorowanie, aż po operacje.

To partnerstwo łączy trzech liderów zaangażowanych w rozwój bezpieczeństwa i integralności systemów Web3. Łącząc formalną weryfikację i kompleksowe ramy bezpieczeństwa Certora z zaawansowanym monitorowaniem w czasie rzeczywistym Hypernative, użytkownicy Cork zyskują zabezpieczenia na poziomie instytucjonalnym oraz proaktywne zarządzanie ryzykiem, zaprojektowane z myślą o nowej generacji finansów onchain.

„Standardowe podejście do bezpieczeństwa nie wystarcza w DeFi” – powiedział Baptiste Florentin, CTO Cork. „Jesteśmy skoncentrowanym zespołem budującym kluczową infrastrukturę rynkową, a ryzyka są realne. Wybraliśmy Certora, aby wyjść poza jednorazowe audyty i zbudować całościową, kompleksową dyscyplinę bezpieczeństwa, głęboko zintegrowaną z naszym kodem, zarządzaniem zmianami i operacjami produkcyjnymi.”

Wraz ze skalowaniem się ekosystemu Web3, koszty słabego bezpieczeństwa stale rosną. Według raportu FBI Internet Crime Complaint Center (IC3) za 2024 rok, oszustwa związane z kryptowalutami spowodowały straty w wysokości 9.3 miliarda dolarów, co stanowi wzrost o 66% w porównaniu z poprzednim rokiem, przy prawie 150 000 zgłoszeń dotyczących aktywów cyfrowych. Takie partnerstwa mają na celu odwrócenie tego trendu poprzez podniesienie branżowych standardów bezpieczeństwa i zarządzania ryzykiem. Obecne podejście do audytów DeFi nie jest już wystarczające – branża wymaga teraz bardziej zaawansowanej i proaktywnej postawy w zakresie bezpieczeństwa. 

Certora wyznacza nowy kierunek w dojrzewaniu naszego podejścia do bezpieczeństwa, współpracując z najlepszymi w branży. Pionierski model podnoszący standardy bezpieczeństwa DeFi, Certora i Cork wprowadzają na rynek po raz pierwszy.

„Certora została założona, aby wprowadzić rygor zapewnienia na poziomie przedsiębiorstw, stosowany w branżach takich jak aeronautyka i finanse, do systemów zdecentralizowanych” – powiedział Seth Hallem, CEO Certora. „Współpracując z Cork i Hypernative, nie pomagamy tylko jednemu protokołowi; pomagamy na nowo zdefiniować, jak Web3 radzi sobie z ryzykiem, przejrzystością i odpornością operacyjną.”„Bezpieczeństwo Web3 robi dziś kolejny krok naprzód, aby wyeliminować złych aktorów w tej branży” – dodał Gal Sagie, współzałożyciel i CEO Hypernative. „Ale równie cieszy mnie to, że dzięki tej współpracy znajdujemy także sposoby na podniesienie standardów ryzyka dla wszystkich działających w tej przestrzeni.”

Wspólnie Cork, Certora i Hypernative budują model pokazujący, jak protokoły mogą wdrażać bezpieczeństwo już na etapie projektowania, tworząc systemy nie tylko bezpieczniejsze dla użytkowników, ale także bardziej odporne i skalowalne dla deweloperów.

O Certora

Certora to firma zajmująca się bezpieczeństwem blockchain, oferująca wiodące w branży narzędzia do formalnej weryfikacji oraz audyty smart kontraktów. Flagowy produkt Certora, Prover, pomaga takim protokołom jak Aave, Lido i Maker integrować formalną weryfikację w procesie rozwoju, aby wykrywać nawet rzadkie i trudne do znalezienia błędy.

O Cork

Cork wprowadza nowy prymityw dla tokenizowanego ryzyka, służąc jako programowalna warstwa ryzyka dla aktywów onchain, takich jak tokeny skarbcowe, stablecoiny generujące zysk, płynne tokeny (re)stakingowe oraz RWAs. Podstawowy prymityw Cork umożliwia zarządzającym aktywami i emitentom tworzenie niestandardowych rynków swapowych, które zwiększają płynność wykupu, przejrzystość ryzyka i zaufanie rynkowe do ich aktywów onchain. Wspierany przez a16z crypto, OrangeDAO i Steakhouse Financial, Cork buduje infrastrukturę ryzyka niezbędną do przyciągnięcia kapitału instytucjonalnego na rynki kredytowe onchain.

O Hypernative

Hypernative to rozwiązanie do monitorowania w czasie rzeczywistym, wykrywania ryzyka i automatycznej reakcji, które identyfikuje zagrożenia z wysoką dokładnością, dając klientom cenne minuty na reakcję zanim dojdzie do nadużyć. Platforma śledzi zarówno źródła danych onchain, jak i offchain. Wykorzystuje sprawdzone w boju, zaawansowane modele uczenia maszynowego, heurystyki, symulacje i wykrywanie oparte na grafach, aby identyfikować ponad 300 typów ryzyka – od ataków na smart kontrakty i incydentów bezpieczeństwa mostów, po kompromitacje frontendów, manipulacje rynkowe i kradzieże kluczy prywatnych.

Kontakt

Senior PR Manager
Wahaj Khan
Serotonin