Skip to content
Reading depth

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

An option gives its holder a contingent payoff or exercise right linked to an underlying price, strike, direction, size, and expiry.

Diamond category cue

An option gives its holder a contingent payoff or exercise right defined by a reference price, strike, direction, size, and expiry.

Options separate upside and downside into asymmetric claims. A buyer can pay a premium for protection or conditional exposure, while a writer accepts a defined obligation in exchange for that premium. This supports hedging, volatility trading, structured payoffs, and conditional financing.

Exchange-traded and over-the-counter options are direct analogies. On-chain options can tokenize positions and automate collateral, exercise, and settlement, but add oracle, contract, custody, liquidity, governance, and transaction-ordering dependencies. Cash-settled tokens do not convey delivery rights unless specified.

The holder or buyer pays the premium and owns the option claim. The writer or seller receives the premium and owes the payoff or delivery obligation. A venue, issuer, or vault records positions; collateral providers secure writer obligations; an oracle and settlement mechanism determine the final value.

Premium, writer collateral, settlement tokens, and any deliverable underlying are assets. The call or put is the holder’s claim and the writer’s contingent liability.

  • A call benefits from settlement above the strike.
  • A put benefits from settlement below the strike.
  • European-style exercise occurs at expiry; American-style permits exercise during a stated window.
  • Cash settlement transfers calculated value; physical settlement exchanges the underlying and strike assets.

For contract size in units of the underlying and prices in USD per unit:

callPayoffUsd
= max(settlementPriceUsdPerUnit - strikePriceUsdPerUnit, 0)
× contractSizeUnits
putPayoffUsd
= max(strikePriceUsdPerUnit - settlementPriceUsdPerUnit, 0)
× contractSizeUnits

These are expiry payoffs before premium, fees, collateral shortfall, settlement adjustments, and exercise-style effects. Buyer profit is not the same as payoff: the premium and costs must also be included.

  1. Define call or put, strike, size, expiry, exercise style, settlement asset, and price source.
  2. The buyer pays a premium; the writer posts collateral or uses a stated margin model.
  3. Record opposite holder and writer positions and any transferable tokens.
  4. Revalue positions and enforce writer margin or liquidation rules before expiry.
  5. Exercise or settle from the authorized reference state and payoff function.
  6. Transfer cash or underlying, close both claims, and release valid residual collateral.

Capital flow is premium, collateral, fees, and settlement. Claim flow creates holder and writer positions. Information flow carries price, volatility, expiry, and oracle state. Return flow comes from writer obligations and market counterparties, not from the reference asset automatically. Risk flow reaches the holder through premium loss and the writer through potentially large or, for some calls, unbounded economic exposure. Collateral and liquidation may limit system recovery or account loss without changing the contractual payoff.

Test call and put direction, zero and boundary intrinsic value, timestamp equality, exercise windows, decimals, contract size, price source, TWAP windows, cash versus physical assets, collateral release, token transfer, partial exercise, repeated settlement, expired state, and writer shortfall. Payoff, premium, PnL, and collateral must remain distinct accounting fields.

Derive’s settlement documentation shows one implementation that settles options from a spot-price TWAP and changes mark behavior near expiry. That oracle window and cash-settlement process are protocol-specific, not universal option terms. The documentation was reviewed 2026-08-10.

  • “An option buyer can lose the full notional.” A fully paid long option generally loses at most premium and costs, while writer risk follows the contract and collateral model.
  • “In the money means profitable.” Payoff can be positive while remaining below premium and fees.
  • “Covered means liquidation-proof.” Margin valuation, settlement windows, basis, and operational rules can still create liquidation or shortfall.

Use hedging to examine options as one part of a portfolio rather than an isolated payoff.

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: callPayoff = max(settlementPrice - strikePrice, 0) * contractSize

  2. Equation 2

    Plain-text equation: putPayoff = max(strikePrice - settlementPrice, 0) * contractSize

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. Direction, strike, size, expiry, exercise style, settlement price, asset, and rounding are explicit

  2. Payoff cannot be exercised or settled twice

  3. Writer collateral and loss allocation cover each bounded obligation or explicitly expose open-ended payoff and shortfall risk under the selected model

  4. Expired, exercised, transferred, liquidated, and cash or physical settlement states are mutually consistent

Knowledge check

Quiz

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

What problem does Option exist to address?

Model answer

Options let participants buy or sell asymmetric exposure, protection, volatility, and conditional obligations without exchanging the full underlying value at inception.