Lumen Loop
All news
Articlemedium.comesteblock1y ago

How Runtime Verification Helped Soroswap Transform Into an AMM Aggregator

Soroswap, the first DEX on Stellar blockchain, evolved into an AMM aggregator to combat fragmented liquidity. They partnered with PaltaLabs for development and Runtime Verification for auditing via the Stellar Audit Bank program. The audit enhanced security and provided key insights like using deployer contracts.

DeFiSecuritySmart Contracts
Lumen Loop's take

Soroswap.Finance began as the pioneering smart contract-based DEX on Stellar, supporting Soroban tokens and classic assets. As competing AMMs fragmented liquidity, Soroswap developed an aggregator to pool liquidity and reduce slippage. Contracts were built by PaltaLabs and audited by Runtime Verification through the Stellar Development Foundation's Audit Bank program, following prior XLM grants worth ~$296.8k. The three-week audit involved deep code analysis, diagrams, and weekly meetings via Discord, uncovering non-critical but valuable improvements. Key lesson: implement deployer contracts to prevent hijacking. Findings are addressed on GitHub, bolstering future architecture. The process is highly recommended for Stellar projects.

Mentioned projects
2 projects linked
R
Runtime VerificationDeveloper Tooling
SCF
SecurityFormal Verification

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

View →
S
SoroswapFinancial Protocols
SCFAudited
DEXDeFi

Open-source AMM protocol and AMM Aggregator with Ecosystem Interoperability for providing liquidity and trading Stellar Assets i…

View →