A decentralized exchange (DEX) protocol that relies on a mathematical formula and liquidity pools to price assets instead of using a traditional order book. It allows digital assets to be traded in a permissionless and automated way through smart contracts. Uniswap’s $x * y = k$ formula is the most prominent example of this system.