Midas issues tokenized investment products as mTokens, with deposit and redemption vaults supporting instant execution and asynchronous requests. The reviewed implementation includes holdback settlement, liquidity-provider loans, multi-window mint rate limits, cross-chain minting, function-scoped access control and timelocks, and integrations with Aave, Morpho, USTB and other mToken vaults.

Certora manually reviewed the in-scope Solidity contracts between August 19 and September 25, 2026. The assessment confirmed 23 findings: 3 Medium, 16 Low and 4 Informational, with no Critical or High findings.