Tel Aviv, Israeli, Novemba 13, 2025 / Chainwire /-- , mshirika wa uhakika wa usalama wa kuaminika na timu za juu zaidi katika Web3, leo ilitangaza ushirikiano wa kimkakati na , mkakati wa kwanza wa miundombinu ya usimamizi wa hatari kwa DeFi, na Kwa njia ya ushirikiano huu, Certora inakuwa Mshirika wa Usalama wa Rekodi ya Cork, kuingiza usalama katika kila ngazi ya mzunguko wa maisha ya mkataba, kutoka kwa kubuni na ukaguzi hadi utekelezaji, ufuatiliaji na utendaji. uhakika ya Cork ya Hypernative uhakika ya Cork ya Hypernative Ushirikiano huu unajumuisha viongozi watatu wanaojitolea kuendeleza usalama na uaminifu wa mifumo ya Web3. Kwa kuchanganya uhakiki wa rasmi wa Certora na mfumo wa usalama wa mwisho hadi mwisho na ufuatiliaji wa juu wa wakati halisi wa Hypernative, watumiaji wa Cork watafaidika na ulinzi wa kiwango cha taasisi na kupunguza hatari ya haraka iliyoundwa kwa kizazi kipya cha fedha za mtandao. "Usalama wa biashara kama kawaida hauwezi kuharibu DeFi," alisema Baptiste Florentin, CTO wa Cork. "Sisi ni timu iliyojitegemea ya kujenga miundombinu muhimu ya soko, na hatari ni halisi. Tumechagua Certora kwenda zaidi ya uchunguzi wa wakati na kujenga kielelezo cha usalama cha mwisho kwa mwisho ambacho kinaunganishwa kwa kina na msingi wetu wa msimbo, usimamizi wa mabadiliko, na shughuli za uzalishaji." "Usalama wa biashara kama kawaida hauwezi kuharibu DeFi," alisema Baptiste Florentin, CTO wa Cork. "Sisi ni timu iliyojitegemea ya kujenga miundombinu muhimu ya soko, na hatari ni halisi. Tumechagua Certora kwenda zaidi ya uchunguzi wa wakati na kujenga kielelezo cha usalama cha mwisho kwa mwisho ambacho kinaunganishwa kwa kina na msingi wetu wa msimbo, usimamizi wa mabadiliko, na shughuli za uzalishaji." Kama mazingira ya Web3 inazidi kupanua, gharama ya usalama mbaya inaendelea kuongezeka. (IC3) ripoti, udanganyifu unaohusiana na crypto ulihusisha $ 9.3 bilioni katika hasara, ongezeko la 66% ikilinganishwa na mwaka uliopita, na malalamiko karibu 150,000 yanayohusiana na mali za digital. ushirikiano kama huu unalenga kurekebisha mwelekeo huu kwa kuongeza kiwango cha msingi cha sekta kwa ajili ya usalama na hatari. FBI’s 2024 Internet Crime Complaint Center FBI’s 2024 Internet Crime Complaint Center Certora inaonyesha njia mpya mbele katika kukua mbinu yetu ya usalama kwa kufanya kazi na bora katika biashara. Kuanzisha mfano mpya ambao unakua viwango vya usalama wa DeFi, Certora na Cork ni pamoja katika kuleta hii kwenye soko kwa mara ya kwanza. "Certora ilianzishwa ili kuleta ujasiri wa uhakika wa kiwango cha biashara, kutumika katika viwanda kama vile uwanja wa ndege na fedha, kwa mifumo ya kipekee," alisema Seth Hallem, Mkurugenzi Mtendaji wa Certora. "Kwa kushirikiana na Cork na Hypernative, hatuwezi tu kusaidia mkataba mmoja; tunasaidia kufafanua jinsi Web3 inavyoshughulikia hatari, uwazi, na uvumilivu wa uendeshaji." "Certora ilianzishwa ili kuleta ujasiri wa uhakika wa kiwango cha biashara, kutumika katika viwanda kama vile uwanja wa ndege na fedha, kwa mifumo ya kipekee," alisema Seth Hallem, Mkurugenzi Mtendaji wa Certora. "Kwa kushirikiana na Cork na Hypernative, hatuwezi tu kusaidia mkataba mmoja; tunasaidia kufafanua jinsi Web3 inavyoshughulikia hatari, uwazi, na uvumilivu wa uendeshaji." "Usalama wa Web3 unachukua hatua nyingine leo ili kuondoa wachezaji mbaya katika sekta hii," aliongeza Gal Sagie, mwanzilishi na Mkurugenzi Mtendaji wa Hypernative. "Lakini nina furaha sawa kwamba kupitia ushirikiano huu, tunapata njia za kuongeza viwango vya hatari kwa kila mtu anayefanya kazi katika nafasi hii." "Usalama wa Web3 unachukua hatua nyingine leo ili kuondoa wachezaji mbaya katika sekta hii," aliongeza Gal Sagie, mwanzilishi na Mkurugenzi Mtendaji wa Hypernative. "Lakini nina furaha sawa kwamba kupitia ushirikiano huu, tunapata njia za kuongeza viwango vya hatari kwa kila mtu anayefanya kazi katika nafasi hii." Pamoja, Cork, Certora, na Hypernative wanajenga mfano wa jinsi protocols zinaweza kuingiza usalama kwa kubuni, kuunda mifumo ambayo sio tu salama kwa watumiaji lakini pia imara zaidi na inapatikana kwa watengenezaji. . Blog ya Blog ya Kuhusu uhakika Certora ni kampuni ya usalama ya blockchain ambayo hutoa zana za uhakiki wa kisheria na uchunguzi wa mikataba ya akili. bidhaa ya uhakiki ya bandari ya Certora, Prover, inasaidia protocols kama vile Aave, Lido, na Maker kuunganisha nguvu ya uhakiki wa kisheria katika mstari wao wa maendeleo ili kukamata hata makosa ya nadra na ya vigumu kupata. Kuhusu Cork Cork hutoa primitive mpya kwa hatari ya tokenized, ambayo inafanya kazi kama kiwango cha hatari cha programu kwa mali za onchain kama vile tokens za kuhifadhi, stablecoins zinazohusika, tokens za maji (re)staking, na RWAs. primitive ya msingi ya Cork inaruhusu wasimamizi wa mali na wasambazaji kuendesha masoko ya swap ya kibinafsi ambayo husaidia kuboresha utoaji wa fedha, uwazi wa hatari, na ujasiri wa soko kwa mali zao za onchain. Kuungwa mkono na crypto a16z, OrangeDAO & Steakhouse Financial, Cork inajenga miundombinu ya hatari inayohitajika ili kuleta fedha za taasisi kwenye masoko ya mkopo ya juu. Kuhusu Hypernative Hypernative ni ufuatiliaji wa muda halisi, uchunguzi wa hatari, na suluhisho la majibu ya moja kwa moja ambayo inatambua vitisho kwa usahihi mkubwa, kuwapa wateja dakika za thamani ili kujibu kabla ya matumizi yanaweza kusababisha uharibifu. jukwaa linafuatilia vyanzo vyote vya data vya onchain na offchain. Inatumia mifano ya ujuzi wa mashine iliyo na majaribio, heuristics, simulations, na uchunguzi wa graph-based kutambua aina zaidi ya 300 za hatari, kutoka kwa mashambulizi ya mikataba ya akili na matukio ya usalama ya mstari hadi vikwazo vya mbele, udanganyifu wa soko, na ukatili wa msingi wa kibinafsi. . Hifadhi ya Hifadhi.io Hifadhi ya Hifadhi.io Mawasiliano ya Meneja wa PR Wahaj Khan Serotonin ya Tazama kwa makini.co Hadithi hii ilichapishwa kama taarifa ya vyombo vya habari na Chainwire chini ya HackerNoon's Business Blogging Program. Kufanya utafiti wako mwenyewe kabla ya kufanya uamuzi wowote wa kifedha. Hadithi hii ilichapishwa kama taarifa ya vyombo vya habari na Chainwire chini ya HackerNoon's Business Blogging Program. Kufanya utafiti wako mwenyewe kabla ya kufanya uamuzi wowote wa kifedha. Programu ya Programu ya