Resolved-without-proof findings
ether.fi's assessment for RD-F-003 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Hats Finance (2023-12) found 1 medium (reentrancy in LiquidityPool requestWithdraw, reportedly remediated) and 12 lows. Nethermind NM-0217 restaking audit found 2 best-practice items, both fixed. Certora FV proofs cover specified invariants mathematically. Full resolution verification of findings in PDF-format audits (Zellic 2024-01, 2024-03; Decurity 2024-04; Halborn 2024-06, 2024-08) cannot be confirmed without curator PDF review. No evidence of unresolved findings causing exploits.
Sources #
- AuditHats Finance 2023-12 audit — 1 medium, 12 lowsHats Finance audit 2023-12-20 (Markdown, accessible)retrieved 2026-04-28
- Nethermind NM-0217 restaking audit — 2 best-practice findings, both fixedNethermind NM-0217 Restaking Of stETH Holdings (Markdown, accessible)retrieved 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 →