Tel Aviv, Israel, November thirteenth, 2025, Chainwire
Certora, the safety assurance accomplice trusted by essentially the most superior groups in Web3, as we speak introduced a strategic partnership with Cork, a protocol pioneering risk-management infrastructure for DeFi, and Hypernative, a frontrunner in real-time menace monitoring. By way of this collaboration, Certora turns into Cork’s Safety Accomplice of Document, 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 techniques. 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 danger mitigation designed for the following technology of onchain finance.
“Enterprise-as-usual safety simply doesn’t lower it in DeFi,” mentioned Baptiste Florentin, Cork’s CTO. “We’re a centered group constructing important 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.”
Because the Web3 ecosystem scales, the price of weak safety continues to rise. In response to the FBI’s 2024 Web Crime Criticism Middle (IC3) report, crypto-related fraud accounted for $9.3 billion in losses, a 66% improve from the earlier 12 months, with practically 150,000 complaints involving digital property. Partnerships like this purpose to reverse that pattern by elevating the {industry}’s baseline for safety and danger requirements. The present strategy to DeFi audits is not sufficient, the {industry} now calls for a extra superior and proactive safety posture.
Certora marks a brand new means ahead in maturing our strategy to safety by working with one of the best within the enterprise. Pioneering a brand new mannequin that raises the requirements for DeFi safety, Certora and Cork are united in bringing this to marketplace for the primary time.
“Certora was based to carry the rigor of enterprise-grade assurance, utilized in industries like aeronautics and finance, to decentralized techniques,” mentioned 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 danger, transparency, and operational resilience.”
“Web3 safety is taking one other leap as we speak to filter out the unhealthy actors on this {industry},” added Gal Sagie, Co-Founder and CEO of Hypernative. “However I’m equally happy that by way of this collaboration, we’re additionally discovering methods to lift the chance requirements for everybody working on this area.”
Collectively, Cork, Certora, and Hypernative are constructing a mannequin for a way protocols can embed safety by design, creating techniques that aren’t solely safer for customers but additionally extra sturdy and scalable for builders. For extra in-depth info on what this partnership consists of, please go to this weblog.
About Certora
Certora is a blockchain safety firm that gives industry-leading formal verification instruments and good 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 brand new primitive for tokenized danger, serving as a programmable danger layer for onchain property similar 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, danger transparency, and market confidence for his or her onchain property. Backed by a16z crypto, OrangeDAO & Steakhouse Monetary, Cork is constructing the chance infrastructure wanted to carry institutional capital into onchain credit score markets.
About Hypernative
Hypernative is a real-time monitoring, danger detection, and automatic response answer that identifies threats with excessive accuracy, giving clients treasured minutes to reply earlier than exploits could cause harm. The platform tracks each onchain and offchain information sources. It makes use of battle-tested, subtle machine studying fashions, heuristics, simulations, and graph-based detections to determine over 300 danger varieties, from good contract hacks and bridge safety incidents to frontend compromises, market manipulations, and personal key theft. For extra info, go to hypernative.io.
Contact
Senior PR Supervisor
Wahaj Khan
Serotonin
[email protected]