LibraryMarkets2020Design paperCorpus record
Polymarket: an exchange on conditional tokens
Polymarket. Polymarket.
Polymarket publishes an exchange for outcome tokens. The payoff rule is the conditional-token framework it integrates, not a price the exchange prints.
A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.
Polymarket publishes an exchange for outcome tokens. The payoff rule is the conditional-token framework it integrates, not a price the exchange prints.
- Evidence
- Primary paper
- Re-measured
- No
- Assumptions
- 3
- Records linked
- 3
01 Claim ledger
What the paper is allowed to say
Each row is a sentence already in the study. The status is the same on every row: a model claim, not a live measurement.
Claim 01 · Paper model
The defect
A prediction market price is a trade. It is not a probability the protocol certifies, and it is not the resolution source.
Claim 02 · Paper model
The proposal
Polymarket publishes an exchange for outcome tokens. The payoff rule is the conditional-token framework it integrates, not a price the exchange prints.
Claim 03 · Paper model
The mechanism
Outcome tokens pay according to a condition and an oracle report. The exchange only matches buyers and sellers of those tokens.
Claim 04 · Paper model
The bound
No volume and no probability is stated here.
02 Three cuts
Observation, model, falsifier
A desk does not stop at the summary. Each claim is cut three ways, using only this study's own assumptions and checks. Nothing here is a new figure.
01 The defect
Observation
What the study says
A prediction market price is a trade. It is not a probability the protocol certifies, and it is not the resolution source.
Model
What has to hold
The document is the one at the source URL. A marketing page with the same brand is not this text.
Falsifier
What would retire it
Which contract defines the condition?
02 The proposal
Observation
What the study says
Polymarket publishes an exchange for outcome tokens. The payoff rule is the conditional-token framework it integrates, not a price the exchange prints.
Model
What has to hold
You are reading Polymarket's developer docs. The conditional-token design is the settlement layer underneath.
Falsifier
What would retire it
Who reports the outcome?
03 The mechanism
Observation
What the study says
Outcome tokens pay according to a condition and an oracle report. The exchange only matches buyers and sellers of those tokens.
Model
What has to hold
No price, supply, yield, or adoption figure is added by this desk.
Falsifier
What would retire it
Which contract defines the condition?
04 The bound
Observation
What the study says
No volume and no probability is stated here.
Model
What has to hold
You are reading Polymarket's developer docs. The conditional-token design is the settlement layer underneath.
Falsifier
What would retire it
Which contract defines the condition?
03 Sequence
One action, as an operating tape
- 01Outcome tokens pay according to a condition and an oracle report. The exchange only matches buyers and sellers of those tokens.
- 02Resolution is an oracle event. If you have not named the oracle, you have not described settlement.
- 03Collateral locked in the condition is what winners are paid from. The exchange's order book does not create that collateral.
04 Load-bearing
The argument, and where a pitch drops it
What the name has to mean
The cut
Polymarket publishes an exchange for outcome tokens. The payoff rule is the conditional-token framework it integrates, not a price the exchange prints.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
This is not the Gnosis conditional-token paper by itself. Polymarket is an application that uses that design.
What actually moves
The cut
Resolution is an oracle event. If you have not named the oracle, you have not described settlement.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
A market can resolve to a disputed oracle result. The dispute path is part of the design when the docs include one.
What a later deployment may change
The cut
Collateral locked in the condition is what winners are paid from. The exchange's order book does not create that collateral.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
A later client, parameter or reward formula is a different object from this paragraph.
05 Register
What has to be true
Model · Not re-measured
You are reading Polymarket's developer docs. The conditional-token design is the settlement layer underneath.
Model · Not re-measured
The document is the one at the source URL. A marketing page with the same brand is not this text.
Model · Not re-measured
No price, supply, yield, or adoption figure is added by this desk.
06 Divergence
What happened after the paper
A market can resolve to a disputed oracle result. The dispute path is part of the design when the docs include one.
A later client, parameter set, or reward formula is a different object. Cite this paper for the mechanism. Cite a primary release for the network. This desk has not re-run the proof.
07 Pre-mortem
What to check before you use the idea
- 0 of 3 marked on this browser. A mark is a reading note, not a pass, a rating, or a recommendation.
08 Anatomy
The paper, in the order a builder needs
The problem it names
A prediction market price is a trade. It is not a probability the protocol certifies, and it is not the resolution source.
What the design proposes
- Outcome tokens pay according to a condition and an oracle report. The exchange only matches buyers and sellers of those tokens.
- Resolution is an oracle event. If you have not named the oracle, you have not described settlement.
- Collateral locked in the condition is what winners are paid from. The exchange's order book does not create that collateral.
How the mechanism is specified
- Outcome tokens pay according to a condition and an oracle report. The exchange only matches buyers and sellers of those tokens.
- Resolution is an oracle event. If you have not named the oracle, you have not described settlement.
- Collateral locked in the condition is what winners are paid from. The exchange's order book does not create that collateral.
What this page does not treat as proven
- No volume and no probability is stated here.
- This is not the Gnosis conditional-token paper by itself. Polymarket is an application that uses that design.
- A market can resolve to a disputed oracle result. The dispute path is part of the design when the docs include one.
Why the desk still reads it
Polymarket publishes an exchange for outcome tokens. The payoff rule is the conditional-token framework it integrates, not a price the exchange prints.
09 Lexicon
Terms, opened into the record
- Outcome token
- A token that pays if a condition resolves a certain way. It is not a share of an exchange.
- Resolution
- The report that assigns the payoff. A trade is not a resolution.
10 Repository
Every linked record on this page
Underlined words open a page that already exists: a concept, a protocol profile, a failure record, or another paper. If a word is not underlined, this desk does not have a record for it.
Concepts
This is Blockchain Lab's reading of a public design paper. It is not the paper, not a copy of it, and not an offer of tokens, equity, custody or a partnership. Later network behaviour can diverge from the text. Nothing here is investment, legal or technical advice.
Research status: Design paper. Last reviewed: 1 October 2026. This is a reading of a public paper, not investment, legal or security advice.