EOSE LABS · SECURITY FINDING REPORT · DAY 91
SUB006
EigenLayer Cascade Slashing
CRITICAL Immunefi EigenLayer POOL: $5M DRAFT
BOUNTY ESTIMATE
$100,000
LOW ESTIMATE
$500,000
HIGH ESTIMATE
$5M
PROGRAMME POOL
EXECUTIVE SUMMARY

Single operator slash cascades through DelegationManager across all AVS registrations.

TECHNICAL FINDING

Protocol: EigenLayer

Severity: CRITICAL

Platform: Immunefi · Pool: $5M

γ₁ anchor: 14.134725141734693

FOUNDRY PoC RESULT
Forge: slash one operator → cascade through DelegationManager → all delegated stake slashed
RECOMMENDED FIX
Isolate slashing scope per AVS. Add cascade guard with per-AVS slashing caps.
N6 GATE VERDICTS
ORIGIN
✓ PASS
KILL CHAIN
✓ PASS
POC FORGE
✓ PASS
N6 VALIDATE
✓ PASS
CLO GATE
✓ PASS
DOCTRINE
✓ PASS
CLO GATE STATUS
AND Gate: msi01 (yUNI) builds + proves → msclo (yLAW) reviews + signs → submit
Status: ⏳ CLO sign-off pending — msclo yLAW review required
Doctrine: TRB-SERLF-BOUNTY-PROTOCOL-001 · Tardigrade first. No mock PoCs. Real contract, real fork, real drain.
Whitehat: @serlf · 0x22377D69f421B57EC44b18Ef15e8d320d3349A20
REFERENCES

Bonsai: pemos.ca/ssaf-bonsai-SUB006

Suite: pemos.ca/sec-test-suite-v12

Engine: pemos.ca/sec-domain-engine

TRB: TRB-SERLF-BOUNTY-PROTOCOL-001 · TRB-SEC-DOMAIN-TEST-SUITE-V12-001

γ₁ = 14.134725141734693

γ₁ = 14.134725141734693 · SEC REPORT · SUB006 · EOSE Labs Inc. · Day 91
TRB-SERLF-BOUNTY-PROTOCOL-001 · TRB-SEC-DOMAIN-TEST-SUITE-V12-001
No mock PoCs. Tardigrade doctrine. Sovereign first.