Lumen Loop
All news
Articlefxdao.ioFxDAO LLC2y ago

FxDAO's Q1 2024 update

FxDAO shares its Q1 2024 update, highlighting the completion of a smart contract audit by Runtime Verification and adaptations to Soroban platform changes on Stellar. Despite challenges like limit downgrades requiring refactors, the team resolved issues to fit current network limits. They are preparing for mainnet launch with vaults for synthetic USD, EUR, and GBP, alongside plans for a custom oracle.

Smart ContractsSorobanSecurity
Lumen Loop's take

FxDAO's Q1 2024 update details the successful audit of their Vaults and Stable liquidity pool contracts by Runtime Verification, which identified and fixed bugs while adding comprehensive tests. Initially deployed to Stellar's Soroban testnet late last year, the contracts underwent multiple refactors due to platform updates and a recent Soroban ledger key limit downgrade that temporarily broke compatibility. The team quickly adjusted by minimizing changes to fit within current limits, acknowledging that a full refactor would invalidate the audit. Lacking a suitable mainnet oracle for real-world currency prices, FxDAO plans to launch their own while integrating Reflector Lab's solution for redundancy. With audits complete, code compliant, and oracle in place, mainnet deployment of vaults supporting synthetic USD, EUR, and GBP is imminent this month.

Mentioned projects
4 projects linked
F
FxDAOFinancial Protocols
SCFAudited
CDPDeFi

Debt issuance protocol for the issuance of decentralized stablecoins backed by XLMs.

View →
L
Ledger
SecurityInfrastructure

Ledger is a hardware wallet designed to securely store and manage cryptocurrencies offline, protecting assets from online threat…

View →
R
ReflectorInfrastructure & Services
SCFAudited
OracleMulti Signatures

Decentralized price feed oracle for Stellar DeFi smart contracts to support derivatives, lending, and asset management.

View →
R
Runtime VerificationDeveloper Tooling
SCF
SecurityFormal Verification

Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.

View →