Aqua Network / Aquarius competition

This is the AMM protocol built on Stellar smart contract platform (Soroban) that allows spinning up 2 types of pools: volatile (inspired by Uniswap V2) and stable (inspired by Curve), as well as swapping assets in these pools including multihop routes where assetA is swapped into assetC with 2 swaps A=>B and B=>C in case A/C pool does not exist.

Prize distribution and scoring

Total Prize Pool: $110,000
Primary Pize Pool: $90,000
Formal Verification Pool: $20,000
Additional pay for dedicated Cantina researcher: $10,000
$10,000 of the primary prize pool is reserved for Low Severity and Informational findings. These reports are judged based on quality and reviewers are then ranked from 1st to 5th for the purpose of prize allocation.
- 1st: $5k
- 2nd: $2.5k
- 3rd: $1.25k
- 4th: $625
- 5th: $625
Scoring described in the competition scoring page.
Findings Severities described in detail on our docs page.
Formal Verification
- Details for the formal verification competition can be found here:
- https://github.com/Certora/aquarius-cantina-fv

Documentation

Scope

Repository: https://github.com/AquaToken/soroban-amm
Commit: https://github.com/AquaToken/soroban-amm/commit/4b1d38423a78536b86b543478642f988697a36ca
Files: All the code in the repository

Important

Please note that the if there are any critical findings discovered during the competition, the team will be fixing it immediately. And these findings would be considered out of scope once the fixes are public

Build Instructions

Build instructions can be found here

Basic POC Test

Mandatory POC rule applies for this competition
- https://github.com/AquaToken/soroban-amm/blob/master/integration_tests/src/tests.rs

Out of scope

Previous security report:
- https://docs.aqua.network/technical-documents/audits
Known Issue
- If an admin updates the pool contract interface, it won’t be possible to create new pools for 3 days. This is a known issue that will be addressed in the future.

Contact Us

For any issues or concerns regarding this competition, please reach out to the Cantina core team through the Cantina Discord.

Aqua Network / Aquarius