Back to work
Finalized public report

Lido (Dual Governance)

Liquid Staking

April 30, 2024EthereumFormal Verification

Critical / High

0Highest severity

Medium

0Moderate risk

Low / Informative

0Lower severity

Report files

1Downloadable assets

Audit lifecycle

This engagement is complete with finalized deliverables.

Completed

Completed

Scheduled

Scope, timeline, and review plan were agreed.

Completed

In Progress

Manual review and verification work were carried out.

Completed

Completed

The engagement wrapped with a published final report.

Executive Summary

High-level assessment and conclusions

A concise overview of the audit scope, core findings, and the key outcomes from the engagement.

This design review of the Lido Dual Governance protocol was conducted by Runtime Verification, Inc. from April 02, 2024, until April 30, 2024. The focus of the review was on analyzing the Dual Governance mechanism as described and specified in the following two documents:

Dual Governance mechanism design
Dual Governance specification

Reports

Download the audit artifacts

Access the published PDF deliverables associated with this engagement.

1 file

PDF report 1

Lido_Dual_Governance_Design_Review.pdf

Download the published report for this engagement.

Download PDF