Lido V3
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
Findings9
Statuses are the security firm’s own, from its report.
| Severity | Open | Acknowledged | Fixed |
|---|---|---|---|
| Critical | 0 | 0 | 1 |
| High | 0 | 0 | 0 |
| Medium | 0 | 1 | 2 |
| Low | 0 | 2 | 3 |
CriticalLocked value not updated when tier changes reserve requirementsFixed
The report gives no description here.
MediumRedemptions can increase due to rounding in settlementFixed
The report gives no description here.
MediumShortfall rebalance insufficient for vault healthFixed
The report gives no description here.
LowDefault tier params not validated during initializationFixed
The report gives no description here.
LowMissing connection check allows operations on disconnected vaultsFixed
The report gives no description here.
LowZero external shares despite non-zero vault liabilities due to roundingFixed
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
LidoAudits54 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 recordSecurity firm
Certora9 projects reviewed · 17 reports · latest Jun 2026
See Certora’s auditsSomething 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