This report presents Certora’s comprehensive design review and risk analysis of Lido Dual Governance, focusing on the evolution of protocol governance. It examines the dual voting mechanism that enables stakers to veto DAO proposals via a flexible timelock and tailored withdrawal process. The following report provides details of the findings and reviews.