This document describes the specification and verification of the new Lido V2 protocol with enabled Ethereum withdrawals and modular Staking Router architecture using the Certora Prover and manual code review findings. The work was undertaken from 01 February 2023 to 25 April 2023. The commits reviewed and run through the Certora Prover were e575177 (Lido 2.0 beta2), 2bce10d (Lido 2.0 beta3), and the final commit e45c4d6 (Lido 2.0 rc2).