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