Algoritmo de estabilidad (Mento)
Cómo se consigue el suministro del Celo Dollar en el protocolo de Celo, utilizando el mecanismo descentralizado de producto constante.
¿Qué es Mento?
En un nivel alto, Mento (conocido anteriormente como CP-DOT) permite que la demanda del usuario determine la oferta de activos estables de celo permitiendo a los usuarios crear, por ejemplo, un nuevo Dólar de Celo enviando 1 dólar estadounidense de valor CELO a la reserva, o quemar un Dólar de Celo canjeándolo por un valor de 1 Dólar de EEUU. El mecanismo requiere un preciso valor Oracle del tipo de mercado CELO a US Dollar para funcionar.
Incentivos
Esto crea incentivos de tal manera que cuando aumenta la demanda de Celo Dollar y el precio de mercado está por encima de la par, los usuarios pueden beneficiarse de sus propios esfuerzos comprando un valor de dólar estadounidense en el mercado CELO intercambiándolo con el protocolo por uno de Celo Dollar, y vendiendo ese Dólar de Celo por el precio del mercado.
De la misma manera, cuando la demanda del Dólar del Celo cae y el precio de mercado está por debajo de la par, los usuarios pueden beneficiarse de sus propios esfuerzos comprando Celo Dollar al precio de mercado, intercambiándolo con el protocolo por un valor de 1 Dólar de CELO, y vendiendo el CELO al mercado.
Riesgo de Mitigación
En casos en los que el valor del oráculo del dólar CELO no es un reflejo exacto del precio del mercado, explotar estas discrepencias puede llevar a un agotamiento de la reserva. Mento, inspirado en el sistema Uniswap, mitigan este riesgo de agotamiento de la siguiente manera: El protocolo Celo mantiene dos buckets virtuales de CELO y Celo Dollar. Las cantidades de estos cubos virtuales se recalibran cada vez que se actualiza el valor de oracle reportado, siempre que la diferencia entre la hora actual y la marca de tiempo del oráculo sea menor que .
Ecuaciones del modelo
La ecuación para el modelo constante-product-market-maker corrige el producto de las cantidades de la cartera.
$$ G_t \times D_t = k $$
donde y denote las cantidades en los buckets CELO y Celo Dollar respectivamente y es algo constante. Dada la regla anterior, se puede demostrar que el precio del CELO, a pagar en unidades de Celo Dollar, es
$$ P_t = \frac{D_t}{G_t} $$
para cantidades negociadas que son pequeñas en relación con las cantidades de buckets.
Tarifas de Oráculos
Cada vez que se actualiza la tasa de oráculo de Dólar CELO to US Dollar, el protocolo ajusta las cantidades del cubo de tal manera que igualan el tipo de cambio CELO de la cadena al tipo de cambio de Celo Dollar a la tasa de oráculo actual. Durante dicho reinicio, el cubo CELO debe seguir siendo menor que el balance total de oro de reserva. Para lograr esto, el tamaño del bucket CELO se define como el saldo total de reserva por , con $0<gold\_bucket\_size<1 y el tamaño del bucket Celo Dollar es entonces elegido tal que espeja el precio del oráculo. Para desalentar las operaciones excesivas en cadena, se impone una comisión de transacción al añadir un pequeño margen alrededor del tipo de cambio anterior.
Si el oráculo refleja exactamente la tasa de mercado, el CELO a Celo Dollar en cadena igualará la tasa de mercado CELO a US Dollar y no existirá ninguna oportunidad de lucro mientras Celo Dollar siga con precisión el Dollar de los Estados Unidos. Si el precio del oráculo es impreciso, las dos tasas difieren, y una oportunidad de beneficio estará presente incluso si Celo Dollar rastrea con precisión el Dollar de los Estados Unidos. Sin embargo, como los comerciantes explotan esta oportunidad, el precio de la cadena se ajusta dinámicamente en respuesta a los cambios en las cantidades del tanque hasta que la oportunidad cese de existir. Esto limita el potencial de agotamiento en Mento en caso de tasas de oráculo imprecisas o manipuladas.
Para una explicación más detallada, lea el artículo Zooming in on the Celo Expansion & Contraction Mechanism.
Despliegue de Multi-mento
Muchas instancias de mento pueden ser desplegadas en paralelo para diferentes activos estables. Actualmente, cEUR y cUSD viven lado a lado, con buckets independientes e informes de oráculo (aunque ambos están usando la misma instancia SortedOracles). Todos llenan el buckets CELO con fondos de la Reserva, pero no necesariamente al mismo tiempo.