LibraryConsensus2019Design paperCorpus record
The Cosmos SDK: an application framework on CometBFT
Cosmos SDK. Interchain contributors.
The Cosmos SDK is the application framework that turns a state machine into a chain on top of CometBFT-style consensus. The Cosmos white paper is the interchain thesis. This is the framework.
A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.
The Cosmos SDK is the application framework that turns a state machine into a chain on top of CometBFT-style consensus. The Cosmos white paper is the interchain thesis. This is the framework.
- Evidence
- Primary paper
- Re-measured
- No
- Assumptions
- 3
- Records linked
- 6
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 chain built with the SDK has not thereby adopted IBC, liquid staking, or any application module. Modules are chosen.
Claim 02 · Paper model
The proposal
The Cosmos SDK is the application framework that turns a state machine into a chain on top of CometBFT-style consensus. The Cosmos white paper is the interchain thesis. This is the framework.
Claim 03 · Paper model
The mechanism
The application defines messages and a store. Consensus finalises the blocks. The framework is the glue, not the security proof.
Claim 04 · Paper model
The bound
This note does not list every module.
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 chain built with the SDK has not thereby adopted IBC, liquid staking, or any application module. Modules are chosen.
Model
What has to hold
You are reading the Cosmos SDK docs. The white paper and the IBC spec are other studies.
Falsifier
What would retire it
Which modules does the binary you mean include?
02 The proposal
Observation
What the study says
The Cosmos SDK is the application framework that turns a state machine into a chain on top of CometBFT-style consensus. The Cosmos white paper is the interchain thesis. This is the framework.
03 The mechanism
Observation
What the study says
The application defines messages and a store. Consensus finalises the blocks. The framework is the glue, not the security proof.
Model
What has to hold
No price, supply, yield, or adoption figure is added by this desk.
04 The bound
03 Sequence
One action, as an operating tape
- 01The application defines messages and a store. Consensus finalises the blocks. The framework is the glue, not the security proof.
- 02A module, such as bank or staking, is optional in the sense that a chain may omit it. If it is included, its invariants are in scope.
- 03Governance proposals that upgrade the binary are a halt-and-switch. They are as strong as the validator set that adopts them.
04 Load-bearing
The argument, and where a pitch drops it
What the name has to mean
The cut
The Cosmos SDK is the application framework that turns a state machine into a chain on top of CometBFT-style consensus. The Cosmos white paper is the interchain thesis. This is the framework.
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
The 2016 Cosmos paper remains a separate study.
What actually moves
The cut
A module, such as bank or staking, is optional in the sense that a chain may omit it. If it is included, its invariants are in scope.
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 note does not list every module.
What a later deployment may change
The cut
Governance proposals that upgrade the binary are a halt-and-switch. They are as strong as the validator set that adopts them.
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 the Cosmos SDK docs. The white paper and the IBC spec are other studies.
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
IBC is a further protocol. A chain can ship the SDK without opening a channel.
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 chain built with the SDK has not thereby adopted IBC, liquid staking, or any application module. Modules are chosen.
What the design proposes
- The application defines messages and a store. Consensus finalises the blocks. The framework is the glue, not the security proof.
- A module, such as bank or staking, is optional in the sense that a chain may omit it. If it is included, its invariants are in scope.
- Governance proposals that upgrade the binary are a halt-and-switch. They are as strong as the validator set that adopts them.
How the mechanism is specified
- The application defines messages and a store. Consensus finalises the blocks. The framework is the glue, not the security proof.
- A module, such as bank or staking, is optional in the sense that a chain may omit it. If it is included, its invariants are in scope.
- Governance proposals that upgrade the binary are a halt-and-switch. They are as strong as the validator set that adopts them.
What this page does not treat as proven
09 Lexicon
Terms, opened into the record
- Module
- A component of the state machine. It is not included merely because the chain says Cosmos.
- Application chain
- A chain whose state machine is this framework plus the modules it selected.
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.
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.