Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/makerdao/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.
https://github.com/makerdao/mcd-security

Last synced: 2 months ago
JSON representation

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.

Awesome Lists containing this project

README

        

# 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](https://blog.makerdao.com/mcd-bug-bounty-announcement-and-security-roadmap-update/) _July 24, 2019_
* [MCD Security Roadmap Update](https://blog.makerdao.com/mcd-security-roadmap-update-october-2019/) _October 23, 2019_
* [Publication of the Runtime Verification Audit](https://forum.makerdao.com/t/publication-of-the-runtime-verification-audit/976) _December 19, 2019_
* [Liquidations 2.0 Upgrade](https://forum.makerdao.com/t/mip45-liquidations-2-0-liq-2-0-liquidation-system-redesign/6352) _April 12, 2021_

## 2. [Audit Reports](https://security.makerdao.com/audit-reports)

## 3. [Bug Bounty Program](https://security.makerdao.com/bug-bounty-program)

## 4. [Formal Verification](https://security.makerdao.com/formal-verification)

## 5. [Liquidations 2.0 Upgrade](liquidations-2.0.md)