FxDAO
Decentralized Stablecoin Protocol
Critical / High
Medium
Low / Informative
Report files
Audit lifecycle
This engagement is complete with finalized deliverables.
Completed
Scheduled
Scope, timeline, and review plan were agreed.
Completed
In Progress
Manual review and verification work were carried out.
Completed
Completed
The engagement wrapped with a published final report.
Executive Summary
High-level assessment and conclusions
A concise overview of the audit scope, core findings, and the key outcomes from the engagement.
FxDAO engaged Runtime Verification Inc. to conduct a security audit of their contracts' code. The objective was to review the platform’s business logic and implementation in Rust and identify any issues that could cause the system to malfunction or be exploited.
The audit was conducted over the course of 4 calendar weeks (March 28, 2024, through April 28, 2024) and focused on analyzing the security of the source code of FxDAO's Vaults and Stable Liquidity Pools contracts, which enables users to provide collateral backing off-chain assets in exchange for stablecoins, and also deposit and withdraw stablecoins to and from liquidity pools. These pools can be used to exchange assets that are held by it, providing the liquidity providers with a percentage of the traded amounts, charged as fees.
Reports
Download the audit artifacts
Access the published PDF deliverables associated with this engagement.
PDF report 1
FxDAO.pdf
Download the published report for this engagement.