BigShort Docs

Token のライフサイクル

固定供給の作成、曲線発行、外部移行をフォローして、各段階で許可、資産所有権、および州の移行を理解します。

BigShortProtocol-EVM は Token のライフサイクルを作成、カーブ市場取引、アトミックな移行、外部市場取引と空売りに分けます。作成時に供給量と発行設定が確定し、最後のカーブ市場買い注文が外部プールの構築と Short Engine の初期化を同時に完了します。運用担当者が手動でクリックする通常の「卒業」手順はありません。

1. 固定供給と初期配分

各 Token はコンストラクタで総供給量を一括 mint します。カーブ枠と貸出準備金は用途の異なる二種類の資産です。

構成Token 数量初期保有者用途
カーブ市場販売可能枠793,100,000Factoryカーブ市場の買い手へ販売。売り戻し時に販売可能残高を補充
外部市場移行準備金206,900,000Factoryカーブ市場完了時に主 Pair へ一括投入
貸出準備金199,861,071事前計算した独立 Short Engine アドレス移行後に空売り用 Token 元本を供給
総供給量1,199,861,071上記二種類のコントラクトアドレス作成時に一括 mint

このうちカーブ供給基数は:

Scurve=793,100,000+206,900,000=1,000,000,000

総供給量は:

Stotal=Scurve+199,861,071=1,199,861,071

時価総額モデルは 1,000,000,000 Token のカーブ供給基数を使い、1,199,861,071 の ERC-20 総供給量は使いません。 これはプロトコルで定めた価格評価基準であり、流通時価総額や総供給量全体の評価と混同すべきではありません。

作成者は作成を開始しただけで Token の配分を自動的に受け取るわけではありません。販売可能 Token を保有したい場合は、同じく取引で取得する必要があります。貸出準備金も移行時の追加 mint ではありません。Token は作成時に事前計算した Engine アドレスへ送られており、その時点では Engine のコントラクトコードがまだデプロイされていないだけです。

2. 作成時に確定する業務設定

設定制約と意味
名前 name空文字不可、最大 64 バイト
記号 symbol空文字不可、最大 16 バイト
メタデータ uri最大 512 バイト、空文字可
作成者 creator非ゼロアドレス。トランザクション送信者と異なってもよい

上記の長さは中国語文字数ではなく UTF-8 バイト数です。名前やシンボルなどは決定論的デプロイアドレスの導出に使われ、送信者と作成番号ごとに異なるデプロイ名前空間を持ちます。

作成の実行順序

  1. メタデータ、作成者、税設定を検証します。
  2. 現在のデフォルト Launch Profile を読み、Token、カーブ、Engine、取引場所の四つのバージョンを固定します。
  3. Token と独立 Short Engine の予想アドレスを計算します。
  4. Token をデプロイし、カーブ供給量と貸出準備金を一括 mint します。課税モードなら、その Token 専用の Tax Processor も同時にデプロイします。
  5. 指定の Token/USDC Pair を作成または再利用し、Pair の識別情報とコードを検証して mainPair。
  6. カーブを Bondingに設定し、初期準備金、メタデータ、税率、設定スナップショットを記録して作成イベントを発行します。

各 Token は独自の Launch Profile を保持します。後で管理者が新しいデフォルト Profile を選んでも、作成済み Token が新カーブや新取引場所へ自動切替されることはありません。Factory のプロキシアップグレード権限はこの設定スナップショットとは別の論点です。権限の章を参照してください。

3. 状態機械とユーザーが実行できる操作

状態業務上の意味通常実行できる操作
NoneFactory にまだ作成されていないToken 作成
Bondingカーブ市場の販売可能残高が 0 より大きいカーブ市場の売買、通常のウォレット間送金
Complete最後の買い注文で販売可能残高がゼロになった同一トランザクション内で即座に移行。独立した待機段階ではない
Migrating同一トランザクション内で Pair 検証、流動性追加、Engine デプロイ中独立したユーザー向け移行エントリーポイントなし
Migrated外部プールと Engine がともに準備完了外部市場取引、条件を満たす空売りとポジション管理。カーブ市場エントリーポイントは取引を受け付けない

正常に成功するトランザクションの状態遷移は:

None → Bonding → Complete → Migrating → Migrated

最後の三段階は、同じ最終買いトランザクションの実行中に現れ得ます。トランザクション全体が成功した場合のみ、新しいオンチェーン状態とログが保持されます。

カーブ市場完了の唯一の数量条件

初期販売可能枠を R0、現在の販売可能枠を Rとすると、ネット販売数量による進捗は:

Progress=R0−RR0×100%

ここで R0=793,100,000 Token です。購入で Rが減り、売り戻しで Rが増え、ウォレット間送金では進捗は変わりません。この百分率は製品表示用であり、コントラクトが個別に管理する状態フィールドではありません。

完了条件は R=0であり、固定の USDC 調達額や固定時価総額ではありません。 例えばネット販売数量がちょうど 396,550,000 Token なら、残りの販売可能量も 396,550,000、進捗は 50% です。カーブ価格は取引で変わるため、最終 USDC の 50% を受領済みという意味ではありません。

4. カーブ市場段階の取引境界

カーブ市場は Factory が記録する仮想準備金で見積もり、実準備金で決済します。三つのエントリーポイントは異なる要求を満たします。

買い手は Token 受領者を指定できますが、主 Pair は指定できません。返金は Token 受領者ではなく、常にトランザクション送信者へ返ります。売却では保有者が事前に Factory に Token の支出承認を与える必要があります。

主 Pair はまだ開放されていない

  • 通常の保有者はウォレット間で送金できます。
  • 外部市場開放前は mainPair との非ゼロ Token 送金が制限されます。Factory は移行用の管理者として例外です。
  • カーブ市場の買い注文で Token を Pair へ直接送ることはできません。
  • Pair アドレスは事前に存在し得ますが、「Pair 作成済み」は「外部市場取引開始済み」を意味しません。

この制約はプロトコルに紐づいた mainPairを対象とし、すべての第三者アドレスや独自作成市場に対する全面封鎖と宣伝すべきではありません。

5. 最終購入と移行のアトミック性

最終買い注文は先にカーブ市場ルールで決済し、続いて外部プールへの流動性追加、Engine のデプロイと初期化、外部市場開放を完了します。必須段階のどれかが失敗すると、最終買い注文全体がロールバック: この取引におけるトークン転送、曲線予備の更新、返金、およびログは逆転されます。 以前に完了した取引は影響を受けません。

最終購入は通常の購入より実行リソースを多く要するため、クライアントは通常の買い注文の固定 gas limit を転用すべきではありません。移行資金、LP の行き先、精度処理は移行と外部市場 AMM。

6. 移行後の各モジュールの役割

モジュール移行後の役割
TokenERC-20 送金、主 Pair 売買税の識別、税処理のトリガー
主 Pair実際の Token/USDC 流動性を保有し、定積交換を実行
Short Engine当該 Token の独立貸出在庫、証拠金、ファンディング、決済、清算を管理
Risk OracleEngine に容量関連の時間加重リスク制約を提供
Factory発行・移行記録の保存、設定管理、プロトコル収益関連の管理
Quoter読み取り専用見積もりと実行可能容量プレビューを提供。ユーザーに代わって取引を実行しない

移行によって貸出準備金が AMM に追加されたり、初期 LP が作成者や最後の買い手に配分されたりすることはありません。取引価格は移行後の実際の Pair 準備金で決まり、空売りは引き続きリスク容量、貸出在庫、証拠金要件を同時に満たす必要があります。

BigShort Protocol · ARC発行 · 取引 · 空売り