FABRKNT
すべてのコース
コース · 自作 Perp
エキスパート355 分730 XP

Step 4. Funding:決定論的数学パイプラインと Funding ステートマシンの構築

Perpetual DEX の命脈である funding メカニズムのステートマシンをスクラッチで実装する。固定小数点演算による、再現可能で deterministic な数学パイプライン (premium → rate → settlement) を構築。これを no-catch-up セマンティクスを厳格に強制する interval clock によって制御する。本コースでは外部 I/O を一切排除した Pure state machine として完結させ、ブリッジへの統合は次章へと繋ぐ。「DIY Perp シリーズ」の第4ステップ。数理ロジックをコードに落とし込む真髄を学ぶ。

ソースが第一のテキスト

このコースの進め方

このコースは記事の寄せ集めではなく、手を動かして進める実践型です。レッスンは順に積み上がる構成なので前から進めれば、ソースで得た理解がそのまま実際のコードに活きます。

コースを始める →12 レッスン · ネイティブプレイヤー
難易度
エキスパート
学習量
355 分
報酬
730 XP
Orientation
  1. 01レッスン0 — OpenHL Funding を作る(永久先物 funding state machine)15 分 · 50 XP
Determinism と型
  1. 01レッスン1 — RATE_SCALE — consensus を守る定数25 分 · 50 XP
  2. 02レッスン2 — Money 型 — price / premium / notional の newtype30 分 · 60 XP
  3. 03レッスン3 — Position 型 — roster 完成 + HL デフォルト35 分 · 70 XP
純粋な compute
  1. 01レッスン4 — compute_premium — 最初の数学、最初のテスト40 分 · 80 XP
  2. 02レッスン5 — Overflow 哲学 + 最初の proptest30 分 · 60 XP
  3. 03レッスン6 — compute_rate — divisor + cap30 分 · 60 XP
  4. 04レッスン7 — apply_funding — 符号規約 + zero-sum proptest40 分 · 80 XP
Clock state machine
  1. 01レッスン8 — FundingClock — discrete event loop35 分 · 70 XP
  2. 02レッスン9 — Interval-gating 不変条件 — 3 つの deeper test30 分 · 60 XP
  3. 03レッスン10 — No-catch-up 不変条件 — 1 テストで設計哲学25 分 · 50 XP
Capstone
  1. 01レッスン11 — Capstone — 築いたもの、先送りしたもの、次にくるもの20 分 · 40 XP