Conducted from January 10 to February 7, 2025, Certora’s second audit and formal verification of Lido Dual Governance on the updated Solidity contracts following recent source code revisions.

Using the Certora Prover alongside a comprehensive manual code review, the report confirms the correctness of the contracts relative to our formal specifications while highlighting key security findings and recommended improvements.