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.