Lido V3

CertoraCode version: not recorded (see the report)

Formal verification · firm’s term: formal verification

Certora reviewed Lido (Lido V3) on 10 Jan 2026: 9 findings, 1 critical; 6 marked fixed, 3 acknowledged.

1 critical finding, fixed
Open the reportOpen Lido’s security record

Report hosted on GitHub.

Trustblock does not review code.

Findings9

Statuses are the security firm’s own, from its report.

SeverityOpenAcknowledgedFixed
Critical001
High000
Medium012
Low023

Marked Informational by the firm. Not counted as findings.

InformationalThe value of fee shares may be too lowAcknowledged

The report gives no description here.

Contracts in scope

No deployed address is recorded for this audit.

The report names a repository or files. Open the report to see its scope.

Part of Lido’s security record

Lido
Audits54 audits by 13 firmsLast audit Sep 2026, by Composable Security.
Critical findings2 criticals acknowledged, not fixedReported in 2 reports, the latest by Statemind, Apr 2023. The team acknowledged both.
Open Lido’s security record

Security firm

Certora

9 projects reviewed · 17 reports · latest Jun 2026

See Certora’s audits

Something wrong on this page? A missing report, a wrong date, a finding that was fixed since. Tell us and we check it against its source.

Tell us