Worked scenario
O1 carries 1,000 ETH at 50% slash with 20% coverage and 800 ETH at 30% with no coverage. Gross: 500 + 240 = 740. Recovery: 100. Net: 640 ETH.
CORRELATED SLASHING WORKBENCH
Find the operator failure hiding inside extra yield.
Parse a real exposure ledger. Stress one operator. See every affected AVS, insurance assumption, and net ETH loss before the yield story gets the final word.
EXPOSURE LEDGER
Operator × AVS
Percent fields accept 0–100. Each operator/AVS pair must be unique.
NO LEDGER PARSED
SELECT A SCENARIO
MODELED NET LOSS
— ETH— OF EXPOSED CAPITAL
Gross slash—
Declared recovery—
Affected AVSs—
SHARED OPERATORS
AVS overlap matrix
Cell value is Jaccard overlap: shared operators ÷ operators in either AVS.
WHAT THE NUMBER MEANS
Load a ledger to expose the coupling.
The tool separates the common failure event from its per-position slash terms and declared insurance coverage.
A shared operator does not make two AVSs identical. It gives them a common failure path. The model applies each row’s own slash rate, then subtracts only the declared covered fraction. Coverage changes the recovery estimate; it does not make the triggering event uncorrelated.
Counterexample
O3 carries one 600 ETH position at 30% slash and 100% declared coverage. Modeled gross and recovery are both 180 ETH, so net is zero. That does not prove the policy will pay.
Use this carefully
This is scenario analysis, not a probability model, protocol audit, coverage opinion, or prediction. Replace sample values with sourced terms and verify operator independence outside this tool.