BigShort Docs

TWAP und ausführbare Kapazität

Reife TWAP-Bestätigung, sofortige Spot-Beschränkungen und Darlehensbestände bestimmen gemeinsam die maximale ausführbare Short-Selling-Kapazität.

Drei unterschiedliche Beschränkungen

BeschränkungBeantwortete FrageDatenquelle
RisikokurveWie hoch ist der derzeit zulässige theoretische Nettoverkaufsbetrag?Modell mit festen Parametern
TWAP + spotWelcher Teil eines Anstiegs ist bestätigt, und verringert der aktuelle Preis die Kapazität?Kumulierte V2-Preise und aktuelle Reserven
Ausleihbare Token / Exact OutputKann der Bestand tatsächlich für so viele USDC verkauft werden?Engine-Buchhaltung, Token-Saldo, aktuelle Pair

Der letztlich eröffnungsfähige Betrag hängt von allen drei Faktoren ab, nicht von einer einzelnen Marktkapitalisierungstabelle.

1. Kumulierter Preis und TWAP

V2 erfasst den kumulierten Preis in external6 / token18 . Sei A(t) der mit 2¹¹² skalierte kumulierte Wert und Δt:

P―raw,X112=⌊A(t1)−A(t0)Δt⌋

Umrechnung in die Marktkapitalisierung in native18:

MTWAP=⌊P―raw,X112S10122112⌋

2. Ein Mindestfenster ist kein festes rollierendes Fenster

Die Referenz-Engine-Familie verwendet ein Mindestbeobachtungsfenster von 300 Sekunden:

  • Δt < 300 Sekunden: Beobachtungsaktualisierungen schreibt keinen Beobachtungszustand und erhöht die bestätigte Obergrenze nicht.
  • Δt ≥ 300 Sekunden: Der Mittelwert umfasst den gesamten Zeitraum.

3. Bestätigte Obergrenze: nur steigend

Bei der Initialisierung beginnt die Kapazitätsobergrenze mit den festen Werten M₀ und C(M₀) ; die Kapazität beginnt nicht bei null. Zu diesem Zeitpunkt existiert noch kein TWAP-Sample über verstrichene Zeit.

Bei einem ausgereiften Sample lautet die Kandidaten-Marktkapitalisierung:

Mcandidate=max(M0,min(MTWAP,Mt))

Nur wenn der Kandidatenwert die historische Obergrenze übersteigt, wird sie erhöht. H bezeichnet die bestätigte Marktkapitalisierungsobergrenze,CHC_H die bestätigte Kapazitätsobergrenze:

H′=max(H,Mcandidate),CH′=max(CH,C(H′))

Ein normaler Preisrückgang senkt diese beiden historisch bestätigten Obergrenzen nicht. Der tatsächlich verfügbare Betrag wird jedoch weiterhin sofort vom Spot begrenzt.

4. Unmittelbare Spot-Beschränkung

Ms=min(max(Mspot,M0),Mt)Meffective=min(H,Ms)Ceffective=min(CH,C(Meffective))

Wenn das Nettoverkaufsvolumen aller bestehenden Positionen O = totalOpenShortNative:

Cremaining=max(Ceffective−O,0)
  • Sinkender Spot: Der Betrag für neue Eröffnungen schrumpft sofort, ohne auf einen neuen TWAP zu warten.
  • Erholter Spot: Die Kapazität kann innerhalb der bestätigten Obergrenze sofort zurückkehren.
  • Neues Spot-Hoch: Der Teil oberhalb der bestätigten Obergrenze erfordert weiterhin einen ausgereiften TWAP.
  • Spot unter M₀: Das Modell behält die Untergrenze M₀ ; dies bedeutet nicht, dass das gesamte Marktrisiko verschwindet.

Beispielszenario

Angenommen, die historisch bestätigte Marktkapitalisierungsobergrenze beträgt 10,000,000 USDC, und es bestehen Nettoverkäufe von 8,000 USDC:

Aktuelle Spot-MarktkapitalisierungEffektive Kapazität (ca. USDC)Verbleibender Nettoverkaufsbetrag für neue Eröffnungen (ca. USDC)
25,000,00055,056.24067347,056.240673; der Anstieg oberhalb der alten Obergrenze ist nicht freigegeben
1,000,00010,518.0954552,518.095455; unmittelbare Verringerung
10,000,00055,056.24067347,056.240673; Erholung innerhalb der alten Obergrenze

Dieses Beispiel berechnet nur die Risikoschicht. Die Token-Kreditbeschränkungen der tatsächlichen Pair können den letztlich ausführbaren Wert weiter verringern.

5. Token-Bestandsbeschränkung

Lavailable=L0−Lbad−Lborrowed

Der tatsächliche Token-Saldo der Engine muss außerdem mindestens dem buchhalterisch ausleihbaren Saldo entsprechen. Zusätzlich überwiesene Token erweitern L₀ nicht automatisch. Bei unzureichendem Saldo meldet der Quoter einen Fehler, statt weiterhin einen scheinbar verfügbaren Betrag auszugeben.

Seien T die Token18-Reserve der Pair,R ihre USDC-Reserve in external6 und L die ausleihbaren Token18. Damit die V2-Exact-Output-Rückrechnung L nicht überschreitet, beträgt das bestandsabhängige maximale Nettoverkaufsvolumen in external6:

EL=⌈L⋅9,970⋅RT⋅10,000+L⋅9,970⌉−1

L = 0 gibt in diesem Fall separat Null zurück.

Die Vorschaukapazität wird nach external6 abgerundet; anschließend gilt der kleinere Wert:

Eexec=min(⌊Cremaining,preview1012⌋,EL)Qsold,max=Eexec1012Nmax=⌈(Qsold,max+1)10,0009,900⌉−1

Wenn Qsold,max = 0, ist auch der Nominalbetrag null. Die Addition von 1 / Subtraktion von 1 bezieht sich hier auf rohe Ganzzahleinheiten in native18, nicht auf 1 USDC.

6. Eine Quote garantiert keine Ausführung

  • Vorschau und bestätigter Zustand sind unterschiedliche Felder; das Frontend sollte sie getrennt anzeigen.
  • Nach der Quote können swaps, Eröffnungen anderer Nutzer, die Verwertung von Tax Token oder Zeitfortschritt eintreten.
  • Der ausführbare Nominalbetrag ist noch kein vollständiges Transaktionsangebot: Der Nutzer muss auch Anforderungen an Collateral, Token-Ausleihobergrenze und exakte Nettoausgabe mit sechs Stellen erfüllen.
BigShort Protocol · ARCEmission · Handel · Leerverkauf