Spot and futures vs outcomes
HIP-4 describes outcomes as contracts that settle within a fixed range, useful for prediction markets and other bounded instruments. Polymarket’s binary markets use the same economic idea: a complete Yes+No set is backed by one unit of collateral.
Prices from 0 to 1
Each share costs somewhere between nothing and one full unit of quote (often written like $0.00 to $1.00). That scale doubles as a simple probability: 0.25 ≈ 25% chance, 0.75 ≈ 75%.
If the event resolves Yes, a Yes token is worth 1 and No is worth 0 (and the reverse if No wins). Before resolution, you can buy or sell either side on the book.
Because Yes and No are complements for a binary market:
p is economically the same idea as selling No at 1 − p (see matching below).
Dual order books
A binary market has two tokens and, from a reading perspective, two books:- Yes book — bids and asks on Yes
- No book — bids and asks on No
Why two books?
- Two tradeable claims. Traders express “this happens” or “this does not” without shorting a single unbounded asset in the futures sense.
- Bounded risk. Buying Yes at 0.40 risks at most 0.40 of collateral per share if Yes loses; max win is 0.60 to 1.00. No open-ended mark-to-market like a leveraged perp.
- Shared economics. One unit of collateral can mint a complete set (1 Yes + 1 No). That ties the two books together.
Merged liquidity (HIP-4)
Hyperliquid merges Yes and No books so they share liquidity. Explicitly:- Buy Yes at price
pis equivalent to sell No at price1 − p - Priority on the merged book is price–side–time: at the same merged price, resting sells are ranked ahead of dual buy interest
Limit and market orders
Same verbs as on a CEX:- Limit — rest at your price (or better). Guarantees price, not fill.
- Market — take liquidity now. Guarantees urgency, not price.
- Buy Yes (or No) with a limit or a marketable order
- Sell tokens you already hold
- Provide liquidity on one side while others trade the dual side
How matching works
1. Same-side CLOB matching
On a single side (e.g. Yes only), matching is the usual central limit order book:- An incoming buy matches the lowest ask if the buy price ≥ ask price.
- An incoming sell matches the highest bid if the sell price ≤ bid price.
- Resting orders keep price–time priority (on HIP-4’s merged book, price–side–time at equal merged price).
2. Complements and complete sets
Because Yes and No sum to one unit of collateral, liquidity can form across sides. Classic complementary match (Polymarket-style price discovery):- Trader A bids to buy Yes at 0.60
- Trader B bids to buy No at 0.40
0.60 + 0.40 = 1.00→ the system can mint a complete set: A receives Yes, B receives No, $1 collateral is locked
- Buying Yes at
pcompetes with selling No at1 − p - Selling Yes at
pcompetes with buying No at1 − p
3. After the trade
- Positions are balances of Yes and/or No tokens.
- Before settlement, you can sell on the book, or merge a complete set back to collateral where the venue allows.
- At settlement, winning side pays out per the settle rule; the losing side goes to zero.
Reading dual books in practice
- Tight Yes and No books with midpoints summing near 1 → coherent market.
- Wide spread on one side only → liquidity or inventory is skewed; the dual may still trade.
- Large size on Yes bids near
pis related to No offers near1 − pwhen books are merged or arbitraged.