Mixed-decimals math without explicit scaling
Kamino Lend'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 #
Certora formally verified exchange rate arithmetic through v1.17.0; the precision loss (decimal math) bug was caught and fixed. No public evidence of decimal math issues in v1.18.0/v1.19.0.
Detail #
The Certora audit directly addressed decimal/precision math. Post-fix through v1.17.0, the core arithmetic is confirmed corrected. Rust's type system enforces explicit type conversions reducing this risk class relative to Solidity.
Sources #
- URL
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 →