Divide-before-multiply pattern

Babylon Protocol's assessment for RD-F-016 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Slither divide-before-multiply detector applies to Solidity only. Babylon is Go and Rust. The factor concept (integer arithmetic precision) applies to Go but no Go-specific published analysis found. Manual review of x/finality voting power calculations and x/btcstaking satoshi-denomination arithmetic would be required. No published finding on this topic from Zellic/Coinspect audits found.

Sources #

Curator note
Divide-before-multiply — non-EVM gapSlither inapplicable to Go/Rust; no Go-specific published analysis output foundretrieved 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 babylon-protocol factor RD-F-016 score gray collected_at 2026-05-04 19:43:27