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.
EulerSwap Reaches $2B Trading Volume Milestone
EulerSwap, a decentralized exchange protocol, has achieved $2 billion in total trading volume within its first 9 weeks of operation. Key metrics: - Reached $230M volume in first 3 weeks (beta phase) - Scaled to $2B total volume in just 9 weeks - Maintains non-custodial trading architecture The protocol demonstrates significant growth trajectory since its beta launch in June 2025, showing consistent volume increase while preserving decentralized trading principles.
Strata Protocol Launches New Pendle PT Caps
Strata, an institutional-grade risk tranching protocol built on Ethena, has announced new capacity limits for its Pendle PT product. The protocol, which recently passed a Quantstamp audit, specializes in structured products for USDe and other Ethena-powered assets. - Protocol focuses on risk-optimized crypto-native returns - Initial caps were filled quickly before latest announcement - Full audit report available via [Quantstamp](https://certificate.quantstamp.com/full/strata-pre-deposit-vaults/aba0b96c-82bd-463d-860f-17bdb3958fcf/index.html) *Users interested in participating should act promptly given previous rapid cap fulfillment.*
Euler Launches First zkVerified Institutional Lending Vault
Euler has launched the first zkVerified lending vault on Avalanche, enabling institutional DeFi access with privacy and compliance. Key features: - $570,000 in launch incentives - Cryptographic verification via Keyring Network - Zero-knowledge proofs protect sensitive data - xUSDC collateral with yield strategies - Customizable lending parameters The Lending Super App allows institutions to deploy permissioned markets with full compliance controls. Users can earn rewards when lending USDC through the platform. Learn more: - [Keyring Integration](https://thedefiant.io/news/defi/keyring-brings-zero-knowledge-id-layer-to-defi-vaults-on-avalanche) - [Euler App](https://app.euler.finance/?market=keyring-avalanche&network=avalanche)
Euler Finance Token EUL Lists on Coinbase
The EUL token has expanded its exchange presence with a new listing on Coinbase, marking another major milestone for Euler Finance. This follows the token's recent listing on Gemini exchange in July 2025, increasing accessibility for institutional and retail traders. Key Points: - EUL now tradable on Coinbase - Follows successful Gemini listing - Expands token accessibility across major US exchanges
EulerSwap Deploys New UNI Incentives on USDC/USDT0 Pool
EulerSwap has enhanced its platform with new liquidity incentives: - 3,897 $UNI tokens deployed as incentives for USDC/USDT0 pool on Unichain - Follows previous successful incentive programs for USDC/ETH and wstETH/ETH pools - Users can participate by: 1. Depositing eligible assets on Euler (Unichain) 2. Creating LP position through the platform Access the liquidity pools at [EulerSwap Pools](https://app.euler.finance/swap/pools?network=unichain&tab=lp) *Note: This update continues EulerSwap's beta rollout phase*