Introducción

Security.makerdao.com se dedica a brindar transparencia a nuestra comunidad con respecto a los resultados de nuestras Auditorías de MCD, nuestro programa Bug Bounty (caza de errores) y la Verificación Formal. Es importante tener en cuenta que este lanzamiento es la primera versión y continuaremos agregando información a medida que esta esté disponible.

1. Actualizaciones en el Mapa de Ruta de la Seguridad de MCD

2. Reportes de Auditoría

3. Programa de Bug Bounty (Caza de Errores)

4. Verificación Formal