Detalhar o processo de cunhagem e de reembolso da FRAX
Todos os tokens FRAX são fungíveis entre si e têm direito à mesma proporção de garantia, independentemente do rácio de garantia em que foram cunhados. Este sistema de equações descreve a função de cunhagem do Protocolo Frax:
Para sermos explícitos, podemos começar por encontrar a FXS necessária para cunhar a FRAX com 200 USDC (1 dólar/USDC) num rácio de garantia de 1.00
Desta forma, mostramos que nenhum FXS é necessário para cunhar FRAX quando o índice de garantia do protocolo é 100% (totalmente garantido). Em seguida, verificaremos qual a quantidade de FRAX que será obtida com 200 USDC.
Primeiro, importa descobrir quantas FXS são necessárias para igualar a quantia correspondente de USDC.
Portanto, é necessário depositar 15 FXS ao lado de 120 USDC nestas condições. Em seguida, calcula-se a quantidade de FRAX é obtida.
150 FRAX são cunhadas neste cenário. 120 FRAX são suportadas pelo valor de USDC como garantia, ao passo que as restantes 30 FRAX não são suportadas por nada. Em vez disso, o FXS é queimado e removido da circulação proporcional ao valor da FRAX algorítmica cunhada.
Primeiro, começa-se por encontrar o FXS necessário.
Em seguida, calcula-se a quantidade de FRAX a ser obtida.
437.78 FRAX é cunhada neste cenário. Proporcionalmente, metade da FRAX acabada de cunhar é suportada pelo valor de USDC como garantia, ao passo que os 50% restantes da FRAX não têm suporte. 62.54 FXS é queimado e retirado de circulação, metade do valor da FRAX acabada de cunhar. Repare que o preço da garantia afeta a quantidade de FRAX que pode ser cunhada - a FRAX é indexada a 1 dólar, não a 1 unidade de USDC.
Se não for colocado FXS suficiente na função de cunhagem, juntamente com garantia, a transação falhará com um erro subtraction underflow.
Ao reembolsar 170 FRAX retorna 170 dólares do valor a quem solicita em 110.5 USDC da garantia da pool e 15.867 tokens de FXS acabada de cunhar, ao preço de mercado corrente da FXS.
Adicionalmente, existem 2 blocos de parâmetro de atraso (ajustável pela governança) ao retirar garantia de reembolso para proteção contra empréstimos instantâneos.
Nota: Estes exemplos não contabilizam as taxas de cunhagem e de reembolso, que estão fixadas entre 0,20% e 0,45%.
são as unidades da FRAX recém-cunhadas é o rácio de garantia são as unidades de garantia transferidas para o sistema é o preço em dólares da garantia são as unidades de FXS queimadas é o preço em dólares da FXS
São cunhadas 200 FRAX neste cenário. Repare como todo o valor da FRAX está em dólares de valor da garantia quando o rácio está a 100%. Qualquer valor de FXS que tente ser queimado para cunhar FRAX é devolvido ao utilizador porque a segunda parte da equação cancela para 0, independentemente do valor de e .
O reembolso de FRAX é efetuado reorganizando o sistema de equações anterior para simplificar e resolvendo para as unidades de garantia,, e para as unidades de FXS, .
são as unidades de FRAX reembolsadas é o rácio de garantia são as unidades de garantia transferidas para o utilizador é o preço em dólares da garantia são as unidades de FXS cunhadas para o utilizador é o preço em dólares da FXS
Assim, e