Breakage analysis per dependency
EigenLayer's assessment for RD-F-052 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Dependency breakage analysis: (1) EIP-4788 precompile unavailable — EigenPod checkpointing and native ETH exits halt; existing shares remain valid; funds not immediately at risk; requires proxy upgrade to fix if precompile behavior changes. Precedent: Pectra upgrade broke EigenPod proof assumptions (Aug 2025); patched same day. (2) LST token contract exploit — shares in affected LST strategy lose backing value; EigenLayer shares become unbacked but EigenLayer cannot automatically adjust; downstream AVS restaking using that LST loses cryptoeconomic backing. (3) Beacon deposit contract failure — native ETH restaking inflows halt; not a realistic failure mode as it is core Ethereum infrastructure. (4) AVS registrar revert — operator registration/deregistration for that specific AVS halts; isolated impact. Yellow overall because the primary liveness dependency (EIP-4788) has a realistic precedent and no automatic fallback.
Sources #
- URLDemonstrates real dependency failure path: consensus upgrade breaks EigenPod proof verificationEigenPods Pectra bug disclosureretrieved 2026-04-28
- StrategyBase.sol — tracks shares without pricing; LST exploit propagates to unbacked sharesStrategyBase.sol share accountingretrieved 2026-04-28
Methodology #
Produce a short per-dependency text describing which protocol functions halt or degrade and impact severity if each declared dependency fails.
See the full factor methodology and distribution across all protocols →