Skip to content
Reading depth

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

Net asset value is the value of a product's recognized assets minus its recognized liabilities at a stated valuation time and in a stated reporting unit.

Container outline category cue

Net asset value is recognized asset value minus recognized liability value at a stated time and in a stated reporting unit.

A pooled product needs a common balance-sheet measure for pricing shares, measuring performance, applying fees, allocating loss, and deciding what a depositor or redeemer should receive. Gross token balances are not enough when capital is deployed, borrowed, queued, impaired, or owed to someone else.

Fund NAV is the closest analogy. Traditional funds normally use defined valuation and reporting processes. On-chain products may update continuously, only after manager reports, or from spot prices that can be stale or manipulated. Neither a contract balance nor a displayed number guarantees executable redemption at that value.

netAssetValue = recognizedAssetValue - recognizedLiabilityValue
netAssetValuePerShare = netAssetValue / eligibleShares

All values need one reporting unit and valuation timestamp. eligibleShares must define fee shares, pending deposits, queued withdrawals, burned-but-unsettled claims, and any virtual or locked supply.

  1. Fix the reporting unit, valuation time, ownership boundary, and accounting policy.
  2. Inventory cash, deployed positions, accrued income, receivables, and inaccessible assets.
  3. Inventory debt, fees, pending claims, impairment, and every senior obligation.
  4. Select price sources, freshness limits, fallback rules, haircuts, and treatment of illiquid positions.
  5. Convert compatible values once and avoid counting an underlying asset and its claim twice.
  6. Subtract recognized liabilities and divide by the defined eligible share supply.
  7. Reconcile the result to executable previews, limits, queues, and market prices without treating them as identical.

Capital flow changes NAV only when it also changes ownership claims; a deposit usually raises assets and shares together. Claim flow records the matching share issuance, redemption, debt, fee, or other liability so capital is not mistaken for profit. Return flow raises net assets when a real payer transfers value or a recognized receivable grows. Fees and losses reduce holder NAV or dilute ownership. Information flow carries prices, positions, liabilities, timestamps, and reports. Risk flow sends bad valuation or accounting through share pricing, redemption, collateral, and any dependent protocol to the final loss absorber.

NAV measures value; it does not generate return. Borrower interest, trader fees, network issuance, asset income, service payments, incentives, and market prices cause changes. Loss first reduces net assets, then product terms determine whether shares, reserves, managers, insurers, or senior and junior classes absorb it.

Test unit and decimal conversions, timestamps, stale and missing prices, derivative signs, debt interest, pending deposits and withdrawals, fee accrual, locked and inaccessible assets, impairment, share-supply checkpoints, donations, reentrancy during reports, circular valuation, and manipulation of a same-block price. Keep accounting NAV, operation preview, maximum executable amount, and secondary-market price separate.

Investor.gov’s mutual-fund overview describes per-share NAV and redemption for one regulated product class. On-chain products need their own valuation, liquidity, legal, and control analysis.

  • “NAV is the token balance in the contract.” Deployed claims, debt, fees, queues, and impairment can dominate the balance sheet.
  • “One share of NAV is immediately redeemable.” Liquidity, limits, fees, slippage, pauses, and queues can prevent that execution.
  • “A higher NAV proves income.” Deposits and favorable price marks can raise gross value without being earned return.

Apply NAV to a vault share and then inspect fees.

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: netAssetValue = recognizedAssetValue - recognizedLiabilityValue

  2. Equation 2

    Plain-text equation: netAssetValuePerShare = netAssetValue / eligibleShares

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. Every NAV states its reporting unit, valuation time, price sources, included assets, included liabilities, and impairment rules

  2. Asset and liability values use compatible units, decimals, timestamps, and ownership boundaries before aggregation

  3. Per-share NAV uses the eligible share supply and cannot omit fee shares, queued claims, or dilution defined by the accounting model

  4. A displayed NAV cannot imply immediate executable redemption when liquidity, limits, queues, fees, or losses make that untrue

Knowledge check

Quiz

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

What problem does Net asset value exist to address?

Model answer

NAV gives depositors, managers, and integrators a common balance-sheet measure for pricing shares, measuring performance, applying fees, and recognizing losses.