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 팬
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 ⬇️
더 보기
