From Jan. 3, 2024 to Jan. 10, 2024, AlphaSwap engaged Veridise to review the security of their Decenteralized Exchange. The review covered the core AlphaSwap exchange protocol, their ARC20 token implementation, a token faucet to distribute AlphaSwap tokens and several wrappers that allow external tokens, including Aleo credits, to interact with the protocol. Veridise conducted the assessment over 3 person-weeks, with 3 engineers reviewing code over 1 week. The auditing strategy involved a tool-assisted analysis of the source code performed by Veridise engineers as well as extensive manual auditing.