Resolved-without-proof findings

EigenLayer's assessment for RD-F-003 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

No findings marked 'Resolved' without corresponding on-chain change. Code4rena 2023 H-01 (empty slot/block proof) and H-02 (loop increment misplacement) were confirmed and fixed. Sigma Prime slashing edge case in EigenPodManager._reduceSlashingFactor() was acknowledged as intentional design ('won't fix') with documentation — not a false resolution claim.

Sources #

URL
Unraveling a Curious Edge Case in EigenLayer's Slashing AccountingSigma Prime blog on EigenLayer slashing edge case — EigenPodManager._reduceSlashingFactor()retrieved 2026-04-28
URL
EigenLayer Code4rena Audit Report 2023Code4rena 2023 EigenLayer findings and analysis reportretrieved 2026-04-28

Methodology #

Count the number of findings the audit report marks "Resolved" or "Fixed" where no matching on-chain bytecode change or verifiable commit can be found.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol eigenlayer factor RD-F-003 score green collected_at 2026-04-28 13:58:44