Un tipo de protocolo de intercambio descentralizado que se basa en una fórmula matemática para establecer el precio de los activos, donde estos pueden ser negociados automáticamente sin la necesidad de compradores y vendedores tradicionales que creen un mercado.