BigShort Docs

Curva de risco e modelo de capacidade

O 35.23%→97% declínio modelado, 120%→105% relação de garantia de abertura e capacidade teórica de venda a curto prazo por capital de mercado.

Compreender primeiro a função do modelo

O modelo de risco responde a esta pergunta: que volume acumulado de vendas líquidas a descoberto é permitido para uma determinada capitalização do protocolo? Não prevê preços nem garante a queda máxima do mercado.

O modelo converte primeiro a capitalização em reservas teóricas de USDC e calcula depois o USDC extraível com uma queda de preço determinada. A capacidade efetivamente executável tem ainda de satisfazer as restrições de TWAP e spot, o inventário de empréstimos e a saída exata do Pair.

SímboloSignificadoValor FULL / unidade
M₀Âncora de capitalização ideal de migração58,779.281633639439342677 USDC
MtCapitalização objetivo de risco / margem50,000,000 USDC
Q₀Reserva ideal de USDC de migração12,161.433370 USDC
T₀Reserva de Token de migração206,900,000 Token
SOferta da curva1,000,000,000 Token
dQueda do preço do modelobps, 3,523→9,700
mProporção dinâmica de margem de aberturabps, 12,000→10,500
C(M)Capacidade de risco correspondente à capitalizaçãonative18 USDC

Queda de risco FULL e capacidade teórica de posições curtas

A capacidade apresentada não desconta as posições existentes nem aplica as restrições de TWAP ou do inventário de empréstimos.

1. Normalização da capitalização

A capacidade de risco utiliza:

M¯=min(max(M,M0),Mt)

O progresso contínuo pode ser escrito como u = (M̄ − M₀) / (Mt − M₀). A implementação real quantifica-o primeiro em bps inteiros:

ubps=⌊(M¯−M0)10,000Mt−M0⌋

Assim, na implementação inteira a curva apresenta pequenos degraus, em vez de ser uma função suave de precisão infinita.

Quando a capitalização spot real cai abaixo de M₀, o modelo continua a calcular a capacidade base com M₀ ; não continua a reduzi-la linearmente até zero. O preço real de recompra, o pagamento da dívida e a liquidação continuam a usar o Pair em tempo real e não são protegidos por este mínimo de capitalização.

2. Queda do preço do modelo

Expressão contínua intuitiva:

d(u)=0.9700−(0.9700−0.3523)(1−u)2

Implementação inteira correspondente:

dbps=9,700−⌊6,177(10,000−ubps)210,0002⌋

No início são devolvidos explicitamente 3,523 bps; no extremo final, 9,700 bps. É uma curva quadrática, não uma interpolação linear.

3. Proporção dinâmica de margem de abertura

Expressão contínua intuitiva:

m(u)=1.05+0.15(1−u)2

Implementação inteira:

mbps=10,500+⌊1,500(10,000−ubps)210,0002⌋

A linha de base da garantia de abertura é nocional vezes esta relação. Veja os controles detalhados em Ciclo de vida das posições.

Distinguir as duas entradas de capitalização: a capacidade de posições curtas usa uma capitalização limitada em conjunto pelo teto TWAP e spot; a proporção dinâmica de abertura é calculada com a capitalização em tempo real (no mínimo M₀). Não se deve inserir diretamente a «capitalização de capacidade» na curva de margem.

4. Reservas teóricas e venda líquida máxima a descoberto

Supondo um produto fixo de reservas ideais K₀ = Q₀T₀, o modelo contínuo dá:

Q^(M)=MQ0T0SPafterPbefore=(Q^−CQ^)2

Igualando esta relação a 1 − d, obtém-se a expressão intuitiva da capacidade:

C(M)≈Q^(M)(1−1−d(M))

Ordem de execução inteira do contrato

Tudo o que se segue utiliza unidades brutas, sem as substituir por aproximações em vírgula flutuante:

z=⌊M¯Q0S⌋,Q^=⌊zT0⌋R2=⌊Q^2(10,000−dbps)10,000⌋C(M)=Q^−⌈R2⌉

Q̂ representa reservas teóricas, não o saldo atual do Pair; a âncora de risco do modelo também não é reescrita porque alguém doe USDC ao Pair.

5. Garantias que o modelo não oferece

  • Atingir uma capitalização spot determinada não liberta imediatamente toda a capacidade correspondente; TWAP pode ainda não a ter confirmado.
  • A capacidade é um limite acumulado de vendas líquidas, não garantia que o utilizador possa levantar nem lucro que possa obter.
  • Se as posições existentes ultrapassarem a capacidade reduzida, apenas se anula a capacidade de novas aberturas; a possibilidade de as liquidar depende das condições de solvência das posições.
  • O modelo não cobre alterações da liquidez externa, todas as trajetórias de preços, MEV, congestionamento nem o deslizamento da execução do utilizador.
BigShort Protocol · ARCEmitir · Negociar · Vender a descoberto