Project Information
CATEGORY
Decentralized exchange (DEX)
NETWORK
Aleo
WEBSITE
https://alphaswap.pro/
DESCRIPTION
From Aug. 5, 2024 to Aug. 6, 2024, Alphaswap engaged Veridise to review the security of their testnet3. The review covered changes to a protocol for wrapping and exchanging ARC20 tokens, intended to be deployed on the Aleo testnet. Veridise conducted the assessment over 4 person-days, with 2 engineers reviewing code over 2 days. The auditing strategy involved an extensive manual review of the source code performed by Veridise engineers.
Audit Report
SCOPE
The scope of this audit is limited to the main.leo files in the following folders of the source code provided by the testnet3 developers, which contain the Aleo program implementation of the testnet3: aleo_wrapper, arc20_token_u128, arc20_token_u64, arc20_wrapper_u128, arc20_wrapper_u64, swap_config, swap_core, swap_router, and token_faucet .