Monad
Ethereum Compatible L1
Critical / High
Medium
Low / Informative
Report files
Audit lifecycle
Public reports represent completed engagements with finalized deliverables.
Completed
Scheduled
Scope, timeline, and review plan were agreed.
Completed
In Progress
Manual review and verification work were carried out.
Current stage
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.
Monad Foundation engaged Runtime Verification Inc. for a 5-week audit of the Monad protocol ahead of Mainnet launch. The review focused on protocol correctness, security, and quality assurance, prioritizing the Execution component, key Consensus interactions, and new mechanisms like the Staking Contract and Reserve Balance. Runtime Verification conducted a design review, assessed existing QA practices, and analyzed system components by comparing code, specifications, formal models, and tests, to identify gaps and recommend improvements.
Reports
Download the audit artifacts
Access the published PDF deliverables associated with this engagement.
PDF report 1
Monad Execution Report.pdf
Download the published report for this engagement.