The Model
IL Shield’s pricing model, IL computation, and risk framework.
Impermanent loss computation
IL is computed using the exact Uniswap v3 concentrated liquidity math. This is a 1:1 port of the on-chain ILMath.sol library, fuzz-tested against a Python reference implementation across 10,000 random inputs.
Premium pricing model
The premium is based on the Net IL framework: the expected cost of IL after subtracting the expected fee income. LPs only pay for the residual risk that fees don’t cover.
Risk loading
Utilization curve
Premium pricing responds to vault utilization via a kinked curve, similar to Aave’s interest rate model. This ensures premiums rise steeply when vault capacity is constrained.
Concentration factor
Concentrated liquidity positions experience amplified IL compared to full-range positions. The concentration factor C(R) quantifies this amplification based on the tick range width.
Tranche waterfall
When an LP settles a claim, the payout flows through the tranche waterfall:
Anti-adverse selection
Four mechanisms prevent LPs from gaming the system by buying protection only when they know IL is about to occur:
Verification and testing
The IL computation is fuzz-tested against a Python reference implementation (il_math_reference.py) for 10,000 random inputs spanning the full sqrtPriceX96 domain. All runs match to within 1 wei.
The premium formula has 4 property tests verified across 40,000 fuzz runs: monotonicity in volatility, monotonicity in concentration, zero premium when fees exceed IL, and convergence to gross IL when fees are zero.
Vault solvency is verified via 1,000 invariant test runs with 50,000 random handler calls across deposits, withdrawals, premium distributions, and claim settlements.