Aquarius partners with Cantina to analyze smart contract security through a competition format. The audit has a $110,000 prize pool to incentivize the identification of vulnerabilities, divided into primary and formal verification pools. An additional $10,000 is set aside for a dedicated Cantina researcher. The competition encourages participants to assess the contracts’ resilience and strength, contributing to the security of Aquarius’s integration in Stellar’s DeFi landscape. Low severity and informational findings are particularly encouraged, with specific prizes allocated based on report quality. This competition underlines the importance of both traditional and formal verification methods, enhancing trust in Stellar-based solutions.