In the Stellar Developer Meeting, the team from Blend introduced their security initiative designed to safeguard the Stellar ecosystem, focusing on Blend V2. The initiative includes a groundbreaking $125,000 USDC competition, marking the first open competitive audit and verification contest within the Stellar realm. Alex from Script3 delved into the architecture of Blend, a universal liquidity protocol primitive, explaining how its components work together, especially the role of the backstop module in ensuring security. The session emphasized tips for locating bugs and writing formal verification rules, key aspects for those competing. Information on Soroban’s structure, Blend’s contract design, and debugging strategies were also covered, with Armin from Certora presenting formal verification strategies. The content underscores Stellar’s commitment to enhancing the security and reliability of its ecosystem, providing a rich opportunity for developers to engage.