Skip to content

LibraryMarkets2021Design paperCorpus record

Injective: an on-chain order-book exchange module

Injective. Injective Labs.

Injective publishes an exchange module: an order book in the chain's state machine, so a trade is a consensus transition rather than a contract call on a general virtual machine only.

A reading of the project's public design document. Not a copy, not a benchmark, and not an offer.

Injective publishes an exchange module: an order book in the chain's state machine, so a trade is a consensus transition rather than a contract call on a general virtual machine only.
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.

  1. Claim 01 · Paper model

    The defect

    An exchange module can still depend on an oracle for derivatives. The book is not the mark price.

  2. Claim 02 · Paper model

    The proposal

    Injective publishes an exchange module: an order book in the chain's state machine, so a trade is a consensus transition rather than a contract call on a general virtual machine only.

  3. Claim 03 · Paper model

    The mechanism

    Spot and derivative markets are different modules or different rules. Cite which one.

  4. Claim 04 · Paper model

    The bound

    No volume 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.

  1. 01 The defect

    Observation

    What the study says

    An exchange module can still depend on an oracle for derivatives. The book is not the mark price.

    Model

    What has to hold

    You are reading Injective's docs. A particular market's parameters are not the module.

    Falsifier

    What would retire it

    What price liquidates a derivative position?

  2. 02 The proposal

    Observation

    What the study says

    Injective publishes an exchange module: an order book in the chain's state machine, so a trade is a consensus transition rather than a contract call on a general virtual machine only.

    Model

    What has to hold

    You are reading Injective's docs. A particular market's parameters are not the module.

    Falsifier

    What would retire it

    Where is the order book stored?

  3. 03 The mechanism

    Observation

    What the study says

    Spot and derivative markets are different modules or different rules. Cite which one.

    Model

    What has to hold

    No price, supply, yield, or adoption figure is added by this desk.

    Falsifier

    What would retire it

    What price liquidates a derivative position?

  4. 04 The bound

    Observation

    What the study says

    No volume is stated here.

    Model

    What has to hold

    You are reading Injective's docs. A particular market's parameters are not the module.

    Falsifier

    What would retire it

    Where is the order book stored?

03 Sequence

One action, as an operating tape

  1. 01Spot and derivative markets are different modules or different rules. Cite which one.
  2. 02A trade matches inside consensus. Finality is the chain's finality.
  3. 03The oracle for a derivative market can liquidate positions the book has not traded. That path is the risk.

04 Load-bearing

The argument, and where a pitch drops it

  1. What the name has to mean

    The cut

    Injective publishes an exchange module: an order book in the chain's state machine, so a trade is a consensus transition rather than a contract call on a general virtual machine only.

    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 Sei and not dYdX v4, though all three push matching into a chain.

  2. What actually moves

    The cut

    A trade matches inside consensus. Finality is the chain's finality.

    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 Sei and not dYdX v4, though all three push matching into a chain.

  3. What a later deployment may change

    The cut

    The oracle for a derivative market can liquidate positions the book has not traded. That path is the risk.

    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 Injective's docs. A particular market's parameters are not the module.

  • 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 front end is not the module.

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

  1. 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 exchange module can still depend on an oracle for derivatives. The book is not the mark price.

What the design proposes

  • Spot and derivative markets are different modules or different rules. Cite which one.
  • A trade matches inside consensus. Finality is the chain's finality.
  • The oracle for a derivative market can liquidate positions the book has not traded. That path is the risk.

How the mechanism is specified

  • Spot and derivative markets are different modules or different rules. Cite which one.
  • A trade matches inside consensus. Finality is the chain's finality.
  • The oracle for a derivative market can liquidate positions the book has not traded. That path is the risk.

What this page does not treat as proven

  • No volume is stated here.
  • This is not Sei and not dYdX v4, though all three push matching into a chain.
  • A front end is not the module.

Why the desk still reads it

Injective publishes an exchange module: an order book in the chain's state machine, so a trade is a consensus transition rather than a contract call on a general virtual machine only.

09 Lexicon

Terms, opened into the record

Exchange module
Matching inside the state machine.
Mark price
An oracle input. It can move a position without a trade.

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.