EigenLayer
Ethereum Restaking Protocol
Critical / High
Medium
Low / Informative
Report files
Audit lifecycle
This engagement is complete with finalized deliverables.
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.
LayrLabs engaged Runtime Verification in checking the security of their EigenLayer protocol, which allows operators to stake assets that are already in use in other protocols. By reusing (or restaking) these existing assets, operators can stake to new services without needing additional capital. Examples of assets that can be restaked include ETH that has been deposited to a validator on Ethereum, or tokens deposited to an Aave lending pool.
Reports
Download the audit artifacts
Access the published PDF deliverables associated with this engagement.
PDF report 1
EigenLayer_Design_Review.pdf
Download the published report for this engagement.