On-chain trading has evolved from a simple constant product formula to a centralized liquidity automated market-making mechanism, and then to more efficient leveraged trading.