Project Information
CATEGORY
Decentralized exchange (DEX)
NETWORK
Aleo
WEBSITE
https://alphaswap.pro/
DESCRIPTION
From Aug. 7, 2024 to Aug. 15, 2024, Beta Staking engaged Veridise to review the security of their Beta Staking program. The review covered a protocol that allows users to stake Aleo credits in exchange for a liquid stAleo token that will passively earn rewards. Veridise conducted the assessment over 14 person-days, with 2 engineers reviewing code over 7 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 beta_staking/src/main.leo and staker/src/main. leofiles in the source code provided by the Beta Staking developers, which contains the Aleo program implementation of the Beta Staking.