Un tipo di protocollo di scambio decentralizzato che si basa su una formula matematica per determinare il prezzo degli asset, dove questi possono essere scambiati automaticamente senza la necessità di compratori e venditori tradizionali che creano un mercato.