sirlupinwatson / mcd-security

The Maker Foundation's highest priority is the security of the Maker protocol. This repository is dedicated to providing transparency to our community with respect to the results of our MCD Audits and our Bug Bounty Program results.

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

2. Audit Reports

3. Bug Bounty Program

4. Formal Verification