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.
- 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