Sky (MakerDAO)
MITHRILStablecoin / Lending · Ethereum · $12.7B TVL · 50 contracts
Public risk assessment — scores are produced with the same methodology as monitored protocols
Security Profile
92
90
94
87
85
97
54
82
88
93
92
90
94
87
85
97
54
82
88
93
Audit History
Bug Bounty Program
Assessment
One of the oldest and most battle-tested DeFi protocols. 78 months, zero code exploits, formal verification. Near-ADAMANTINE but D8 (old compiler) and D5 (governance complexity) prevent top tier.
Dimension Breakdown
How scores work →- Wards/auth pattern battle-proven across all modules
- ESM provides credible emergency shutdown (50K MKR threshold)
- Every module uses rely/deny for fine-grained authorization
- GSM 48h delay on governance execution
- Dutch auction liquidation (Liq 2.0 / Dog+Clipper) proven
- Surplus Buffer absorbs bad debt before MKR dilution
- Flash mint exists but rate-limited
- $12.7B TVL with overcollateralization, survived Black Thursday
- OSM enforces 1-hour price update delay (best-in-class)
- Medianizer aggregates multiple Chronicle feeds
- Purpose-built oracle architecture to prevent manipulation
- Governance can freeze oracles in emergency
- 78 months live (6.5 years) — one of oldest DeFi protocols
- Survived Black Thursday, Terra/Luna, FTX collapse
- Core dss contracts frozen since 2022
- Zero code-level exploits in entire history
- Formal verification by Runtime Verification
- Z-factor: 0.929
- MKR/SKY voting with executive spells (well-understood)
- GSM adds 48h delay before spell execution
- ESM can block malicious governance attacks
- Deduction: governance fatigue risk, flash loan attack surface (mitigated by GSM)
- Score derived from continuous adversarial security research
- Chronicle operates oracle feeds professionally
- Multiple keeper networks for liquidations
- SubDAO structure distributes operational risk
- GSM delay provides operational response window
- Core dss is remarkably self-contained (no external deps)
- Modular internal architecture (Vat/Dog/Spot/Flap/Flop)
- RWA modules introduce some external dependency
- PSM has stablecoin counterparty risk
- Appears in 2 cross-protocol cascade chain(s)
- Member of 2 dependency cluster(s)
- Score: 93/100 (higher = more isolated from systemic risk)
- Source: cross_protocol_composition.json dependency analysis
- Core Vat uses Solidity 0.5.12 (old but formally verified)
- Newer modules use 0.6.12
- No proxy pattern on core (immutable)
- Minimal dependencies — dss is remarkably self-contained
Risk Drivers
Primary risk factors driving this score, ordered by severity.
Adversarial Risk Signals
Observable security posture indicators. These signals reflect publicly verifiable information and responsible disclosure outcomes. No specific vulnerability details are exposed.
Score History & Verification
Score provenance tracking begins with the next reassessment.
On-Chain Data
- Protocol Slug
- "sky"
- Oracle
- BRORegistry (Base)
- Evidence
- IPFS (pinned)
- Staleness Threshold
- 24 hours
registry.getScore("sky")Reduce exploitable risk
BlackHart Monitoring provides continuous adversarial analysis, vulnerability detection, remediation support, and verified reassessment when your risk posture improves.