Divide-before-multiply pattern
Liquid Collective (LsETH)'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 #
Certora FV specs include RiverV1DivideOnlyByConstant.spec which specifically verifies division-by-constant-only constraints in River — a formal proof against certain divide-before-multiply patterns. No raw Slither output available but FV provides stronger coverage for the core arithmetic.
Sources #
- GitHubCertora specs directoryRiverV1DivideOnlyByConstant.spec — Certora spec for division invariantsretrieved 2026-05-17
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 liquid-collective factor RD-F-016 score green collected_at 2026-05-16 19:46:23