At Certora, we believe security isn’t a phase — it’s a system. That’s why we’re partnering with Cork, a protocol pioneering risk-management infrastructure for DeFi, and Hypernative, a leader in real-time threat monitoring, to bring continuous, end-to-end security to every stage of Cork’s lifecycle.

Through this collaboration, Certora becomes Cork’s Security Partner of Record, embedding assurance from specification and verification all the way to deployment, monitoring, and operations.

This partnership brings together three teams committed to advancing the security and integrity of Web3 systems. By combining Certora’s formal verification and end-to-end security framework with Hypernative’s advanced real-time monitoring, Cork users will benefit from institutional-grade safeguards and proactive risk mitigation designed for the next generation of onchain finance.

“Business-as-usual security just doesn’t cut it in DeFi,” said Baptiste Florentin, Cork’s CTO. “We’re a focused team building critical market infrastructure, and the risks are real. We chose Certora to go beyond point-in-time audits and build a holistic, end-to-end security discipline that is deeply integrated with our codebase, change management, and production operations.”

As the Web3 ecosystem scales, the cost of weak security continues to rise. According to the FBI’s 2024 Internet Crime Complaint Center (IC3) report, crypto-related fraud reached $9.3 billion last year — a 66% increase — with nearly 150,000 complaints involving digital assets. Partnerships like this aim to reverse that trend by elevating the industry’s baseline for security and risk standards. The audit-first approach to DeFi security is no longer enough; the industry now demands a more advanced and proactive security posture.

“Certora was founded to bring the rigor of enterprise-grade assurance, used in industries like aeronautics and finance, to decentralized systems,” said Seth Hallem, CEO of Certora. “By partnering with Cork and Hypernative, we’re not just helping one protocol; we’re helping redefine how Web3 handles risk, transparency, and operational resilience.”

“Web3 security is taking another leap today to filter out the bad actors in this industry,” added Gal Sagie, Co-Founder and CEO of Hypernative. “But I’m equally pleased that through this collaboration, we’re also finding ways to raise the risk standards for everyone operating in this space.”

Together, Cork, Certora, and Hypernative are building a model for how protocols can embed security by design, creating systems that are not only safer for users but also more robust and scalable for developers.

Stay in the loop by following Certora, Cork, and Hypernative on X.