Dit is een vertaling van het originele Engelstalige artikel.
Tel Aviv, Israël, 13 november 2025, Chainwire
Certora, de beveiligingspartner die wordt vertrouwd door de meest geavanceerde teams in Web3, heeft vandaag een strategische samenwerking aangekondigd met Cork, een protocol dat baanbrekende risicobeheerinfrastructuur voor DeFi ontwikkelt, en Hypernative, een leider in realtime dreigingsmonitoring. Door deze samenwerking wordt Certora Cork’s Security Partner of Record, waarbij beveiliging in elke laag van de levenscyclus van het protocol wordt ingebed, van ontwerp en verificatie tot implementatie, monitoring en operaties.
Deze samenwerking brengt drie leiders samen die zich inzetten voor de bevordering van de beveiliging en integriteit van Web3-systemen. Door Certora’s formele verificatie en end-to-end beveiligingskader te combineren met Hypernative’s geavanceerde realtime monitoring, zullen Cork-gebruikers profiteren van waarborgingen van institutionele kwaliteit en proactieve risicomitigatie, ontworpen voor de volgende generatie on-chain financiën.
“Business-as-usual beveiliging is niet voldoende in DeFi,” zei Baptiste Florentin, CTO van Cork. “Wij zijn een gefocust team dat kritieke marktinfrastructuur bouwt, en de risico’s zijn reëel. We hebben voor Certora gekozen om verder te gaan dan audits op een bepaald moment en een holistische, end-to-end beveiligingsdiscipline op te bouwen die diep is geïntegreerd met onze codebase, veranderingsbeheer en productieoperaties.”
Naarmate het Web3-ecosysteem groeit, blijven de kosten van zwakke beveiliging stijgen. Volgens het FBI’s 2024 Internet Crime Complaint Center (IC3)-rapport, was crypto-gerelateerde fraude goed voor $9,3 miljard aan verliezen, een stijging van 66% ten opzichte van het voorgaande jaar, met bijna 150.000 klachten die digitale activa betroffen. Partnerschappen zoals deze zijn bedoeld om die trend te keren door de basislijn voor beveiligings- en risicostandaarden in de sector te verhogen. De huidige benadering van DeFi-audits is niet langer voldoende; de sector vereist nu een meer geavanceerde en proactieve beveiligingshouding.
Certora markeert een nieuwe weg vooruit in het verfijnen van onze benadering van beveiliging door samen te werken met de besten in de branche. Door een nieuw model te pionieren dat de normen voor DeFi-beveiliging verhoogt, zijn Certora en Cork verenigd in het aanbieden ervan op de markt voor de eerste keer.
“Certora is opgericht om de strengheid van enterprise-grade waarborging, zoals gebruikt in sectoren zoals luchtvaart en financiën, naar gedecentraliseerde systemen te brengen,” zei Seth Hallem, CEO van Certora. “Door samen te werken met Cork en Hypernative, helpen we niet alleen één protocol; we helpen de manier waarop Web3 risico, transparantie en operationele veerkracht aanpakt te herdefiniëren.”
“Web3-beveiliging maakt vandaag een nieuwe sprong om de slechte actoren in deze industrie te filteren,” voegde Gal Sagie, mede-oprichter en CEO van Hypernative, toe. “Maar ik ben ook blij dat we door deze samenwerking ook manieren vinden om de risicostandaarden voor iedereen in deze ruimte te verhogen.”
Samen bouwen Cork, Certora en Hypernative een model voor hoe protocollen beveiliging vanaf het ontwerp kunnen inbedden, waardoor systemen worden gecreëerd die niet alleen veiliger zijn voor gebruikers, maar ook robuuster en schaalbaarder voor ontwikkelaars. Voor meer diepgaande informatie over wat deze samenwerking inhoudt, bezoek deze blog.
Over Certora
Certora is een blockchainbeveiligingsbedrijf dat toonaangevende formele verificatietools en audits van smart contracts biedt. Certora’s vlaggenschip beveiligingsproduct, Prover, helpt protocollen zoals Aave, Lido en Maker de kracht van formele verificatie in hun ontwikkelingspipeline te integreren om zelfs de zeldzaamste en moeilijk te vinden bugs op te sporen.
Over Cork
Cork introduceert een nieuwe primitief voor getokeniseerd risico, dat fungeert als een programmeerbare ris laag voor on-chain activa zoals vault-tokens, rente dragende stablecoins, liquid (re)staking-tokens en RWAs. Cork’s kernprimitief stelt asset managers en uitgevers in staat om aangepaste swapmarkten op te zetten die de aflossingsliquiditeit, risicotransparantie en markvertrouwen voor hun on-chain activa verbeteren. Ondersteund door a16z crypto, OrangeDAO & Steakhouse Financial, bouwt Cork de risicoinfrastructuur die nodig is om institutioneel kapitaal naar on-chain kredietmarkten te brengen.
Over Hypernative
Hypernative is een realtime monitoring-, risicodetectie- en geautomatiseerde responssysteem dat bedreigingen met hoge nauwkeurigheid identificeert, waardoor klanten kostbare minuten krijgen om te reageren voordat exploits schade kunnen veroorzaken. Het platform volgt zowel on-chain als off-chain gegevensbronnen. Het maakt gebruik van beproefde, geavanceerde machine learning-modellen, heuristieken, simulaties en op grafieken gebaseerde detecties om meer dan 300 risicotypen te identificeren, van hacks van smart contracts en brugbeveiligingsincidenten tot frontend-compromittaties, marktmanipulaties en diefstal van privésleutels. Voor meer informatie, bezoek hypernative.io.
Contact
Senior PR Manager
Wahaj Khan
Serotonin
wahaj@serotonin.co
