Bitget App
Trade smarter
MarketsTradeFuturesEarnSquareMore
Security by Design: Certora, Cork, and Hypernative Set New Benchmarks for DeFi Protection

Security by Design: Certora, Cork, and Hypernative Set New Benchmarks for DeFi Protection

Bitget-RWA2025/11/13 21:16
By:Bitget-RWA

- Certora, Cork, and Hypernative partner to enhance Web3 security via "security by design" principles, combining formal verification, programmable risk infrastructure, and real-time threat detection. - Certora’s recent collaboration with Balancer prevented a $4.1M loss by identifying critical vulnerabilities in DeFi pools, highlighting the urgency of proactive security measures. - The partnership integrates Certora’s formal verification, Cork’s risk modeling, and Hypernative’s real-time analytics to addres

Certora, Cork, and Hypernative have formed a strategic alliance to transform security protocols within the Web3 landscape, with a focus on integrating "security by design" into blockchain frameworks. This partnership

that not only withstand security threats but also offer scalability for developers and clarity for end users. By merging Certora's expertise in formal verification, Cork's customizable risk management platform, and Hypernative's instant threat monitoring, the three companies are establishing themselves as frontrunners in tackling the increasingly intricate security issues facing decentralized finance (DeFi) .

Certora, a leader in blockchain security, has already proven its value in risk reduction. In a recent collaboration with

, Certora helped avert a possible $4.1 million loss by detecting a major flaw in the V2 meta-stable pools. Working alongside SEAL, a security company, they executed a white-hat recovery to protect user assets on , Optimism, and by retiring the compromised pools. This case for proactive defense in DeFi, where vulnerabilities in smart contracts are responsible for over 70% of breaches projected for 2025.

The alliance with Cork and Hypernative builds upon Certora's strengths in formal verification, a technique adopted by protocols such as

and Lido to uncover even rare bugs during development. Cork, supported by a16z crypto and other major investors, brings a programmable risk framework for tokenized assets, allowing asset managers to boost both liquidity and transparency.
Security by Design: Certora, Cork, and Hypernative Set New Benchmarks for DeFi Protection image 0
Hypernative, on the other hand, and graph analytics to track more than 300 types of risks in real time, ranging from smart contract breaches to front-end attacks.

The necessity for such joint efforts is underscored by recent DeFi security incidents. Balancer's V2 pools, for example, suffered multiple attacks, including a $116 million exploit in 2023. Although the V3 version was not impacted, these events stress the importance of ongoing security reviews and timely upgrades. Certora's intervention in the $4.1 million incident

can help contain losses, even as cyber threats become more sophisticated.

Gal Sagie, Hypernative's CEO, pointed out the wider significance of this collaboration: "Our goal goes beyond blocking malicious actors; we're setting higher risk management benchmarks for the sector as a whole." Embedding security by design

and impact of DeFi attacks, which, despite an 85% decline in October 2025, continue to pose ongoing risks.

As DeFi platforms expand, the partnership among Certora, Cork, and Hypernative marks a significant move toward security standards fit for institutions. By uniting formal verification, risk assessment, and real-time surveillance, the alliance seeks to build greater confidence in Web3—a vital development as blockchain technology gains traction in mainstream financial sectors.

0

Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.

You may also like

YFI has dropped 41.08% over the past year, experiencing fluctuating short-term movements.

- YFI fell 0.02% in 24 hours, 5.94% weekly, but rose 0.04% monthly amid 41.08% annual decline. - Price swings reflect mixed short-term stability and long-term fragility driven by macroeconomic factors. - Backtesting showed -2.15% average return post-41.08% annual drops, with no abnormal gains detected. - Market dynamics suggest prolonged consolidation rather than isolated events caused the sustained decline.

Bitget-RWA2025/11/14 05:56

Solana News Today: Solana ETFs Signal Crypto's Move Into the Mainstream, Surpassing Bitcoin

- VanEck files Form 8-A for its Solana spot ETF (VSOL), signaling imminent Nasdaq launch after October S-1 registration. - 10 Solana ETFs await SEC approval as institutional demand grows for regulated access to the blockchain's ecosystem expansion in DeFi, NFTs, and staking. - Bitwise's first Solana ETF attracted $420M in its debut week, forcing competitors to accelerate strategies amid evolving regulatory pathways. - Strong institutional inflows ($421M in November) pushed SOL toward $168, though volatilit

Bitget-RWA2025/11/14 05:56

ALGO experienced a 16.57% quarter-over-quarter decline due to product transitions and fluctuations in the market.

- ALGO fell 16.57% QoQ amid market volatility and product transition challenges at Alargo. - Alargo replaced Akaroid with NHD, achieving 80% YoY sales growth through direct doctor engagement. - AXI's margin optimization doubled contribution per piece despite 60% volume decline from low-margin delistings. - ARCO Pharma's rebranding and scientific training aims to strengthen pharmacist relationships and market position. - Analysts note long-term margin potential but warn of short-term revenue risks from tran

Bitget-RWA2025/11/14 05:34

BCH Drops 1.35% Today as Loan Expansion Slows and Profitability Faces Challenges

- BCH fell 1.35% in 24 hours amid weak loan growth and reduced inflation adjustment income, with 60% revenue tied to net interest income. - Institutional holdings rose 12.75% but shares held dropped 3.53%, as Bridge Builder increased exposure while Baillie Gifford cut holdings by 289.93%. - Goldman Sachs maintains Neutral rating with 0.70% upside, while backtesting shows mixed post-earnings performance with limited statistical significance from two data points.

Bitget-RWA2025/11/14 05:34