Mixed-decimals math without explicit scaling

Evidence summary #

v2 uses WETH (18 dec), wstETH (18 dec), rETH (18 dec) — all same-decimal tokens; no cross-decimal arithmetic risk. v1 uses native ETH only. LiquityMath.sol uses explicit WAD normalization. Certora FV covered interest rate and batch math invariants. No audit finding of mixed-decimal arithmetic confusion.

Sources #

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 →