Lido V3 introduces Staking Vaults (stVaults) as a modular extension to Lido's liquid staking protocol. The upgrade enables users to stake ETH with specific node operators while still minting stETH, preserving liquidity through an overcollateralization model.

The Certora Prover demonstrated that the implementation of the relevant Solidity contracts is correct with respect to the formal rules written by the Certora team. During the verification process, the Certora team reported 10 findings in the Solidity contracts code including 1 of critical severity which was fixed by the Lido team.