Certora(@Certora):We completed a security audit of @MidasRWA’s smart contracts. No critical or high-severity findings. Midas is a platform that issues onchain investment products (mTokens). Our review included issuance and redemption, cross-chain minting, access control, and Aave, Morpho, USTB and mToken integrations. Full report ⬇️

Certora

@Certora

Your End-To-End Security Partner. Manual Audits, Formal Verification, and Protocol Design Review. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.

参加 February 2019

341 フォロー中 12.1K ファン

Certora@Certora

2026.10.28 19:25

We completed a security audit of @MidasRWA’s smart contracts. No critical or high-severity findings. Midas is a platform that issues onchain investment products (mTokens). Our review included issuance and redemption, cross-chain minting, access control, and Aave, Morpho, USTB and mToken integrations. Full report ⬇️