LibraryMarkets2021Design paperCorpus record
CoW: batch auctions and solvers
CoW Protocol. CoW Protocol.
CoW Protocol publishes a batch auction: orders are collected, solvers compete to settle the batch, and a settlement contract checks the uniform clearing rules.
A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.
CoW Protocol publishes a batch auction: orders are collected, solvers compete to settle the batch, and a settlement contract checks the uniform clearing rules.
- 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
An intent to trade is not a trade. The settlement contract is the object that makes it a trade.
Claim 02 · Paper model
The proposal
CoW Protocol publishes a batch auction: orders are collected, solvers compete to settle the batch, and a settlement contract checks the uniform clearing rules.
Claim 03 · Paper model
The mechanism
Users sign an order. Solvers propose a settlement. The contract checks prices and signatures against the batch rules.
Claim 04 · Paper model
The bound
No volume and no surplus figure 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
An intent to trade is not a trade. The settlement contract is the object that makes it a trade.
Model
What has to hold
You are reading the CoW Protocol docs. A front-end quote is not a clearing price.
02 The proposal
Observation
What the study says
CoW Protocol publishes a batch auction: orders are collected, solvers compete to settle the batch, and a settlement contract checks the uniform clearing rules.
Model
What has to hold
You are reading the CoW Protocol docs. A front-end quote is not a clearing price.
03 The mechanism
Observation
What the study says
Users sign an order. Solvers propose a settlement. The contract checks prices and signatures against the batch rules.
Model
What has to hold
No price, supply, yield, or adoption figure is added by this desk.
04 The bound
Observation
What the study says
No volume and no surplus figure is stated here.
Model
What has to hold
No price, supply, yield, or adoption figure is added by this desk.
03 Sequence
One action, as an operating tape
- 01Users sign an order. Solvers propose a settlement. The contract checks prices and signatures against the batch rules.
- 02Coincidence of wants, when two orders clear against each other, is a possible settlement, not a guarantee that a counterparty exists.
- 03A solver's private inventory or an AMM route is an implementation of the settlement. The protocol's check is what the contract enforces.
04 Load-bearing
The argument, and where a pitch drops it
What the name has to mean
The cut
CoW Protocol publishes a batch auction: orders are collected, solvers compete to settle the batch, and a settlement contract checks the uniform clearing rules.
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.
What actually moves
The cut
Coincidence of wants, when two orders clear against each other, is a possible settlement, not a guarantee that a counterparty exists.
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.
What a later deployment may change
The cut
A solver's private inventory or an AMM route is an implementation of the settlement. The protocol's check is what the contract enforces.
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 solver can fail to include an order. Inclusion is not promised by the signature alone.
05 Register
What has to be true
Model · Not re-measured
You are reading the CoW Protocol docs. A front-end quote is not a clearing price.
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
This is not Uniswap. There is no pool unless a solver uses one as liquidity.
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
An intent to trade is not a trade. The settlement contract is the object that makes it a trade.
What the design proposes
- Users sign an order. Solvers propose a settlement. The contract checks prices and signatures against the batch rules.
- Coincidence of wants, when two orders clear against each other, is a possible settlement, not a guarantee that a counterparty exists.
- A solver's private inventory or an AMM route is an implementation of the settlement. The protocol's check is what the contract enforces.
How the mechanism is specified
- Users sign an order. Solvers propose a settlement. The contract checks prices and signatures against the batch rules.
- Coincidence of wants, when two orders clear against each other, is a possible settlement, not a guarantee that a counterparty exists.
- A solver's private inventory or an AMM route is an implementation of the settlement. The protocol's check is what the contract enforces.
What this page does not treat as proven
- No volume and no surplus figure is stated here.
- A solver can fail to include an order. Inclusion is not promised by the signature alone.
- This is not Uniswap. There is no pool unless a solver uses one as liquidity.
Why the desk still reads it
CoW Protocol publishes a batch auction: orders are collected, solvers compete to settle the batch, and a settlement contract checks the uniform clearing rules.
09 Lexicon
Terms, opened into the record
- Batch auction
- A clearing of many orders together, rather than a sequential pool swap.
- Solver
- A party that proposes a settlement. Proposing is not settling until the contract accepts it.
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
Protocols
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.