Skip to content
Reading depth

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

A claim token records a transferable or account-bound entitlement to assets, income, redemption, governance, or another protocol-defined benefit.

Circle category cue

A claim token makes a protocol-defined entitlement legible to software as a balance, share, receipt, debt unit, income right, governance right, or other recorded position.

Protocols need to remember what users contributed and what they may later withdraw, redeem, receive, or control. A tokenized record can be accounted for, transferred when permitted, accepted by another protocol, or burned during settlement. That composability is useful precisely because the token is not necessarily the underlying asset.

A fund share, warehouse receipt, account certificate, or debt instrument can each be a useful analogy. The analogy stops at the contract and governing rules. Transferability does not guarantee fixed value, immediate redemption, seniority, legal recourse, or even transferability to every account.

A single token can combine roles. Analysis should name each entitlement rather than assuming every token is an ownership share.

  1. A user contributes an asset, service, or other qualifying right.
  2. The issuer records its obligation and mints or credits claim units.
  3. The claim may transfer, accrue, rebase, or change exchange rate.
  4. A holder presents or burns the claim under the settlement rules.
  5. The issuer transfers the asset or benefit and reduces its obligation.

Capital flow follows the contributed and redeemed assets. Claim flow follows minting, transfer, and burning. Return flow identifies the borrower, strategy, fee payer, protocol issuance, or other source that changes claim value. Risk flow reaches holders when underlying assets, obligors, accounting, liquidity, or settlement fail.

The claim token records value; it does not create that value. A borrower may pay interest, a strategy may earn trading fees, an issuer may make contractual payments, or governance may authorize token issuance. Fees, dilution, losses, and senior claims determine what remains for the holder.

Loss may first reach protocol reserves, junior tranches, equity, guarantors, or the claim-token holder. A claim advertised as “yield-bearing” is incomplete without the payer, mechanism, risks, and loss waterfall.

Define the accounting model before reviewing code. Test mint and burn authorization, exchange-rate or index updates, decimal conversion, rounding direction, fee and dilution accounting, transfer restrictions, total-claim reconciliation, withdrawal limits, and one-time redemption. A zero-value contribution must not mint valuable claims, and burned claims must not withdraw more than their represented entitlement.

ERC-4626 standardizes an interface for tokenized vault shares, including conversions between assets and shares. It is one concrete claim-token pattern, not a universal accounting model and not evidence that an implementing vault’s assets, strategy, fees, or rounding are safe.

  • “A claim token is the deposited asset.” It is a separate position issued in exchange for, or linked to, that asset.
  • “Transferable means redeemable.” Markets may trade a claim whose issuer limits, queues, pauses, or cannot satisfy redemption.
  • “More units mean more value.” Rebases, exchange rates, dilution, fees, and losses can change value per unit.

Use the asset-versus-claim diagnostic to classify a new token before composing it into another protocol.

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.

This concept does not require one canonical equation. Its mechanism and state transitions remain the authoritative explanation; do not invent a formula merely to make the topic look quantitative.

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. Minted claim units correspond to value or rights contributed under the stated accounting model

  2. Redemption and withdrawal cannot transfer more value than burned claims represent

  3. Total claims reconcile with the issuer's recorded obligation or backing

  4. Rounding, fees, transferability, and redemption limits are explicit

Knowledge check

Quiz

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

What problem does Claim token exist to address?

Model answer

Claim tokens make financial positions legible to software so wallets and protocols can account for, transfer, combine, or redeem those positions.