Multi-Collateral DAI (MCD) Security

This repository is dedicated to providing transparency to our community with respect to the results of our MCD Audits, our Bug Bounty Program, and Formal Verification. It is important to note that this release is the first version and we will continue to add information as it becomes available.
1. Updates On MCD Security Roadmap
​MCD Bug Bounty Announcement and Security Roadmap Update July 24, 2019
​MCD Security Roadmap Update October 23, 2019
​Publication of the Runtime Verification Audit December 19, 2019
​Liquidations 2.0 Upgrade April 12, 2021 
2. Audit Reports​
3. Bug Bounty Program​
4. Formal Verification​
5. Liquidations 2.0 Upgrade​

Audit Reports

Last modified 1yr ago

Multi-Collateral DAI (MCD) Security

1. Updates On MCD Security Roadmap

2. Audit Reports​

3. Bug Bounty Program​

4. Formal Verification​

5. Liquidations 2.0 Upgrade​

2. Audit Reports

3. Bug Bounty Program

4. Formal Verification

5. Liquidations 2.0 Upgrade