THE ENGAGEMENT
What we reviewed
The M0 Extensions protocol enables the creation of yield-bearing wrapped tokens built on the M token. Our review combined mathematical modeling of the powf approximation with an extensive fuzzing campaign to validate critical invariants. The audit covered the m_ext and ext_swap programs, assessing access controls, mathematical consistency, and deterministic precision.
6Findings
3M+Executions Fuzzed
2Modules Audited
SCOPE
Areas covered
m_ext and ext_swap programs
Wrapped yield-bearing token mechanics built on the M token
powf approximation and mathematical consistency
Access control on extension and swap operations
Deterministic precision of on-chain math
HIGHLIGHTS
What the review found
Mathematical modeling of the powf approximation alongside manual review
Extensive fuzzing campaign validating protocol invariants
Reviewed access controls, mathematical consistency, and deterministic precision
Ship Safely.
Whether you're pre-launch or scaling post-TGE, we'll cover every layer; Code, infrastructure and/or operations.