.svg)
Summary
The most critical subjects covered in our audit are access control, functional correctness, and fee management. Security regarding Access control is high. Security regarding functional correctness is high, after StartCooldown Allows Starting Cooldown With More Than Balance has been resolved. Security regarding fee management is high, after Watermark Does Not Consider Maximum Fee was fixed.
The general subjects covered are code complexity, upgradeability, and documentation. Security regarding all the aforementioned subjects is high.
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 Makina Periphery
Makina implements periphery contracts for the Makina Protocol, an on-chain asset management platform. They include a Depositor, a Redeemer with a withdrawal delay, and a Security Module.