Audit results
Security audits are complete with deployment verifications and published in lidofinance/audits. No critical, high, or medium severity issues were identified.
Cyfrin. 2 informational items (1 resolved, 1 acknowledged) and 3 gas optimizations (2 resolved, 1 acknowledged). The report is accompanied by a Certora Prover formal verification covering 41 properties: 38 verified by the Prover and 3 verified by manual analysis under known Prover limitations.
- Cyfrin CircuitBreaker Audit Report (04-2026)
- Cyfrin CircuitBreaker Formal Verification Report (04-2026)
MixBytes. 1 low-severity issue, fixed.