Solvency risk
Solvency risk is the possibility that a system's realizable assets and loss-absorbing resources are insufficient to satisfy its recognized liabilities and claims.
Category: RiskWarning cross category cue
System record
Start with the economic purpose, participants, resources, and entitlements before studying implementation detail.
Why it exists
DeFi claims can continue to exist after collateral, reserves, or strategy assets lose value, so users must distinguish delayed liquidity from an actual balance-sheet shortfall.
Traditional-finance analogy
Insolvency and capital-adequacy risk is the closest comparison recorded for this concept.
Where the analogy stops
- On-chain balances are visible, but valuation, legal enforceability, bridge backing, oracle quality, and recovery priority can remain uncertain or off-chain.
- Losses may be recognized and socialized automatically through share price, bad-debt accounting, reserve use, token issuance, or governance action.
Main actors
- ActorClaim holder, depositor, lender, or shareholder
- ActorBorrower, strategy, issuer, or counterparty
- ActorLiquidator, reserve, insurer, or backstop provider
- ActorOracle, accountant, governance, or recovery authority
Assets and claims
Assets — controlled or transformed resources
Assets are resources the mechanism moves, holds, values, or transforms.
- AssetRealizable collateral, reserves, cash, and strategy positions
- AssetCommitted loss-absorbing capital
Claims — entitlements and corresponding dependencies
Claims are rights to value, repayment, redemption, control, or another party's performance; each depends on an obligation or system that must honor it.
- ClaimDeposits, debts owed, vault shares, stable-value claims, and pending withdrawals
Solvency risk is the possibility that a system owes more than its realizable assets and enforceable loss-absorbing resources can cover.
Why it exists
Section titled “Why it exists”Claims can remain outstanding after collateral falls, borrowers default, strategies lose money, bridges lose backing, or accounting recognizes a hidden liability. A visible token balance does not settle which assets are realizable, which claims are senior, or whether a promised backstop must and can pay.
Traditional-finance analogy
Section titled “Traditional-finance analogy”Insolvency and capital adequacy are the closest analogies. On-chain balances can improve transparency, but prices, legal rights, custody, bridge backing, claim priority, and off-chain recovery may remain uncertain. Loss can be socialized automatically through share price, bad debt, reserve use, or token issuance.
Actors, assets, and claims
Section titled “Actors, assets, and claims”| Side | Examples |
|---|---|
| Assets and recovery | Realizable collateral, reserves, cash, strategy positions, enforceable receivables |
| Liabilities and claims | Deposits, lender claims, stable-value claims, vault shares, pending withdrawals |
| Loss absorbers | Borrower collateral, junior capital, reserves, insurance, backstop stakers, claim holders |
| Control actors | Oracle, accountant, liquidator, governance, recovery, or shutdown authority |
Mechanism, equation, and flows
Section titled “Mechanism, equation, and flows”solvencyBuffer = realizableAssets + committedBackstops - recognizedLiabilitiesA negative buffer signals a shortfall under the selected valuation and enforceability assumptions. It is not meaningful unless timestamps, units, haircuts, claim priority, contingent liabilities, and backstop limits are stated.
- Assets and claims are recognized at a defined time and unit.
- A default, price gap, exploit, impairment, or accounting correction reduces realizable assets or increases liabilities.
- Collateral, reserves, junior capital, insurance, or another backstop absorbs loss in a stated order.
- Any remaining shortfall reduces, delays, or invalidates user claims.
Capital flow moves recovery assets to creditors. Claim flow records debt and priority. Return flow previously paid interest or fees from borrowers and users of capital. Risk flow carries the shortfall through every layered claim that assumed full repayment.
State and loss allocation
Section titled “State and loss allocation”| State | Balance-sheet condition | User effect |
|---|---|---|
| Solvent | Realizable assets and committed backstops cover recognized claims | Claims may still be illiquid but are covered under assumptions |
| Impaired | Buffer is reduced and recovery consumes reserves or junior capital | Claim value or confidence falls |
| Insolvent | Recognized claims exceed realizable assets and enforceable backstops | Remaining loss must be allocated or claims remain unpaid |
Solvency controls create no return. Borrower interest, trading fees, network payments, or strategy income fund returns before losses. The borrower, junior capital, reserve, insurer, backstop, or senior claim holder bears loss according to the actual priority—not the marketing description.
Protocol and engineering context
Section titled “Protocol and engineering context”Aave’s health-factor and liquidation documentation illustrates one overcollateralized mechanism: positions below the configured threshold become liquidatable. Liquidation eligibility does not itself guarantee full recovery when price gaps, oracle behavior, congestion, or market depth are adverse. The local bad debt page traces the remaining liability after recovery. The Aave documentation was reviewed 2026-08-10.
An engineer or auditor should reconcile assets, debts, accrued interest, fees, reserves, collateral, liquidations, pending operations, and cross-chain claims; then test stale prices, rapid gaps, correlated collateral, unavailable backstops, loss recognition, first exits, and recovery ordering.
Common misunderstandings
Section titled “Common misunderstandings”- “Overcollateralized means no loss.” Collateral value and executable recovery can fall faster than liquidation completes.
- “A safety fund guarantees repayment.” Coverage can be capped, discretionary, delayed, correlated, or governed.
- “On-chain proof of assets proves solvency.” Solvency also requires complete liabilities, valid valuation, enforceability, and no double counting.
Continue with accounting risk and liquidity risk.
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.
Equation 1 Plain-text equation:
solvencyBuffer = realizableAssets + committedBackstops - recognizedLiabilitiesVariables and units for equation 1 Symbol Meaning Unit solvencyBufferSolvency Buffer selected valuation unit (for example, USD) realizableAssetsRealizable Assets selected valuation unit (for example, USD) committedBackstopsCommitted Backstops selected valuation unit (for example, USD) recognizedLiabilitiesRecognized Liabilities selected valuation unit (for example, USD)
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.
Assets, liabilities, contingent claims, reserves, and realized losses reconcile without double counting across every supported chain and adapter
Solvency uses realizable values and enforceable backstops rather than nominal balances, optimistic prices, or discretionary promises
Loss recognition cannot allow early redeemers to externalize a known shortfall onto remaining holders outside an explicit priority rule
Recovery, reserve use, recapitalization, shutdown, and loss-socialization authority and ordering are explicit before distress
Knowledge check
Quiz
Answer in your own words, then open the model answer.
What problem does Solvency risk exist to address?
Model answer
DeFi claims can continue to exist after collateral, reserves, or strategy assets lose value, so users must distinguish delayed liquidity from an actual balance-sheet shortfall.