Divide-before-multiply pattern

Aerodrome Finance'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 #

AMM pricing uses multiply-then-divide patterns. ABDK Consulting specializes in numerical precision and reviewed Slipstream math. No divide-before-multiply finding in any referenced audit. Fuzz testing with 5000 runs (Slipstream) provides additional confidence.

Sources #

GitHub
Slipstream ABDK audit folderABDK audit of Slipstream numerical mathretrieved 2026-05-04

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 aerodrome factor RD-F-016 score green collected_at 2026-05-04 19:56:03