.svg)
Summary
The most critical subjects covered in our audit are asset solvency, functional correctness, and precision of arithmetic operations. Security regarding all the aforementioned subjects is high, after all outstanding issues have been addressed.
The general subjects covered are documentation, gas efficiency, and the integration of the wrapper into the existing system. Security regarding all the aforementioned subjects is generally good.
In summary, we find that the codebase provides a high level of security.
It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. They complement but don't replace other vital measures to secure a project.
About M^ZERO M Extensions Smart Contracts
M^ZERO Labs implements a suite of different ERC-20 stablecoin contracts designed to wrap the existing $M token into non-rebasing tokens, for better composability in the broader DeFi ecosystem. These contracts, called extensions, differ in how they treat and redistribute the yield generated by their $M balance. Additionally, M^ZERO Labs offers a SwapFacility contract, that will act as a gateway towards these extensions, being the only privileged address allowed to wrap and unwrap $M tokens.