Radix Announces Formal Verification Challenge with $100K Prize Pool
Radix Announces Formal Verification Challenge with $100K Prize Pool
馃敁 Unlock $100K Bounty

Radix, a UK-based technology startup focused on building non-custodial protocols on Ethereum and other blockchains, has announced a formal verification challenge as part of their ongoing $1.25 million competition in collaboration with Cantina XYZ. The challenge, managed by Certora Inc., allocates $100,000 for participants to write robust rules that can identify bugs in the present and prevent future occurrences. This initiative aims to leverage the power of formal verification to enhance the security and reliability of Radix's protocols.
We're leveling up our $1.25M competition with @cantinaxyz by allocating $100k to formal verification! @CertoraInc will manage the formal verification, challenging the community to write great rules that find bugs now & that can also be re-run to prevent bugs in the future.
Arbitrum Partners with Euler Protocol
Arbitrum has announced a partnership with Euler, a mathematics-focused protocol building non-custodial solutions on Ethereum and other blockchains. This collaboration appears to be part of an ongoing relationship, with similar partnerships noted in recent months. **Key Details:** - Partnership between Layer 2 scaling solution Arbitrum and DeFi protocol Euler - Euler specializes in high-performance non-custodial protocols - Built using mathematical frameworks for enhanced security The partnership could strengthen Arbitrum's DeFi ecosystem by integrating Euler's lending and borrowing capabilities.
Euler Launches Borrow Incentives on Monad with 600K $MON Rewards
**Euler Finance** has activated borrow incentives on the Monad network, offering **600K $MON tokens** as rewards for borrowing USDC and AUSD. **Key Features:** - Borrow incentives complement existing deposit rewards - Available on USDC and AUSD markets - In-app looping support for leveraged strategies - Isolated vault architecture with local risk parameters This follows Euler's recent launch on Monad with 690K $MON incentives for deposits. The platform features **Euler-DAO governance** and risk management from Gauntlet and Objective. **Access:** [Borrow on Euler](https://app.euler.finance/borrow?network=monad&liquidity=%3E1000&sort=borrowApy-asc&debtAsset=0x754704bc059f8c67012fed69bc8a327a5aafb603,0x00000000efe302beaa2b3e6e1b18d08d69a9012a) *Start earning rewards on your borrowing activity.*
馃殌 New mHYPER & mAPOLLO Markets Launch on Euler with 100%+ APY
**MidasRWA launches two new frontier markets** on Euler protocol, offering significant earning opportunities for DeFi users. **Key highlights:** - mHYPER and mAPOLLO markets now live on Euler - **$30,000 in incentives** available for participants - Users can borrow against mHYPER, mAPOLLO, and their Pendle PT tokens - **Currently offering over 100% APY** on USDC lending **What this means:** This expansion builds on Euler's growing frontier market ecosystem, following recent launches with Asymmetry Finance. The high APY rates reflect strong demand and attractive incentive structures. **For users:** The integration allows leveraging tokenized real-world assets as collateral while earning substantial yields on USDC deposits. [Access the markets](https://app.euler.finance/?market=fr) to start earning.
EulerEarn Attracts $90M in Two Weeks

**EulerEarn sees massive adoption** with $90M in deposits flowing into the platform within just two weeks of launch. The yield-earning protocol emphasizes **simplicity and error prevention**, positioning itself as a user-friendly solution for DeFi participants. This rapid growth follows Euler's broader success, which reached **$3B in total deposits** across all products in under a year since launch. Key highlights: - $90M deposited in 14 days - Focus on simplified yield earning - Part of Euler's expanding ecosystem - Builds on proven track record of $3B TVL The momentum suggests strong market demand for **accessible DeFi yield products** that prioritize user experience and safety.
EulerEarn Launches on Linea with LINEA Token Rewards
**EulerEarn is now live on Linea**, expanding its simplified yield farming platform to another major blockchain. **Key Features:** - Deposit USDC or WETH once and earn across multiple curated strategies - Fully non-custodial with instant withdrawal capability - Earn **$LINEA tokens** on all ZeroLend vault deposits **How It Works:** - Each vault manages a single underlying asset - Vaults can allocate across up to 30 different Euler vaults - Professional curators handle strategy management and risk controls **Safety Measures:** - Idle reserves enable instant exits - Per-strategy caps prevent overexposure - Timelocked cap increases for security This follows EulerEarn's recent launch on Arbitrum with 120,000 $ARB incentives. The platform has reached **$140M in deposits** on Linea and continues expanding across multiple chains. [Start earning on Linea](https://app.euler.finance/earn?network=lineamainnet)