Blend V2 Formal Verification Contest Winners Announced
Blend V2 Formal Verification Contest Winners Announced
馃弳 Stellar's First Bug Bounty
The results of the $20,000 Formal Verification component for the Blend V2 competitive audit have been announced. This marks the first-ever formal verification contest in the Stellar ecosystem.
Winners:
- 馃 First place: @alexzoid_eth
- 馃 Second place: @JuliusRaynaldi
- 馃 Third place: @BenRai
The competition was a collaborative effort between Blend Capital, Stellar Organization, and Certora, who oversaw the formal verification judging process.
The results of the $20,000 Formal Verification component of the Blend V2 competitive audit are in! Big shoutout to everyone who participated, and a huge congrats to @alexzoid_eth for securing first place in the first-ever formal verification contest in the Stellar ecosystem!
BlackholeDEX Audit Report Published by Code4rena
Code4rena has released the security audit report for BlackholeDEX, highlighting the project's dedication to robust security measures. - Full audit findings now available for public review - Report demonstrates BlackholeDEX's commitment to security best practices The audit report can be accessed at [Code4rena's official platform](https://code4rena.com/reports/2025-05-blackhole). This follows recent security audits of other major projects including Kinetiq and BitVault, showing continued momentum in DeFi security verification.
GMX Solana Launches $200k Bug Bounty Program
GMX Solana has announced a new bug bounty program with a substantial reward pool of $200,000 for security researchers who identify valid vulnerabilities in their protocol. The bounty is being hosted on Code4rena, a competitive smart contract auditing platform. Whitehats can access: - Detailed bounty specifications - List of known issues - Scope of the contest - Submission guidelines This follows recent security initiatives in the space, including Legion's $75k bounty and Moonwell's $250k program. For full details and participation guidelines, visit [GMX Solana's bounty page](https://code4rena.com/bounties/gmx-solana)
BitVault Competitive Audit Results Announced
Code4rena has announced the winners of the $15,000 BitVault competitive audit. - **First Place**: araj - **Second Place**: @0xdemonnn - **Third Place**: @shishgeor araj achieved notable success by securing both Top Hunter and Top Gatherer positions alongside @0xdemonnn. [View complete results](https://code4rena.com/audits/2025-04-bitvault)
Starknet Competitive Audit Deadline Approaches
The Starknet competitive audit is reaching its conclusion on April 9th. Security researchers and auditors have a final opportunity to participate and potentially earn from the substantial $150,000 prize pool. - **Deadline**: April 9th, 2025 - **Prize Pool**: $150,000 - **Platform**: Code4rena competitive audit Findings must be submitted before the deadline to be eligible for rewards. This audit follows similar recent competitions, including the successful Recallnet audit which concluded in March with a $100,000 prize pool.