Divide-before-multiply pattern
Jito'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 #
Rust integer arithmetic uses checked_mul/checked_div with u128 intermediates. Anchor framework uses safe math. Certora FV covers arithmetic invariants (VRT ratio, unstaking calc). No divide-before-multiply finding in any audit summary.
Sources #
- AuditCertora Restaking V2 Arithmetic CoverageCertora V2 covers zero-supply VRT ratio and arithmetic invariantsretrieved 2026-04-29
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 jito factor RD-F-016 score green collected_at 2026-04-29 15:50:23