Divide-before-multiply pattern
EigenLayer'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 analysis flags divide-before-multiply as a confirmed true-positive. Certora formal verification engagements would detect integer arithmetic ordering issues via invariant proofs. Olympix analysis did not identify divide-before-multiply. Assessment is green with [?] confidence pending tool run.
Sources #
- URLOlympix EigenLayer AnalysisOlympix/Slither EigenLayer comparative analysis — no divide-before-multiply findingretrieved 2026-04-28
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 eigenlayer factor RD-F-016 score green collected_at 2026-04-28 13:58:44