Detallando el proceso de acuñación y redención de FRAX
Todos los tokens FRAX son intercambiables entre sí y tienen derecho a la misma proporción de garantía sin importar la proporción de garantía en la que se acuñaron. Este sistema de ecuaciones describe la función de acuñación del Protocolo Frax:
Para ser explícitos, podemos comenzar por encontrar el FXS necesario para acuñar FRAX con 200 USDC
($1/USDC
) en una proporción de colateral de 1.00
Por lo tanto, mostramos que no se necesita FXS para acuñar FRAX cuando la proporción de garantía del protocolo es del 100% (totalmente garantizada). A continuación, resolvemos cuánto FRAX obtendremos con los 200 USDC
.
Primero, necesitamos averiguar cuánto FXS necesitamos para igualar la cantidad correspondiente de USDC.
Por lo tanto, necesitamos depositar 15 FXS junto con 120 USDC en estas condiciones. A continuación, calculamos cuánto FRAX obtendremos:
En este escenario se acuñan150 FRAX
. 120 FRAX
están respaldados por el valor del USDC como garantía, mientras que los 30 FRAX
restantes no están respaldados por nada. En cambio, el FXS se quema y se retira de la circulación proporcionalmente al valor del FRAX algorítmico acuñado.
Primero, comenzamos encontrando el FXS necesario.
A continuación, calculamos cuánto FRAX obtendremos.
437.78 FRAX
se acuñan en este escenario. Proporcionalmente, la mitad de los FRAX recién acuñados están respaldados por el valor del USDC como garantía, mientras que el 50% restante de FRAX no está respaldado por nada. 62.54 FXS
se quema y se retira de la circulación, la mitad del valor del FRAX recién acuñado. Tenga en cuenta que el precio de la garantía afecta la cantidad de FRAX que se pueden acuñar: FRAX está vinculado a 1 USD, no a 1 unidad de USDC.
Si no se coloca suficiente FXS en la función de acuñación junto con la garantía, la transacción fallará con un error de subtraction underflow
.
El canje de 170 FRAX
devuelve $170
de valor al redentor en 110.5 USDC
del grupo de colateral y 15.867
de tokens FXS recién acuñados al precio actual del mercado FXS.
Además, hay un parámetro de retraso de 2
bloques (ajustable por el gobierno) al retirar la garantía rescatada para protegerse contra préstamos flash.
NOTA: Estos ejemplos no tienen en cuenta las tarifas de acuñación y reembolso, que se establecen entre el 0,20% y el 0,45%.
son las unidades de FRAX recién acuñado es el ratio colateral son las unidades de colateral transferidas al sistema es el precio en USD de la collateral son las unidades de FXS quemadas es el precio en USD de FXS
En este escenario se acuñan200 FRAX
. Observe cómo el valor total de FRAX está en valor en dólares de la garantía cuando la proporción es del 100%
. Cualquier cantidad de FXS que intente quemarse para crear FRAX se devuelve al usuario porque la segunda parte de la ecuación se cancela a 0
independientemente del valor de y .
El redención de FRAX se realiza reorganizando el sistema anterior de ecuaciones para simplificar y resolviendo las unidades de colateral, , y las unidades de FXS, .
son las unidades de FRAX canjeadas es el ratio de colateral son las unidades de colateral transferidas al usuario es el precio en USD de colateral son las unidades de FXS acuñadas al usuario es el precio en USD de FXS
Por lo tanto, y