Mixed-decimals math without explicit scaling
Sky Lending (formerly MakerDAO)'s assessment for RD-F-017 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
All MCD cross-decimal arithmetic uses explicit RAD/RAY/WAD normalization. GemJoin adapters perform token-decimal normalization. dss dai.sol uses 18-decimal WAD throughout. No mixed-decimal math issue found in any audit.
Sources #
- URLhttps://docs.makerdao.com/smart-contract-modules/core-module/vat-detailed-documentationretrieved 2026-04-27
- https://github.com/sky-ecosystem/dss-gem-joinsretrieved 2026-04-27
Methodology #
Determine whether shared numerator/denominator arithmetic operates over tokens with different decimals without WAD/RAY normalization or explicit decimal-adjustment.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol sky-lending factor RD-F-017 score green collected_at 2026-04-28 00:43:18