Skip to content
Blockchain LabBlockchain LabTHE VENTURE STUDIO

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.
Evidence
Primary paper
Re-measured
No
Assumptions
3
Records linked
4

Code

Source, repository, and what is actually hosted

  • ePrint 2018/378https://eprint.iacr.org/2018/378
  • The source URL is not a GitHub repository. No code remote is invented.
  • Full text is not mirrored. Public availability is not a licence to copy the file onto this site.
  • Add to a reading list

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.

  1. Claim 01 · Paper model

    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.

  2. Claim 02 · Paper model

    The proposal

    Genesis gives a way to join late, when honest stake may be dynamic, without a checkpoint the protocol itself cannot justify.

  3. Claim 03 · Paper model

    Availability of stake can change.

    A late joiner still has to pick the chain honest parties would pick.

  4. Claim 04 · Paper model

    The bound

    This is not the Cardano implementation and not a yield.

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.

  1. 01 The defect

    Observation

    What the study says

    A proof-of-stake chain that assumes every honest party is online from genesis does not describe a chain a new party can join.

    Model

    What has to hold

    Dynamic availability is an assumption you can violate by putting most stake offline.

    Falsifier

    What would retire it

    What is assumed about honest stake being online?

  2. 02 The proposal

    Observation

    What the study says

    Genesis gives a way to join late, when honest stake may be dynamic, without a checkpoint the protocol itself cannot justify.

    Model

    What has to hold

    Dynamic availability is an assumption you can violate by putting most stake offline.

    Falsifier

    What would retire it

    What is assumed about honest stake being online?

  3. 03 Availability of stake can change.

    Observation

    What the study says

    A late joiner still has to pick the chain honest parties would pick.

    Model

    What has to hold

    Dynamic availability is an assumption you can violate by putting most stake offline.

    Falsifier

    What would retire it

    What is assumed about honest stake being online?

  4. 04 The bound

    Observation

    What the study says

    This is not the Cardano implementation and not a yield.

    Model

    What has to hold

    This is not the Cardano implementation and not a yield.

    Falsifier

    What would retire it

    What is assumed about honest stake being online?

03 Sequence

One action, as an operating tape

  1. 01A party wakes with the genesis block and the current clock, not with a social checkpoint.
  2. 02The fork choice has to remain safe while some honest stake is offline.
  3. 03The proof is about that joining rule, not about a reward parameter.
  4. 04Does a late joiner need a checkpoint the protocol does not provide?

04 Load-bearing

The argument, and where a pitch drops it

  1. What the paper is for

    The cut

    When a stake chain says anyone can sync from genesis, ask whether they mean this theorem or a checkpoint list.

    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

    Dynamic availability is an assumption you can violate by putting most stake offline.

  2. What happened after

    The cut

    Later Ouroboros papers and deployments split the theorem from the client. The client is the thing a user runs.

    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

    This is not the Cardano implementation and not a yield.

  • Stake and threshold · Not re-measured

    Dynamic availability is an assumption you can violate by putting most stake offline.

  • Model · Not re-measured

    It does not remove long-range attacks by magic. It states the model in which joining is safe.

06 Divergence

What happened after the paper

Later Ouroboros papers and deployments split the theorem from the client. The client is the thing a user runs.

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

  4. 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 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 the desk still reads it

When a stake chain says anyone can sync from genesis, ask whether they mean this theorem or a checkpoint list.

09 Lexicon

Terms, opened into the record

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.

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.

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.