MakerDAO Sky Deployment Scripts
Summary
MakerDAO implements a governance token and an exchange contract for exchanging MKR against the new token in a predefined ratio. This audit report reviews the security and correctness of the corresponding deployment scripts. -- "The Maker Protocol, also known as the Multi-Collateral Dai (MCD) system, allows users to generate Dai by leveraging collateral assets approved by “Maker Governance.” Maker Governance is the community organized and operated process of managing the various aspects of the Maker Protocol. Dai is a decentralized, unbiased, collateral-backed cryptocurrency soft-pegged to the US Dollar. Resistant to hyperinflation due to its low volatility, Dai offers economic freedom and opportunity to anyone, anywhere.
Issue (1)
Low | Medium | High | Critical | Total | |
|---|---|---|---|---|---|
Not fixed | - | - | - | - | 0 |
Fixed | 1 | - | - | - | 1 |
| Total | 1 | 0 | 0 | 0 | 1 |
Contracts (6)
| # | File Name |
|---|---|
| 1 | deploy/SkyDeploy.sol |
| 2 | deploy/NgtInit.sol |
| 3 | deploy/SkyInstance.sol |
| 4 | deploy/NgtDeploy.sol |
| 5 | deploy/NgtInstance.sol |
| 6 | deploy/SkyInit.sol |