DeFi empréstimos na sua forma definitiva: Como o mecanismo de empréstimo do PFund transforma “alavancagem” numa ferramenta racional

“Alavancagem” tem sido sempre uma ferramenta financeira de alto risco no mercado de criptomoedas.

Ao oferecer um efeito de amplificação de fundos, também frequentemente desencadeia riscos sistémicos. Em maio de 2022, a cadeia de liquidações desencadeada pela desancoragem do UST provocou uma tempestade de liquidações em cadeia, onde protocolos de empréstimo mainstream (Aave, Compound, MakerDAO, etc.) acionaram dezenas de bilhões de dólares em liquidações forçadas em 72 horas, com os usuários tendo seus colaterais liquidados a preços baixos pelo sistema, levando à anulação de posições em massa. Essa liquidação extrema é uma consequência inevitável de todos os protocolos de empréstimo que utilizam mecanismos de liquidação — quando o mercado sofre oscilações severas, esses mecanismos aumentam o pânico, provocando uma espiral de “queda de preço → ativação de liquidação → venda de colaterais → queda adicional de preço”.

O PFund, desde a arquitetura do protocolo, interrompe o mecanismo de ocorrência dessa espiral de liquidação.

Lógica e implementação sem liquidação
A razão principal pela qual os protocolos tradicionais de empréstimo DeFi dependem de mecanismos de liquidação é o risco de desconexão de preço entre o colateral e o empréstimo. Quando o valor de mercado do ativo colateral (como ETH) despenca, e seu valor não cobre o valor do empréstimo (como USDC), o protocolo enfrenta inadimplência e precisa de liquidação forçada para limitar perdas.

A concepção de empréstimo do PFund evita fundamentalmente essa exposição ao risco, baseada em duas regras centrais:

● Primeira: o limite de empréstimo e a participação do mutuário no fundo PFund estão estritamente ligados.
○ O limite máximo de empréstimo (quoteBorrowMax) do usuário é calculado pela fórmula:
○ B0 = tokenEmprado × poupança / (saldoLíquido + tokenEmprado)
○ Limite de empréstimo = B0 - empréstimo já realizado (borrowed)
○ A essência deste modelo é que o usuário retira liquidez equivalente à sua participação garantida no PFund. O usuário usa essa participação como garantia, cujo valor é insensível às oscilações de preço do mercado AMM, apresentando crescimento unidirecional apenas com a acumulação de lucros globais do protocolo.

● Segunda: o limite máximo de empréstimo é restrito por duas condições rígidas — limite de contribuição individual e limite de liquidez disponível no pool, sendo o menor dos dois.
○ Relatório de auditoria confirma: totalGrossBorrowed ≤ savingsQuote (o total de empréstimos nunca excede a liquidez disponível do fundo), e o execBorrow verifica obrigatoriamente antes da execução se grossPreview > savingsQuote, garantindo que nenhuma operação de empréstimo esgote a liquidez do pool.

Sob essa arquitetura, oscilações bruscas no preço do token do mercado AMM não comprometem a segurança do sistema de empréstimo, pois o limite de empréstimo está ancorado na “participação absoluta no fundo” e não no “preço de mercado do token”. Isso elimina a necessidade de mecanismos de liquidação desde a sua base lógica.

Validação de segurança do empréstimo a nível de código
O relatório de auditoria cobre cinco invariantes essenciais para a segurança do empréstimo do PFund:

● I-1: o limite de empréstimo individual não ultrapassa a contribuição garantida do próprio PFund
○ A derivação da fórmula mostra que o limite de empréstimo do usuário é estritamente calculado com base na sua participação (savings) e na proporção de posições existentes, impossibilitando que o empréstimo invada o capital garantido de terceiros.

● I-2: o total de empréstimos nunca excede o savingsQuote
○ savingsQuote representa a liquidez disponível do fundo PFund. Quando ocorre um empréstimo, savingsQuote é deduzido sincronamente, e ao reembolsar, é restaurado na mesma proporção. A liquidez disponível do pool constitui o limite rígido do volume de empréstimo.

● I-3: o empréstimo não afeta o capital garantido e o índice de rendimento dos outros participantes do PFund
○ As operações de empréstimo apenas modificam savingsQuote (contabilização de liquidez), sem alterar totalSavingsShares (participação principal) ou globalNVP (índice de rendimento global), protegendo os direitos dos demais detentores de posições.

● I-4: as poupanças e o nvp0 do usuário permanecem inalterados durante o empréstimo
○ A função mFinalizeBorrow não altera savings ou nvp0. Apenas quando o usuário vende suas participações voluntariamente, o capital garantido é reduzido; a operação de empréstimo em si não causa perdas.

● I-5: após o reembolso, a quantidade de colateral liberada ≤ quantidade de colateral original, e o colateral restante é suficiente para cobrir a dívida remanescente
○ A lógica do algoritmo _repayUnstakeTokens garante que, seja qual for o pagamento parcial ou total, a quantidade de colateral liberada permanece dentro do limite de segurança, e o restante do colateral cobre totalmente a exposição à dívida.

Limites de segurança na circulação de empréstimos
Para preocupações de que empréstimos circulares possam ampliar a alavancagem indefinidamente e sobrecarregar o protocolo, a estrutura matemática do PFund fornece um mecanismo de defesa definido.

Após o primeiro empréstimo, os dados borrowed do usuário aumentam, e o próximo limite de empréstimo é redefinido como B0 - borrowed_prev, apresentando uma tendência estritamente decrescente. Simultaneamente, a liquidez global disponível do pool, savingsQuote, também diminui com cada empréstimo. Cada ciclo de empréstimo reduz a alavancagem individual e o espaço de alavancagem global do sistema. O sistema de empréstimo possui uma auto-restrição inerente, sem necessidade de mecanismos externos de governança ou alertas. Como o limite de alavancagem é determinado por um ciclo matemático interno ao protocolo, evita riscos de manipulação por oráculos externos, consolidando a confiabilidade de sua arquitetura sem liquidação.

Aplicações da estratégia de empréstimo
Tomando um exemplo típico de alocação de ativos: o usuário compra um projeto com 2000 U, formando uma posição de tokens AMM com 1000 U, e reserva 1000 U como participação no fundo PFund. Quando o preço da posição AMM sobe 100%, o usuário pode adotar a seguinte estratégia:
● Colocar tokens como garantia para ativar o mecanismo de empréstimo.
● Emprestar até o limite equivalente à sua participação garantida no PFund.
● Reinvestir os fundos obtidos para comprar mais do projeto, aumentando a participação no fundo PFund e, assim, elevando o peso de dividendos futuros.
● Todo o processo é sem juros, sem risco de liquidação, pagando apenas uma taxa única de 3% sobre o empréstimo.

Essa alavancagem de baixo custo evita a exposição ao risco de amplificação de movimentos de preço, focando na ampliação da base de ganhos estáveis (o peso de dividendos do fundo PFund). O mecanismo de empréstimo torna-se uma ferramenta fundamental para uma alocação de ativos racional e bem fundamentada.