Divide-before-multiply pattern
Liquity V1 + V2 (LUSD / BOLD)'s assessment for RD-F-016 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
No published divide-before-multiply Slither finding for Liquity v1 or v2. LiquityMath.sol uses explicit WAD/decimal scaling throughout. Certora FV covered mathematical invariants (interest rate, batch logic). 10 audit engagements with no divide-before-multiply finding reported.
Sources #
- AuditCertora Liquity Formal Verification ReportCertora FV covering mathematical invariants — no divide-before-multiply findingretrieved 2026-05-16
- Liquity v2 LiquityMath.sol sourceLiquityMath.sol — explicit decMul() with WAD scalingretrieved 2026-05-16
Methodology #
Determine whether Slither's `divide-before-multiply` detector fires on the deployed verified source.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol liquity factor RD-F-016 score green collected_at 2026-05-16 10:35:50