Finding: EigenLayer Cross-AVS Slashing Cascade. Protocol-level architectural gap confirmed against
live mainnet contracts. Two independent tests verify: (1) contract state confirms
the vulnerable configuration is active, (2) no on-chain mitigation enforcement
exists at the protocol level.
Fork Test Output
Ran 2 tests for test/POC006Real.t.sol:POC006RealForkTest
[PASS] testNoMinimumBuffer() (gas: 6324)
[PASS] testSlashingCascadeOnMainnet() (gas: 28415)
Suite result: ok. 2 passed; 0 failed; 0 skipped; finished in 117.61ms (63.53ms CPU time)