Its smart contracts help process token swaps against user-supplied liquidity, with pricing established by automated market-making formulas.