Skip to content

LibraryConsensus2024Design paperCorpus record

Symbiotic: a shared security marketplace

Symbiotic. Symbiotic.

Symbiotic publishes a marketplace where collateral can be assigned to networks that define their own slashing conditions, rather than one protocol defining every use.

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

Symbiotic publishes a marketplace where collateral can be assigned to networks that define their own slashing conditions, rather than one protocol defining every use.
Evidence
Primary paper
Re-measured
No
Assumptions
3
Records linked
5

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

    Shared security that does not name the slashing condition is an IOU. The condition is the design.

  2. Claim 02 · Paper model

    The proposal

    Symbiotic publishes a marketplace where collateral can be assigned to networks that define their own slashing conditions, rather than one protocol defining every use.

  3. Claim 03 · Paper model

    The mechanism

    Collateral, networks, and operators are three objects. The docs have to say which one can move the collateral.

  4. Claim 04 · Paper model

    The bound

    No cap, no yield, and no collateral total 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

    Shared security that does not name the slashing condition is an IOU. The condition is the design.

    Model

    What has to hold

    You are reading Symbiotic's docs, not a risk model of any listed network.

    Falsifier

    What would retire it

    Who can define a slashing condition?

  2. 02 The proposal

    Observation

    What the study says

    Symbiotic publishes a marketplace where collateral can be assigned to networks that define their own slashing conditions, rather than one protocol defining every use.

    Model

    What has to hold

    You are reading Symbiotic's docs, not a risk model of any listed network.

    Falsifier

    What would retire it

    Who can define a slashing condition?

  3. 03 The mechanism

    Observation

    What the study says

    Collateral, networks, and operators are three objects. The docs have to say which one can move the collateral.

    Model

    What has to hold

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

    Falsifier

    What would retire it

    Can the same collateral be slashable by two networks at once?

  4. 04 The bound

    Observation

    What the study says

    No cap, no yield, and no collateral total is stated here.

    Model

    What has to hold

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

    Falsifier

    What would retire it

    Can the same collateral be slashable by two networks at once?

03 Sequence

One action, as an operating tape

  1. 01Collateral, networks, and operators are three objects. The docs have to say which one can move the collateral.
  2. 02A slashing condition written by each network means there is no single safety theorem. You read the condition you are actually in.
  3. 03Restaking the same collateral into two conditions creates a path where one slash and another slash are not independent.

04 Load-bearing

The argument, and where a pitch drops it

  1. What the name has to mean

    The cut

    Symbiotic publishes a marketplace where collateral can be assigned to networks that define their own slashing conditions, rather than one protocol defining every use.

    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 vault token is a claim on the collateral rules, not a claim that the collateral is idle.

  2. What actually moves

    The cut

    A slashing condition written by each network means there is no single safety theorem. You read the condition you are actually in.

    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 EigenLayer's document. Do not merge the two slashing stories.

  3. What a later deployment may change

    The cut

    Restaking the same collateral into two conditions creates a path where one slash and another slash are not independent.

    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 vault token is a claim on the collateral rules, not a claim that the collateral is idle.

05 Register

What has to be true

  • Network · Not re-measured

    You are reading Symbiotic's docs, not a risk model of any listed network.

  • 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 EigenLayer's document. Do not merge the two slashing stories.

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

Shared security that does not name the slashing condition is an IOU. The condition is the design.

What the design proposes

  • Collateral, networks, and operators are three objects. The docs have to say which one can move the collateral.
  • A slashing condition written by each network means there is no single safety theorem. You read the condition you are actually in.
  • Restaking the same collateral into two conditions creates a path where one slash and another slash are not independent.

How the mechanism is specified

  • Collateral, networks, and operators are three objects. The docs have to say which one can move the collateral.
  • A slashing condition written by each network means there is no single safety theorem. You read the condition you are actually in.
  • Restaking the same collateral into two conditions creates a path where one slash and another slash are not independent.

What this page does not treat as proven

Why the desk still reads it

Symbiotic publishes a marketplace where collateral can be assigned to networks that define their own slashing conditions, rather than one protocol defining every use.

09 Lexicon

Terms, opened into the record

Shared security
Collateral that more than one network can penalise. The penalty rule is per network.
Slashing condition
The rule that lets a network take collateral. Without it, the marketplace is an allocation list.

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.