Superposition Smart Contract Audit Report Released 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 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)

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. [View complete results](https://docs.google.com/spreadsheets/d/1g0_RmhGVQJeQvn5vrAfhew-0hjq0iT0TO8OgsYPmfAg/edit?usp=sharing)

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)

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.