Skip to content
Reading depth

Each view includes the earlier layers; the complete engineer or auditor page is shown by default.

Liquid staking pools or delegates staked assets and issues a transferable claim whose value reflects the protocol's controlled stake, rewards, fees, and losses.

Stacked bars category cue

Liquid staking keeps underlying assets active in staking while issuing a transferable pooled claim to users.

Direct staking can require technical operation, minimum position sizes, and activation, exit, or unbonding delays. Liquid staking pools operations and gives users a composable token, while preserving rather than eliminating validator, claim-accounting, withdrawal, liquidity, and governance risk.

A transferable share in a pooled, income-producing asset vehicle is a useful analogy. A liquid-staking token can rebase or accrue a changing exchange rate and can be used permissionlessly as collateral. Redemption depends on validator exits, protocol queues, accounting, oracles, and governance rather than a guaranteed cash-on-demand claim.

  1. Controlled staking assets are the protocol’s active, pending, exited, or liquid assets net of obligations.
  2. Claim entitlement is the holder’s proportional or rebasing right under protocol accounting.
  3. Secondary-market price is what traders currently pay and can be above or below modeled redemption value.

For a non-rebasing share model:

claimValuePerShare
= netControlledStakingAssets / totalClaimShares

netControlledStakingAssets must define pending deposits, rewards, fees, penalties, slashing, withdrawal reserves, and deficits. A rebasing token may change balances instead of the displayed per-share rate, but it still needs a canonical share-accounting unit and explicit rounding.

Depositors provide the staking asset and receive a claim token. The protocol selects or delegates to validator operators. Oracles or accounting reporters bring validator and reward state into contract accounting. A withdrawal queue converts claims back to underlying when capacity and network exit rules permit; liquidity providers offer a separate immediate market route.

The deposited and controlled stake are assets of the protocol or position. The liquid-staking token is a pooled share or redeemable claim, not the same asset. A queued withdrawal can become a separate, time-dependent claim.

  1. Accept an eligible staking asset and validate deposit limits and recipient.
  2. Mint claim shares using pre-deposit net assets and supply under the selected accounting model.
  3. Activate or delegate underlying stake across authorized validators.
  4. Report rewards, fees, penalties, exits, and slashing into controlled-asset accounting.
  5. Rebase balances or update the asset-per-share conversion without changing ownership silently.
  6. Allow transfer and DeFi use while exposing price, oracle, bridge, and collateral dependencies.
  7. On withdrawal, burn or lock the claim, queue any required validator exit, reserve assets, and settle once claimable.

Capital flow moves deposits, stake, rewards, fees, penalties, liquidity trades, and withdrawals. Claim flow mints, transfers, wraps, queues, and burns staking claims. Information flow carries validator balances, share rates, oracle reports, queue state, and market prices. Return flow carries network issuance, user fees, or service payments through operator and protocol deductions into the pooled claim. Risk flow propagates into lending, AMMs, vaults, bridges, and other systems that treat the claim as collateral or principal.

Underlying return comes from the network’s staking sources, net of operator and protocol fees, penalties, and slashing. A secondary-market premium or discount comes from traders and liquidity, not validator rewards. Validator loss reduces the pool or claim according to accounting; insurance or treasury support is not guaranteed unless coverage and capacity are explicit.

Test first deposit, zero assets or shares, donation and rounding attacks, rebases, negative reports, report quorum and freshness, operator fees, validator activation and exit, withdrawal ordering, claim finalization, reserved assets, repeated claims, wrapper conversions, bridge representations, pausability, upgrades, and downstream oracle assumptions. Never mint valuable shares against zero contributed value or settle more underlying than burned entitlement.

Lido’s token integration guide documents one protocol’s rebasing stETH, non-rebasing wstETH shares, oracle reports, and queued withdrawal claims. Those mechanics, controls, and historical behavior do not define every liquid-staking token. The documentation was reviewed 2026-08-10.

  • “Liquid staking makes staked assets liquid.” It creates a transferable claim; the underlying can remain bonded and protocol redemption can remain queued.
  • “One token always equals one underlying.” Share rate, rebases, fees, penalties, slashing, rounding, and market discounts can separate values.
  • “Using the token as collateral is free composability.” It adds oracle, liquidation, liquidity, integration, bridge, and correlated-loss paths.

Compare the token with claim token and added obligations with restaking.

Machine-readable model

Key equations

Canonical expressions come from the structured concept record. KaTeX renders the notation, while the plain-text expression and variable table keep its meaning and units inspectable without JavaScript. Read the narrative above for the model's domain, assumptions, and rounding rules.

  1. Equation 1

    Plain-text equation: claimValuePerShare = netControlledStakingAssets / totalClaimShares

Assurance contract

Security properties

These structured statements define desired behavior. Their stable IDs can bind tests, invariants, specifications, audit findings, or proof results without turning descriptive review advice into an assurance claim.

Desired · not evaluated: No test, audit, or proof result is implied until scoped evidence is linked to this property.

  1. Deposits and withdrawals reconcile controlled staking assets, claim shares, queued claims, fees, rewards, penalties, and losses

  2. Rebase and non-rebasing share representations preserve each holder's proportional entitlement subject to explicit rounding

  3. A claim token cannot imply immediate one-for-one redemption when queues, losses, fees, or capacity make that untrue

  4. Validator, oracle, operator, governance, upgrade, bridge, and withdrawal authorities remain inspectable and bounded

Knowledge check

Quiz

Answer in your own words, then open the model answer.

What problem does Liquid staking exist to address?

Model answer

Liquid staking lets users hold a composable claim while underlying stake remains active, reducing operational and liquidity barriers without removing validator or redemption risk.