The most critical subjects covered in our audit are functional correctness and interactions with the core contracts. Security regarding all the aforementioned subjects is high.

The general subjects covered are code complexity, gas efficiency and error handling. 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.

MakerDAO implements a new version of the proxy actions contract that, similar to the previous proxy
actions contract, offers functions that batch interactions with the DAI Stablecoin system.