Certora, Cork & Hypernative Unite to Elevate Web3 Security
Tel Aviv, Israel, November 13th, 2025, Chainwire
Certora, Cork & Hypernative Team Up for Better Web3 Security
Certora, a trusted security partner in Web3, has teamed up with Cork and Hypernative to make online finance safer. Certora will work with Cork to improve the security of their DeFi protocol, making sure it’s safe from start to finish from design to deployment and monitoring.
This partnership will help protect Cork’s users with advanced safety tools. By combining Certora’s formal verification with Hypernative real-time monitoring, users will get better protection against risks and threats in the next generation of on-chain finance.
“Regular security checks are not enough for DeFi,” said Baptiste Florentin, CTO of Cork. “We need more than one-time audits. We need ongoing security that is built into everything, including our code, updates, and operations.”
As the Web3 space grows, weak security is becoming more expensive. According to a report by the FBI’s Internet Crime Complaint Center, crypto fraud caused $9.3 billion in losses in 2024, a 66% increase from the previous year. This partnership aims to improve security standards and lower risks in the industry.
Certora is leading the way in building a stronger security model for DeFi. This partnership with Cork is the first step toward better security across the Web3 space.
“Certora was created to bring the high standards used in aeronautics and finance to decentralized systems,” said Seth Hallem, CEO of Certora. “With Cork and Hypernative, we are not just helping one project, but changing how Web3 handles security, risk, and transparency.”
Gal Sagie, CEO of Hypernative, added: “This partnership is a big step forward for Web3 security. We are working to filter out the bad actors in the industry and raise the security standards for everyone in Web3.”
Together, Certora, Cork, and Hypernative are creating a better way to build security into Web3 systems, making them safer for users and stronger for developers visit blog .
About Certora
Certora is a blockchain security company. It provides tools to help check and improve the safety of smart contracts. Certora’s Prover tool helps companies like Aave, Lido, and Maker find even the rarest bugs in their code before they cause problems.
About Cork
Cork is creating new ways to manage risks for on-chain assets like vault tokens, stablecoins, and re-staking tokens. It helps asset managers create custom markets that make their assets safer and more transparent. Cork is backed by top investors, including a16z crypto, OrangeDAO, and Steakhouse Financial.
About Hypernative
Hypernative is a real-time monitoring platform. It tracks threats and risks in both on-chain and off-chain data. It uses advanced technology like machine learning and graph-based detections to find over 300 types of risks, from smart contract hacks to private key theft. For more info, visit hypernative.io.
Contact
Senior PR Manager
Wahaj Khan
Serotonin
wahaj@serotonin.co
