FABRKNT
Request access
EN/日本語
← All courses
Course · DIY Perp
EXPERT355 min730 XP

Build OpenHL Funding — perpetual funding state machine

Build the openhl funding state machine in Rust. Twelve lessons across five modules including three invariants proved (zero-sum / interval-gating / no-catch-up).

Source is the primary text

How this course works

This is a hands-on course, not a feed of articles. The lessons build on each other in order, so what you learn from the source carries over to real code.

Start the course →12 lessons · native player
Difficulty
EXPERT
Workload
355 minutes
Reward
730 XP
Orientation
  1. 01Build OpenHL Funding — perpetual funding state machine15 min · 50 XP
Determinism + types
  1. 01Lesson 1 — RATE_SCALE — the constant that defends consensus25 min · 50 XP
  2. 02Lesson 2 — Money types — newtypes for prices, premiums, and notional30 min · 60 XP
  3. 03Lesson 3 — Position types — finishing the roster + HL defaults35 min · 70 XP
Pure compute
  1. 01Lesson 4 — compute_premium — first math, first tests40 min · 80 XP
  2. 02Lesson 5 — Overflow philosophy + the first proptest30 min · 60 XP
  3. 03Lesson 6 — compute_rate — divisor + cap30 min · 60 XP
  4. 04Lesson 7 — apply_funding — sign convention + zero-sum proptest40 min · 80 XP
Clock state machine
  1. 01Lesson 8 — FundingClock — the discrete event loop35 min · 70 XP
  2. 02Lesson 9 — Interval-gating invariant — three deeper tests30 min · 60 XP
  3. 03Lesson 10 — No-catch-up invariant — the design philosophy in one test25 min · 50 XP
Capstone
  1. 01Lesson 11 — Capstone — what you built, what's deferred, what comes next20 min · 40 XP