Thanks to the Lido team for trusting us to review their Dual Governance code 🩵

It's been a pleasure working with them for a large part of this year and last year, formally verifying their code with Kontrol and other manual techniques.

We will publish more information about our work in the upcoming weeks on our Twitter!