Resolved-without-proof findings

Lido'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 #

Certora V3 (12-2025): 84 issues, 7 critical + 14 high, 70 fixed, 14 acknowledged. Consensys Diligence V3 fee-deferral high finding fixed in commit 88ce9647. Cannot confirm all acknowledged items are non-high-severity without PDF access. Code4rena 2025-07: 0 high/medium.

Sources #

URL
retrieved 2026-04-28
URL
retrieved 2026-04-28
URL
2025-07-lido-financehttps://code4rena.com/reports/2025-07-lido-financeretrieved 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 lido factor RD-F-003 score yellow collected_at 2026-04-28 13:58:42