defirisk.co
rubric v1.7.0

Audit firm tier

Sky Lending (formerly MakerDAO)'s assessment for RD-F-005 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Trail of Bits (Tier-1) audited MCD core (2018-2019) and Liquidations 2.0 (2020-2021). ChainSecurity and Cantina (Tier-2 established firms) cover all 2024 Endgame modules. Runtime Verification provides K-specification formal verification.

Sources #

  • URL
    https://github.com/makerdao/mcd-security/blob/master/Audit%20Reports/TOB_MakerDAO_Final_Report.pdfretrieved 2026-04-27
  • URL
    https://github.com/sky-ecosystem/usds/tree/master/auditretrieved 2026-04-27
  • URL
    https://www.chainsecurity.com/security-audit/makerdao-sky-smart-contractsretrieved 2026-04-27

Methodology #

Classify each auditing firm into: Tier-1 (Trail of Bits / OpenZeppelin / ConsenSys Diligence / Certora / Sigma Prime / Spearbit / Zellic) / Tier-2 (established, named firm with public track record) / boutique / unknown.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol sky-lending factor RD-F-005 score green collected_at 2026-04-28 00:43:18