先理解模型的作用
風險模型回答的是:在某個協議市值下,允許多少累計做空淨賣出規模? 它不預測價格,也不承諾市場的最大跌幅。
模型先把市值映射為理論 BNB 儲備,再用指定的價格跌幅計算可移出的 BNB。真正可執行的額度還要通過 TWAP 與現貨約束、借貸庫存與 Pair 精確輸出約束。
| 符號 | 含義 | 當前 BSC 組值 / 單位 |
|---|---|---|
M₀ |
理想遷移市值錨點 | 79.990424077961846080 BNB |
Mt |
風險 / 保證金目標市值 | 70,000 BNB |
Q₀ |
理想遷移 BNB 儲備 | 15.998084815592369216 BNB |
T₀ |
遷移 Token 儲備 | 2,000,000,000 Token |
S |
曲線供應 | 10,000,000,000 Token |
d |
模型價格跌幅 | bps,1,798→9,924 |
m |
動態開倉保證金比例 | bps,12,000→10,500 |
C(M) |
市值對應的風險容量 | native18 BNB |
圖中容量按當前組整數實現復算,未扣現有倉位,也未施加 TWAP 與借貸庫存約束。起點容量為 1.509436282603634021 BNB,目標市值處為 432.000375048343919998 BNB,不是截圖中的四捨五入示意值。
這些數值屬於當前經濟組,不代表所有後續組都必須沿用。市值仍按固定 100 億曲線供給計價,不隨銷毀稅減少 ERC-20 總供給而重新縮放。
1. 市值正規化
風險容量使用:
連續進度可記為 u = (M̄ − M₀) / (Mt − M₀)。實際實作先量化成整數 bps:
因此,曲線在整數實作中表現為細小階梯,而非無限精度的平滑函式。
當實際 spot 市值跌破 M₀,模型仍按 M₀ 計算基線容量;並不會繼續線性收縮到零。實際回購價格、債務償付與清算仍使用即時 Pair,不受這個市值下限保護。
2. 模型價格跌幅
連續直觀式:
對應整數實作:
起點明確傳回 1,798 bps;終點傳回 9,924 bps。它是一條二次曲線,不是線性內插。
3. 動態開倉保證金比例
連續直觀式:
整數實作:
開倉所需抵押的基準為名義本金乘以該比例,具體抵押校驗見 部位生命週期。
注意兩類市值輸入: 做空容量採用 TWAP 上限與 spot 共同約束後的市值;動態開倉比例根據即時市值(至少 M₀)計算,不應直接拿「容量市值」代入保證金曲線。
4. 理論儲備與最大做空淨賣出額
假設理想儲備積固定為 K₀ = Q₀T₀,則連續模型有:
令該比例等於 1 − d,得到容量的直觀式:
合約的整數執行順序
以下均使用原始單位,不以浮點近似替代:
Q̂ 是理論儲備,不是當下 Pair 餘額;模型的風險錨點也不會因為有人向 Pair 捐贈 WBNB 而重寫。
5. 模型不提供的保證
- 達到某個 spot 市值,不代表立即釋放該列全部額度;TWAP 可能尚未確認。
- 容量是累計淨賣出額度,不是使用者可取出的抵押金或可賺取利潤。
- 已有部位超過收縮後的容量,只會使新開額度歸零;是否能被清算由部位償付條件決定。
- 模型不涵蓋外部流動性變化、全部價格路徑、MEV、壅塞與使用者成交滑價。