Certora, a leading blockchain security firm, has announced a strategic partnership with Cork, a DeFi risk-management protocol, and Hypernative, a real-time threat monitoring leader, to set a new standard for Web3 security. This collaboration designates Certora as Cork's Security Partner of Record, embedding security across the entire protocol lifecycle—from design and verification to deployment, monitoring, and operations.
The partnership combines Certora's formal verification tools and end-to-end security framework with Hypernative's advanced real-time monitoring capabilities, providing Cork users with institutional-grade safeguards and proactive risk mitigation. Baptiste Florentin, Cork's CTO, emphasized the inadequacy of traditional security in DeFi, stating, "Business-as-usual security just doesn’t cut it in DeFi... We chose Certora to go beyond point-in-time audits and build a holistic, end-to-end security discipline."
This initiative addresses the escalating costs of weak security in Web3. According to the FBI’s 2024 IC3 report, crypto-related fraud losses surged to $9.3 billion, a 66% year-over-year increase, with nearly 150,000 complaints involving digital assets. Seth Hallem, CEO of Certora, highlighted the broader impact: "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." Gal Sagie, Co-Founder and CEO of Hypernative, added that the collaboration aims to filter out bad actors and raise risk standards industry-wide.
The partnership pioneers a model for embedding security by design, enhancing user safety and developer scalability in onchain finance. Certora's Prover tool, used by protocols like Aave, Lido, and Maker, underscores its expertise, while Cork's risk infrastructure, backed by a16z crypto and others, targets institutional capital influx into onchain credit markets.
BTC
LIVE
XRP
HYPE