Tel Aviv, Israel, November 13th, 2025, Chainwire
Certora, a company known for Web3 security, has teamed up with Cork, a protocol that focuses on risk management for DeFi, and Hypernative, a leader in real-time threat monitoring. This new partnership makes Certora the Security Partner of Record for Cork. This means Certora will help Cork secure every part of its system, from design to checking for problems, to deployment and monitoring.
The goal of this partnership is to improve the security of Web3 systems. By combining Certora’s formal security checks and Hypernative’s real-time monitoring, Cork will have strong protections in place. These measures will help prevent problems before they happen, making sure that DeFi users stay safe as they move forward with new blockchain technology.
“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 world grows, weak security is costing more and more. According to the FBI’s 2024 Internet Crime Complaint Center (IC3) report, crypto fraud caused $9.3 billion in losses, a 66% increase from last year. Nearly 150,000 complaints were about digital assets. Partnerships like this one aim to change that by raising the security and risk standards in the industry. The way we do DeFi audits now isn’t enough anymore. The industry needs a more advanced and active approach to security.
Certora is leading the way toward better security by teaming up with the best in the field. They’re introducing a new model that sets higher standards for DeFi security. Certora and Cork are working together to bring this to the market for the first time
“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 working on creating a safer and stronger way for protocols to build security from the start. This will make systems safer for users and easier for developers to improve and grow. For more detailed information about this partnership, please visit this blog.
About Certora
Certora is a blockchain security company that provides top tools for checking and fixing smart contracts. Certora’s main security product, Prover, helps protocols like Aave, Lido, and Maker use formal checks to find bugs, even the rare and hard-to-spot ones, before they become a problem.
About Cork
Cork introduces a new system for tokenized risk. It acts as a smart risk layer for on-chain assets like vault tokens, stablecoins that earn yield, liquid staking tokens, and real-world assets (RWAs). Cork's main feature helps asset managers and issuers create custom swap markets. These markets make it easier to redeem assets, show risk clearly, and build trust in the market for their on-chain assets.
Cork is backed by a16z crypto, OrangeDAO, and Steakhouse Financial. The goal of Cork is to build the infrastructure needed to bring institutional investors into on-chain credit markets.
About Hypernative
Hypernative is a platform that helps detect risks in real-time. It tracks and watches for threats to stop them before they cause harm. The platform looks at both on-chain and off-chain data sources. It uses powerful machine learning models, simulations, and other smart tools to detect over 300 types of risks. These risks include smart contract hacks, bridge security problems, frontend compromises, market manipulation, and private key theft.For more information, visit hypernative.io.
Contact
Senior PR Manager
Wahaj Khan
Serotonin
wahaj@serotonin.co
