Option
An option gives its holder a contingent payoff or exercise right linked to an underlying price, strike, direction, size, and expiry.
Category: DerivativesDiamond category cue
System record
Start with the economic purpose, participants, resources, and entitlements before studying implementation detail.
Why it exists
Options let participants buy or sell asymmetric exposure, protection, volatility, and conditional obligations without exchanging the full underlying value at inception.
Traditional-finance analogy
Exchange-traded or over-the-counter option is the closest comparison recorded for this concept.
Where the analogy stops
- On-chain options can use tokenized positions, automated collateral, oracle settlement, or vault counterparties, each with distinct exercise and shortfall paths.
- A cash-settled token does not convey ownership or delivery rights unless the contract explicitly provides them.
Main actors
- ActorOption holder or buyer
- ActorOption writer or seller
- ActorTrading venue or issuer
- ActorCollateral provider
- ActorOracle and settlement agent
- ActorLiquidator or backstop
Assets and claims
Assets — controlled or transformed resources
Assets are resources the mechanism moves, holds, values, or transforms.
- AssetPremium
- AssetWriter collateral
- AssetSettlement asset
- AssetUnderlying asset when physically settled
Claims — entitlements and corresponding dependencies
Claims are rights to value, repayment, redemption, control, or another party's performance; each depends on an obligation or system that must honor it.
- ClaimCall or put payoff claim
- ClaimWriter settlement obligation
An option gives its holder a contingent payoff or exercise right defined by a reference price, strike, direction, size, and expiry.
Why it exists
Section titled “Why it exists”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.
Traditional-finance analogy
Section titled “Traditional-finance analogy”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.
Actors, assets, and claims
Section titled “Actors, assets, and claims”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.
Calls, puts, and contract terms
Section titled “Calls, puts, and contract terms”- 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) × contractSizeUnitsThese 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.
Step-by-step mechanism
Section titled “Step-by-step mechanism”- Define call or put, strike, size, expiry, exercise style, settlement asset, and price source.
- The buyer pays a premium; the writer posts collateral or uses a stated margin model.
- Record opposite holder and writer positions and any transferable tokens.
- Revalue positions and enforce writer margin or liquidation rules before expiry.
- Exercise or settle from the authorized reference state and payoff function.
- Transfer cash or underlying, close both claims, and release valid residual collateral.
State transition and flows
Section titled “State transition and flows”| Stage | Holder | Writer |
|---|---|---|
| Open | Pays premium; receives option claim | Receives premium; accepts contingent obligation |
| Before settlement | Can hold, trade, or exercise if permitted | Maintains collateral or margin |
| In the money | Receives payoff or exercise value | Pays payoff or delivers under contract terms |
| Out of the money | Claim expires with zero intrinsic payoff | Keeps premium, subject to prior costs and hedge |
Return source and loss allocation
Section titled “Return source and loss allocation”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.
Engineer or auditor lens
Section titled “Engineer or auditor lens”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.
Common misunderstandings
Section titled “Common misunderstandings”- “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.
Equation 1 Plain-text equation:
callPayoff = max(settlementPrice - strikePrice, 0) * contractSizeVariables and units for equation 1 Symbol Meaning Unit callPayoffCall Payoff selected settlement-asset units settlementPriceSettlement Price quote-asset units per base-asset unit strikePriceStrike Price quote-asset units per base-asset unit contractSizeContract Size underlying or reference-asset units Equation 2 Plain-text equation:
putPayoff = max(strikePrice - settlementPrice, 0) * contractSizeVariables and units for equation 2 Symbol Meaning Unit putPayoffPut Payoff selected settlement-asset units strikePriceStrike Price quote-asset units per base-asset unit settlementPriceSettlement Price quote-asset units per base-asset unit contractSizeContract Size underlying or reference-asset units
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.
Direction, strike, size, expiry, exercise style, settlement price, asset, and rounding are explicit
Payoff cannot be exercised or settled twice
Writer collateral and loss allocation cover each bounded obligation or explicitly expose open-ended payoff and shortfall risk under the selected model
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.