LibraryConsensus2018Design paperCorpus record
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
Ouroboros Genesis. Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russell and Vassilis Zikas.
Genesis gives a way to join late, when honest stake may be dynamic, without a checkpoint the protocol itself cannot justify.
A reading of the public paper. Not a copy, not a benchmark, and not a claim about any later network.
When a stake chain says anyone can sync from genesis, ask whether they mean this theorem or a checkpoint list.
The five-minute read
The defect
A proof-of-stake chain that assumes every honest party is online from genesis does not describe a chain a new party can join.
The proposal
Genesis gives a way to join late, when honest stake may be dynamic, without a checkpoint the protocol itself cannot justify.
Availability of stake can change.
A late joiner still has to pick the chain honest parties would pick.
The bound
This is not the Cardano implementation and not a yield.
One action, walked through
- A party wakes with the genesis block and the current clock, not with a social checkpoint.
- The fork choice has to remain safe while some honest stake is offline.
- The proof is about that joining rule, not about a reward parameter.
- Does a late joiner need a checkpoint the protocol does not provide?
The argument, unpacked
What the paper is for
When a stake chain says anyone can sync from genesis, ask whether they mean this theorem or a checkpoint list.
What happened after
Later Ouroboros papers and deployments split the theorem from the client. The client is the thing a user runs.
What has to be true
- This is not the Cardano implementation and not a yield.
- Dynamic availability is an assumption you can violate by putting most stake offline.
- It does not remove long-range attacks by magic. It states the model in which joining is safe.
What happened after the paper
Later Ouroboros papers and deployments split the theorem from the client. The client is the thing a user runs.
What to check before you use the idea
- What is assumed about honest stake being online?
- Does a late joiner need a checkpoint the protocol does not provide?
- Is the result the paper, or a parameter page?
Terms
- Dynamic availability
- Honest stake may be offline. The protocol still has to name a chain.
- Late joiner
- A party that was not there at the start.
The problem the paper names
A proof-of-stake chain that assumes every honest party is online from genesis does not describe a chain a new party can join.
What the design proposes
- Availability of stake can change.
- A late joiner still has to pick the chain honest parties would pick.
- Composability is a claim about the protocol as a component, not about a wallet.
How the mechanism is specified
- A party wakes with the genesis block and the current clock, not with a social checkpoint.
- The fork choice has to remain safe while some honest stake is offline.
- The proof is about that joining rule, not about a reward parameter.
What this page does not treat as proven
- This is not the Cardano implementation and not a yield.
- Dynamic availability is an assumption you can violate by putting most stake offline.
- It does not remove long-range attacks by magic. It states the model in which joining is safe.
Why a venture studio still reads it
When a stake chain says anyone can sync from genesis, ask whether they mean this theorem or a checkpoint list.
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.