Project Information
CATEGORY
De-Fi Protocols
NETWORK
Ethereum
WEBSITE
https://rangeprotocol.com/
DESCRIPTION
From Mar. 11, 2024 to Mar. 13, 2024, Range Protocol engaged Veridise to review the security of their Vertex Vault. This Vault is designed to store user funds. A manager is responsible for using the Vault funds to engage in perpetual trading on the Vertex platform to produce profit for the Vault depositors in return for fees. Veridise conducted the assessment over 6 person-days, with 2 engineers reviewing code over 3 days on commits 341fd93-6864054. Specifically, The audit started at commit 341fd93, followed by Range Protocol developers integrating fixes and new logic code into the vault, which was audited at commit 6864054. The auditing strategy involved a tool-assisted analysis of the source code performed by Veridise engineers as well as extensive manual auditing.
Audit Report
SCOPE
The scope of this audit is limited to the src/ folder of the source code provided by the Vertex Vault developers, which contains the smart contract implementation of the Vertex Vault.