Project Information
CATEGORY
Wallet & Staking
NETWORK
Aleo
WEBSITE
https://www.demoxlabs.xyz/
DESCRIPTION
From Apr. 15, 2024 to Apr. 19, 2024, Demox Labs engaged Veridise to review the security of their Aleo Staking project. Veridise conducted the assessment over 3 person-weeks, with 3 engineers reviewing code over 1 week. The auditing strategy involved extensive manual code review of the source code performed by Veridise engineers.
Audit Report
SCOPE
The scope of this audit covers the following files and folders:
- The arc_0038.aleo file provided by the Aleo Staking developers, which contains the Aleo instructions implementation of the arc0038 program.
- Changes to synthesizer/program/src/resources/credits.aleo inAleoHQ/snarkVM#2402.
- Changes to synthesizer/program/src/resources/credits.aleo and synthesizer/src/vm/ finalize.rs in AleoHQ/snarkVM#2406.
The Aleo Staking developers also provided accompanying test files, documentation, and other reference materials; these were all excluded from the scope of the audit. During the audit, the Veridise auditors referred to the excluded files but assumed that they have been implemented correctly