Tel Aviv, Israel, 13 November 2025/Chainwire/-- , die sekuriteit versekering vennoot vertrou deur die mees gevorderde span in Web3, het vandag aangekondig 'n strategiese vennootskap met , 'n protokolle-pionier risiko-bestuursinfrastruktuur vir DeFi, en Deur hierdie samewerking word Certora Cork se Veiligheidspartner van Rekords, wat sekuriteit in elke laag van die lewenscyklus van die protokolle insluit, van ontwerp en verifikasie tot invoering, monitoring en bedrywighede. sekerheid Kork Hypernatiewe sekerheid Kork Hypernatiewe Deur die kombinasie van Certora se formele verifikasie en end-to-end sekuriteitsraamwerk met Hypernative se gevorderde real-time monitoring, sal Cork-gebruikers baat hê in institusionele sekuriteiteite en proaktiewe risiko-mindering ontwerp vir die volgende generasie van onchain finansiering. "Business-as-usual sekuriteit maak dit net nie in DeFi nie," het Baptiste Florentin, CTO van Cork, gesê. "Ons is 'n gefokuste span wat kritieke markinfrastruktuur bou, en die risiko's is werklik. Ons het Certora gekies om verder te gaan as punt-in-time audits en 'n holistiese, eind-tot-end sekuriteitsdissipline te bou wat diep geïntegreer is met ons kode-basis, verandering bestuur en produksie-operasies." "Business-as-usual sekuriteit maak dit net nie in DeFi nie," het Baptiste Florentin, CTO van Cork, gesê. "Ons is 'n gefokuste span wat kritieke markinfrastruktuur bou, en die risiko's is werklik. Ons het Certora gekies om verder te gaan as punt-in-time audits en 'n holistiese, eind-tot-end sekuriteitsdissipline te bou wat diep geïntegreer is met ons kode-basis, verandering bestuur en produksie-operasies." Soos die Web3-ekosisteem skaal, gaan die koste van swak sekuriteit voort. (IC3) verslag, crypto-gerelateerde bedrog verdien $ 9,3 miljard in verliese, 'n 66% toename in vergelyking met die vorige jaar, met byna 150,000 klagtes wat digitale aktiva betrek. vennootskappe soos hierdie doel om die tendens te draai deur die bedryf se basislyn vir sekuriteit en risiko standaarde te verhoog. FBI se 2024 Internet Crime Complaint Center FBI se 2024 Internet Crime Complaint Center Certora teken 'n nuwe pad vorentoe in die volwassenheid van ons benadering tot sekuriteit deur te werk met die beste in die besigheid. Pioneer 'n nuwe model wat die standaarde vir DeFi sekuriteit verhoog, Certora en Cork is verenig om dit vir die eerste keer op die mark te bring. "Certora is gestig om die strengheid van enterprise-grade versekering, wat in industries soos lugvaart en finansies gebruik word, na gedecentraliseerde stelsels te bring," het Seth Hallem, CEO van Certora, gesê. "Door die vennootskap met Cork en Hypernative, help ons nie net 'n protokol nie; ons help om te herdefineer hoe Web3 risiko, deursigtigheid en bedryfsbestendigheid hanteer." "Certora is gestig om die strengheid van enterprise-grade versekering, wat in industries soos lugvaart en finansies gebruik word, na gedecentraliseerde stelsels te bring," het Seth Hallem, CEO van Certora, gesê. "Door die vennootskap met Cork en Hypernative, help ons nie net 'n protokol nie; ons help om te herdefineer hoe Web3 risiko, deursigtigheid en bedryfsbestendigheid hanteer." "Web3 sekuriteit maak vandag nog 'n sprong om die slegte akteurs in hierdie bedryf uit te filter," het Gal Sagie, mede-oprichter en CEO van Hypernative, bygevoeg. "Maar ek is net so bly dat ons deur middel van hierdie samewerking ook maniere vind om die risiko standaarde vir almal wat in hierdie ruimte bedryf, te verhoog." "Web3 sekuriteit maak vandag nog 'n sprong om die slegte akteurs in hierdie bedryf uit te filter," het Gal Sagie, mede-oprichter en CEO van Hypernative, bygevoeg. "Maar ek is net so bly dat ons deur middel van hierdie samewerking ook maniere vind om die risiko standaarde vir almal wat in hierdie ruimte bedryf, te verhoog." Saam bou Cork, Certora en Hypernative 'n model vir hoe protokolle veiligheid deur ontwerp kan insluit, wat stelsels skep wat nie net veiliger is vir gebruikers nie, maar ook meer robuust en skaalbaar vir ontwikkelaars. . Die blog Die blog Oor die waarheid Certora is 'n blockchain sekuriteitsmaatskappy wat industrie-leiende formele verifikasie gereedskap en slim kontrak audit bied. Certora se vlaggenschip sekuriteitsproduk, Prover, help protokolle soos Aave, Lido en Maker om die krag van formele verifikasie in hul ontwikkelingspipeline te integreer om selfs die seldsame en moeilik te vind bugs te vang. Oor Cork Cork introduceer 'n nuwe primitiewe vir tokeniseer risiko, wat dien as 'n programmeerbare risiko laag vir onchain aktiva soos vault tokens, yield-bearing stablecoins, vloeibare (re)stacking tokens, en RWAs. Cork se kern primitiewe toelaat asset bestuurders en uitgewers om te spin op maat swap markte wat versterk losgeld, risiko transparantie, en mark vertroue vir hul onchain aktiva. Ondersteun deur a16z crypto, OrangeDAO & Steakhouse Financial, Cork bou die risiko-infrastruktuur wat nodig is om institusionele kapitaal in onchain kredietmarkte te bring. Oor Hypernatiewe Hypernative is 'n real-time monitoring, risiko-deteksie en outomatiese reaksie oplossing wat bedreigings met hoë akkuraatheid identifiseer, wat kliënte waardevolle minute gee om te reageer voordat exploits skade kan veroorsaak. Die platform spoor beide onchain en offchain data bronne. Dit gebruik gevestigde, gesofistikeerde masjienleringsmodelle, heuristieke, simulasie en graafgebaseerde deteksies om meer as 300 tipe risiko te identifiseer, van slim kontrak hacking en brug veiligheidsincidente tot frontend kompromieë, markmanipulasie en private sleutel diefooi. . Hysterieë.eu Hysterieë.eu Kontak Senior PR bestuurder Waai Khan Serotonien waarskuwing@serotonin.co Hierdie storie is gepubliseer as 'n persverklaring deur Chainwire onder HackerNoon se Business Blogging Program. Hierdie storie is gepubliseer as 'n persverklaring deur Chainwire onder HackerNoon se Business Blogging Program. Die program Die program