Skip to content
Reading depth

Each view includes the earlier layers; the complete engineer or auditor page is shown by default.

A perpetual future is a margined derivative that gives long or short price exposure without transferring the underlying asset or having a fixed expiry.

Diamond category cue

A perpetual future gives long or short price exposure without transferring the referenced asset and without a scheduled expiry.

Perpetuals let traders take or hedge continuous exposure without buying the underlying or repeatedly rolling dated futures. Margin reduces the capital posted at inception, while funding or another convergence rule connects the perpetual market to a reference price over time.

A futures contract without an expiry date is a useful analogy. Unlike a dated future, a perpetual has no delivery date that forces convergence. Venue-specific funding, oracle, margin, liquidation, insurance, and backstop rules take that role, and holding the position does not give ownership or governance rights in the reference asset.

A long benefits from a higher settlement or exit price; a short benefits from a lower one. Each posts margin to a venue, clearing system, or counterparty pool. An oracle or price-index process supplies reference information. Liquidators, insurance, or backstops handle accounts that cannot meet their obligations.

The margin and settlement token are assets. The long or short position, accrued profit and loss, and funding balance are claims or obligations. The referenced asset may never enter the system.

  1. Select the market, direction, size, order bounds, and margin mode.
  2. Lock or assign collateral and execute against another trader, maker, or pool.
  3. Record position size and entry price; update unrealized profit and loss from the venue’s mark rule.
  4. Accrue fees and funding under the current interval and sign convention.
  5. Restrict risk-increasing orders and withdrawals using margin rules.
  6. Close, reduce, transfer, or liquidate the position and realize the resulting balances.

For a simple linear contract quoted in USD:

linearPnlUsd
= signedPositionSizeTokens × (exitPriceUsdPerToken - entryPriceUsdPerToken)

signedPositionSizeTokens is positive for a long and negative for a short. This formula excludes fees, funding, slippage, quanto effects, and model-specific settlement adjustments.

Capital flow is posted margin, fees, funding, and final settlement. Claim flow creates opposite derivative positions. Return flow transfers trading gains from the losing side, counterparty pool, or backstop according to the venue; market price movement itself is not a payer. Risk flow can reach margin, the counterparty pool, insurance, and finally any stated deficit-allocation layer.

Test signed size, decimals, entry aggregation, partial closes, reduce-only orders, mark and index selection, funding checkpoints, cross and isolated margin, fee ordering, liquidation, insurance exhaustion, auto-deleveraging, stale prices, paused markets, and repeated settlement. Reconcile every credited profit with an equal debit or explicit pool, insurance, or deficit change.

Hyperliquid’s contract specifications describe one linear, margin-denominated perpetual design and explicitly name its oracle, mark, funding, and margin conventions. Synthetix’s perpetual-trading documentation is another implementation entry point. Neither defines all perpetual markets. Both references were reviewed 2026-08-10.

  • “Long a perpetual means owning the token.” It is a price-linked position, not title to the reference asset.
  • “Leverage multiplies the market price.” It changes exposure relative to equity and accelerates margin loss; the underlying price still moves by its observed amount.
  • “Profit appears from the market.” Settlement requires a counterparty, pool, insurance, or explicit deficit allocation.

Next examine the collateral and loss boundary in derivatives margin.

Machine-readable model

Key equations

Canonical expressions come from the structured concept record. KaTeX renders the notation, while the plain-text expression and variable table keep its meaning and units inspectable without JavaScript. Read the narrative above for the model's domain, assumptions, and rounding rules.

  1. Equation 1

    Plain-text equation: linearPnl = signedPositionSize * (exitPrice - entryPrice)

Assurance contract

Security properties

These structured statements define desired behavior. Their stable IDs can bind tests, invariants, specifications, audit findings, or proof results without turning descriptive review advice into an assurance claim.

Desired · not evaluated: No test, audit, or proof result is implied until scoped evidence is linked to this property.

  1. Position size, direction, entry price, mark price, collateral, fees, funding, and realized profit and loss reconcile

  2. A trader cannot withdraw margin required by initial or maintenance rules

  3. Settlement cannot transfer profit without an equal counterparty, pool, or backstop accounting change

  4. Oracle, liquidation, insurance, and auto-deleveraging powers and loss priorities are explicit

Knowledge check

Quiz

Answer in your own words, then open the model answer.

What problem does Perpetual future exist to address?

Model answer

Perpetual futures let traders take, hedge, or provide leveraged price exposure continuously without rolling a dated futures contract at each expiry.