Across multiple scopes, ChainSecurity’s auditors have consistently combined rigorous methodology with deep technical insight. Since before the inception of the M0 protocol, the ChainSecurity team has been a trusted security and architecture partner, deeply familiar with the intricacies of our codebase. We look forward to continuing our collaboration.
M0 Labs implements a suite of different ERC-20 stablecoin contracts designed to wrap the existing M balance. Additionally, M0 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.
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.