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

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

Ela oferece um efeito de amplificação de fundos, mas 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 a uma perda massiva de posições. Essa liquidação extrema é uma consequência inevitável do mecanismo de liquidação presente em todos os protocolos de empréstimo — quando o mercado sofre volatilidade extrema, o mecanismo de liquidação aumenta o pânico, desencadeando uma espiral de morte de “queda de preço → ativação da 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 de uma base sem liquidação
A razão central pela qual os protocolos tradicionais de empréstimo DeFi dependem do mecanismo de liquidação é o risco de desconexão de preço entre o colateral e o empréstimo. Quando o preço 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 realizar liquidações forçadas para limitar perdas.

O design de empréstimo do PFund evita fundamentalmente essa exposição ao risco, baseado em duas regras principais:

● Primeira: o limite de empréstimo é estritamente atrelado à participação do usuário na cota do fundo PFund.
○ O limite máximo de empréstimo do usuário (quoteBorrowMax) é calculado pela seguinte fórmula:
○ B0 = tokenEmbarcado × poupança / (saldoLíquido + tokenEmbarcado)
○ Limite de empréstimo = B0 - empréstimo já realizado (borrowed)
○ A essência desse modelo é que o usuário retira uma liquidez equivalente à sua participação garantida no PFund. O usuário usa sua cota como garantia, e o valor dessa cota é isolado da volatilidade do mercado AMM, apresentando crescimento unilateral apenas com a acumulação de lucros globais do protocolo.
● Segunda: o limite máximo de empréstimo é restrito por duas restriçõ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 valor total emprestado nunca excede a liquidez disponível do fundo), e o execBorrow, antes de executar, força uma verificação de que grossPreview > savingsQuote, garantindo que nenhuma operação de empréstimo esgote a liquidez do pool.
Sob essa arquitetura, as oscilações bruscas no preço do token do mercado AMM não comprometem a segurança do sistema de empréstimos, pois o limite de empréstimo está atrelado à “participação absoluta no fundo” e não ao “preço do token”. Isso elimina a necessidade do mecanismo de liquidação na lógica fundamental.

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 a operação de empréstimo invada o principal garantido de terceiros.
● I-2: o total emprestado nunca excede o valor de savingsQuote
○ savingsQuote representa a liquidez disponível do fundo PFund. Quando ocorre um empréstimo, savingsQuote é deduzido de forma sincronizada, e é restabelecido na quitaçã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 principal garantido e o índice de retorno do PFund de outros participantes
○ A operação de empréstimo apenas modifica savingsQuote (contabilização de liquidez), sem alterar totalSavingsShares (total de cotas de principal) ou globalNVP (índice de retorno global), protegendo os direitos dos demais detentores de posições.
● I-4: as participações em savings e nvp0 do usuário permanecem inalteradas durante o empréstimo
○ A função mFinalizeBorrow não altera savings ou nvp0. Apenas quando o usuário vende suas cotas voluntariamente, o principal garantido é reduzido; a operação de empréstimo em si não causa perda.
● I-5: após o pagamento, a quantidade de colaterais liberados ≤ quantidade de colaterais originais, e o colateral remanescente é suficiente para cobrir a dívida restante
○ A lógica do algoritmo _repayUnstakeTokens garante que, seja qual for o pagamento parcial ou total, a quantidade de colaterais liberados esteja dentro do limite de segurança, e o colateral remanescente cubra totalmente a exposição de dívida.

Limites de segurança para empréstimos circulares
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 anterior, 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 restrição intrínseca, 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 de alocação de ativos: o usuário compra um projeto com 2000 U, formando uma posição de token AMM com 1000 U, e considera 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 sua participação no fundo PFund e, assim, elevando seu peso em dividendos futuros.
● Todo o processo é sem juros, sem risco de liquidação, e requer 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 (dividendos do fundo PFund). O mecanismo de empréstimo torna-se uma ferramenta fundamental para uma alocação de ativos racional e fundamentada.