BigShort Docs

風險曲線與容量模型

解釋 35.23%→97% 風險跌幅、120%→105% 開倉比例,以及市值對應的理論做空上限。

先理解模型的作用

風險模型回答的是:在某個協議市值下,允許多少累計做空淨賣出規模? 它不預測價格,也不承諾市場的最大跌幅。

模型先把市值映射為理論 USDC 儲備,再用指定的價格跌幅計算可移出的 USDC。真正可執行的額度還要通過 TWAP 與現貨約束、借貸庫存與 Pair 精確輸出約束。

符號含義FULL 值 / 單位
M₀理想遷移市值錨點58,779.281633639439342677 USDC
Mt風險 / 保證金目標市值50,000,000 USDC
Q₀理想遷移 USDC 儲備12,161.433370 USDC
T₀遷移 Token 儲備206,900,000 Token
S曲線供應1,000,000,000 Token
d模型價格跌幅bps,3,523→9,700
m動態開倉保證金比例bps,12,000→10,500
C(M)市值對應的風險容量native18 USDC

FULL 風險跌幅與理論做空容量

圖中容量未扣現有部位,也未施加 TWAP 與借貸庫存約束。

1. 市值正規化

風險容量使用:

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

連續進度可記為 u = (M̄ − M₀) / (Mt − M₀)。實際實作先量化成整數 bps:

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

因此,曲線在整數實作中表現為細小階梯,而非無限精度的平滑函式。

當實際 spot 市值跌破 M₀,模型仍按 M₀ 計算基線容量;並不會繼續線性收縮到零。實際回購價格、債務償付與清算仍使用即時 Pair,不受這個市值下限保護。

2. 模型價格跌幅

連續直觀式:

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

對應整數實作:

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

起點明確傳回 3,523 bps;終點傳回 9,700 bps。它是一條二次曲線,不是線性內插。

3. 動態開倉保證金比例

連續直觀式:

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

整數實作:

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

開倉所需抵押的基準為名義本金乘以該比例,具體抵押校驗見 部位生命週期。

注意兩類市值輸入: 做空容量採用 TWAP 上限與 spot 共同約束後的市值;動態開倉比例根據即時市值(至少 M₀)計算,不應直接拿「容量市值」代入保證金曲線。

4. 理論儲備與最大做空淨賣出額

假設理想儲備積固定為 K₀ = Q₀T₀,則連續模型有:

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

令該比例等於 1 − d,得到容量的直觀式:

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

合約的整數執行順序

以下均使用原始單位,不以浮點近似替代:

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

Q̂ 是理論儲備,不是當下 Pair 餘額;模型的風險錨點也不會因為有人向 Pair 捐贈 USDC 而重寫。

5. 模型不提供的保證

  • 達到某個 spot 市值,不代表立即釋放該列全部額度;TWAP 可能尚未確認。
  • 容量是累計淨賣出額度,不是使用者可取出的抵押金或可賺取利潤。
  • 已有部位超過收縮後的容量,只會使新開額度歸零;是否能被清算由部位償付條件決定。
  • 模型不涵蓋外部流動性變化、全部價格路徑、MEV、壅塞與使用者成交滑價。
BigShort Protocol · ARC發行 · 交易 · 做空