Venture23: Verulend audit report
Project Information
CATEGORY
Smart Contracts
NETWORK
Aleo
WEBSITE
http://venture23.io/
DESCRIPTION
From Aug. 19, 2025 to Sep. 2, 2025, Venture23 engaged Veridise to conduct a security assessment of their Verulend protocol. The engagement focused on reviewing the Leo smart contracts associated with the Verulend project. Veridise conducted the assessment over 22 person-days, with 2 security analysts reviewing the project over 11 days. The review strategy involved a thorough, manual review of the program source code performed by Veridise security analysts.
Audit Report
SCOPE
The scope of this security assessment is limited to the following files within the (aleo/programs) folder of the source code provided by the Verulend developers, which contains the smart contract implementation of Verulend.
- amm_admin_v006.leo
- amm_council_impl_v001.leo
- amm_instant_cr_v004.leo
- amm_interface_liquidation_v002.leo
- amm_interface_v007.leo
- amm_oracle_interface_v002.leo
- amm_oracle_v004.leo
- amm_program_checksums.leo
- amm_reserve_state_v004.leo
- amm_treasury_v002.leo
- amm_user_state_v004.leo