YES! Audits, audits, audits…

📰 We’re excited to be the headlining auditor for a headlining DeFi protocol: Lido, a key pillar of the ecosystem. 🫡

Lido V3 introduces powerful new tools: Staking Vaults (stVaults) and the Vault Hub, which enable more flexible staking options.

Institutions can run their own validators, advanced stakers can leverage $stETH loops, and each vault is isolated to limit risk.

This isn’t Certora’s first rodeo with Lido. We previously reviewed the Lido V2 upgrade and led the design review for their Dual Governance implementation.

Now Certora is hardening the V3 protocol against bugs, exploits, or logical inconsistencies.

Once the audits are complete, Lido V3 will be on track for mainnet deployment.

We’re excited to see it live in the wild 👀