Certora Partners with Cork and Hypernative to Set a New Standard for Web3 Security
[PRESS RELEASE – Tel Aviv, Israel, November 13th, 2025]
Certora, the safety assurance accomplice trusted by essentially the most superior groups in Web3, at the moment introduced a strategic partnership with Cork, a protocol pioneering risk-management infrastructure for DeFi, and Hypernative, a chief in real-time menace monitoring. Through this collaboration, Certora turns into Cork’s Security Partner of Record, embedding safety at each layer of the protocol’s lifecycle, from design and verification to deployment, monitoring, and operations.
This partnership brings collectively three leaders dedicated to advancing the safety and integrity of Web3 programs. By combining Certora’s formal verification and end-to-end safety framework with Hypernative’s superior real-time monitoring, Cork customers will profit from institutional-grade safeguards and proactive threat mitigation designed for the subsequent era of onchain finance.
“Business-as-usual safety simply doesn’t reduce it in DeFi,” stated Baptiste Florentin, Cork’s CTO. “We’re a targeted group constructing essential market infrastructure, and the dangers are actual. We selected Certora to transcend point-in-time audits and construct a holistic, end-to-end safety self-discipline that’s deeply built-in with our codebase, change administration, and manufacturing operations.”
As the Web3 ecosystem scales, the price of weak safety continues to rise. According to the FBI’s 2024 Internet Crime Complaint Center (IC3) report, crypto-related fraud accounted for $9.3 billion in losses, a 66% enhance from the earlier 12 months, with almost 150,000 complaints involving digital belongings. Partnerships like this goal to reverse that development by elevating the {industry}’s baseline for safety and threat requirements. The present strategy to DeFi audits is now not sufficient, the {industry} now calls for a extra superior and proactive safety posture.
Certora marks a new method ahead in maturing our strategy to safety by working with the perfect within the enterprise. Pioneering a new mannequin that raises the requirements for DeFi safety, Certora and Cork are united in bringing this to market for the primary time.
“Certora was based to convey the rigor of enterprise-grade assurance, utilized in industries like aeronautics and finance, to decentralized programs,” stated Seth Hallem, CEO of Certora. “By partnering with Cork and Hypernative, we’re not simply serving to one protocol; we’re serving to redefine how Web3 handles threat, transparency, and operational resilience.”
“Web3 safety is taking one other leap at the moment to filter out the dangerous actors on this {industry},” added Gal Sagie, Co-Founder and CEO of Hypernative. “But I’m equally happy that via this collaboration, we’re additionally discovering methods to elevate the danger requirements for everybody working on this house.”
Together, Cork, Certora, and Hypernative are constructing a mannequin for how protocols can embed safety by design, creating programs that aren’t solely safer for customers but additionally extra strong and scalable for builders. For extra in-depth info on what this partnership contains, please go to this blog.
About Certora
Certora is a blockchain safety firm that gives industry-leading formal verification instruments and sensible contract audits. Certora’s flagship safety product, Prover, helps protocols like Aave, Lido, and Maker combine the ability of formal verification into their growth pipeline to catch even the uncommon & hard-to-find bugs.
About Cork
Cork introduces a new primitive for tokenized threat, serving as a programmable threat layer for onchain belongings equivalent to vault tokens, yield-bearing stablecoins, liquid (re)staking tokens, and RWAs. Cork’s core primitive allows asset managers and issuers to spin up customized swap markets that improve redemption liquidity, threat transparency, and market confidence for their onchain belongings. Backed by a16z crypto, OrangeDAO & Steakhouse Financial, Cork is constructing the danger infrastructure wanted to convey institutional capital into onchain credit score markets.
About Hypernative
Hypernative is a real-time monitoring, threat detection, and automated response resolution that identifies threats with high accuracy, giving clients valuable minutes to reply earlier than exploits could cause harm. The platform tracks each onchain and offchain information sources. It makes use of battle-tested, refined machine studying fashions, heuristics, simulations, and graph-based detections to establish over 300 threat varieties, from sensible contract hacks and bridge safety incidents to frontend compromises, market manipulations, and personal key theft. For extra info, go to hypernative.io.
The put up Certora Partners with Cork and Hypernative to Set a New Standard for Web3 Security appeared first on CryptoPotato.